/* Soot - a J*va Optimization Framework
* Copyright (C) 2004 Jennifer Lhotak
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the
* Free Software Foundation, Inc., 59 Temple Place - Suite 330,
* Boston, MA 02111-1307, USA.
*/
package ca.mcgill.sable.soot.cfg.editParts;
import org.eclipse.gef.editparts.AbstractGraphicalEditPart;
import java.beans.PropertyChangeEvent;
import java.beans.PropertyChangeListener;
import org.eclipse.draw2d.*;
import ca.mcgill.sable.soot.cfg.figures.*;
import ca.mcgill.sable.soot.cfg.model.*;
import java.util.*;
import org.eclipse.draw2d.geometry.*;
public class PartialFlowDataEditPart
extends AbstractGraphicalEditPart
implements PropertyChangeListener {
/* (non-Javadoc)
* @see java.beans.PropertyChangeListener#propertyChange(java.beans.PropertyChangeEvent)
*/
public void propertyChange(PropertyChangeEvent evt) {
if (evt.getPropertyName().equals(CFGElement.PART_FLOW_CHILDREN)){
refreshChildren();
refreshVisuals();
}
}
protected void refreshVisuals(){
Iterator it = getChildren().iterator();
while (it.hasNext()){
Object next = it.next();
if (next instanceof FlowInfoEditPart){
((CFGPartialFlowFigure)getFigure()).add(((FlowInfoEditPart)next).getFigure());
}
}
}
public void updateSize(int width){
int w = ((CFGPartialFlowFigure)getFigure()).getBounds().width;
w += width;
((FlowDataEditPart)getParent()).updateSize(w+10);
((CFGPartialFlowFigure)getFigure()).setSize(w+10, getFigure().getBounds().height);
}
public void resetChildColors(){
Iterator it = getChildren().iterator();
while (it.hasNext()){
Object next = it.next();
if (next instanceof FlowInfoEditPart){
((FlowInfoEditPart)next).resetColors();
}
}
}
/* (non-Javadoc)
* @see org.eclipse.gef.editparts.AbstractGraphicalEditPart#createFigure()
*/
protected IFigure createFigure() {
return new CFGPartialFlowFigure();
}
/* (non-Javadoc)
* @see org.eclipse.gef.editparts.AbstractEditPart#createEditPolicies()
*/
protected void createEditPolicies() {
}
public List getModelChildren(){
return getPartialFlowData().getChildren();
}
public void activate(){
super.activate();
getPartialFlowData().addPropertyChangeListener(this);
}
public void deactivate(){
super.deactivate();
getPartialFlowData().removePropertyChangeListener(this);
}
/**
* @return
*/
public CFGPartialFlowData getPartialFlowData() {
return (CFGPartialFlowData)getModel();
}
public void handleClickEvent(Object evt){
System.out.println(getParent().getClass());
((FlowDataEditPart)getParent()).handleClickEvent(evt);
}
}