/* 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 FlowDataEditPart extends AbstractGraphicalEditPart implements PropertyChangeListener { /* (non-Javadoc) * @see java.beans.PropertyChangeListener#propertyChange(java.beans.PropertyChangeEvent) */ public void propertyChange(PropertyChangeEvent evt) { if (evt.getPropertyName().equals(CFGElement.FLOW_CHILDREN)){ refreshChildren(); refreshVisuals(); } } protected void refreshVisuals(){ Iterator it = getChildren().iterator(); while (it.hasNext()){ Object next = it.next(); if (next instanceof PartialFlowDataEditPart){ ((CFGFlowFigure)getFigure()).add(((PartialFlowDataEditPart)next).getFigure()); } } } public void updateSize(FlowInfoEditPart childEdit, IFigure child, Rectangle rect){ this.setLayoutConstraint(childEdit, child, rect); ((CFGNodeEditPart)getParent()).setLayoutConstraint(this, getFigure(), new Rectangle(getFigure().getBounds().x, getFigure().getBounds().y, getFigure().getBounds().width, getFigure().getBounds().height));//.updateSize(getFigure(), getFigure().getBounds()); } public void updateSize(int width){ int w = ((CFGFlowFigure)getFigure()).getBounds().width; if (width > w){ w = width; } int height = getChildren().size() * 20; ((CFGNodeEditPart)getParent()).updateSize(w+10, height); ((CFGFlowFigure)getFigure()).setSize(w+10, height); } public void resetChildColors(){ Iterator it = getChildren().iterator(); while (it.hasNext()){ Object next = it.next(); if (next instanceof PartialFlowDataEditPart){ ((PartialFlowDataEditPart)next).resetChildColors(); } } } /* (non-Javadoc) * @see org.eclipse.gef.editparts.AbstractGraphicalEditPart#createFigure() */ protected IFigure createFigure() { return new CFGFlowFigure(); } /* (non-Javadoc) * @see org.eclipse.gef.editparts.AbstractEditPart#createEditPolicies() */ protected void createEditPolicies() { } public List getModelChildren(){ return getFlowData().getChildren(); } public void activate(){ super.activate(); getFlowData().addPropertyChangeListener(this); } public void deactivate(){ super.deactivate(); getFlowData().removePropertyChangeListener(this); } /** * @return */ public CFGFlowData getFlowData() { return (CFGFlowData)getModel(); } public void handleClickEvent(Object evt){ ((CFGNodeEditPart)getParent()).handleClickEvent(evt); } }