/* 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); } }