|
@@ -627,8 +627,9 @@ public class UnitGraph extends JPanel implements MouseListener, MouseMotionListe
|
|
|
* @param s which should be visualized
|
|
|
*/
|
|
|
public void repaintWithNewSwitch(HolonSwitch s) {
|
|
|
- current=s;
|
|
|
+
|
|
|
//arrayOfBooleans = s.getValueArray();
|
|
|
+ current=s;
|
|
|
pointList = s.getGraphPoints();
|
|
|
isSwitch = true;
|
|
|
isElement = false;
|
|
@@ -849,7 +850,8 @@ public class UnitGraph extends JPanel implements MouseListener, MouseMotionListe
|
|
|
* @param localPeriod
|
|
|
*/
|
|
|
public void setLocalPeriod(int localPeriod){
|
|
|
- for(IGraphedElement e:tempElements)e.setLocalPeriod(localPeriod);
|
|
|
+ if(isElement)for(IGraphedElement e:tempElements)e.setLocalPeriod(localPeriod);
|
|
|
+ else if(isSwitch)current.setLocalPeriod(localPeriod);
|
|
|
}
|
|
|
|
|
|
/**
|
|
@@ -866,7 +868,8 @@ public class UnitGraph extends JPanel implements MouseListener, MouseMotionListe
|
|
|
}
|
|
|
|
|
|
public void setStretching(boolean b){
|
|
|
- for(IGraphedElement e:tempElements)e.setStretching(b);
|
|
|
+ if(isElement)for(IGraphedElement e:tempElements)e.setStretching(b);
|
|
|
+ else if(isSwitch)current.setStretching(b);
|
|
|
}
|
|
|
|
|
|
static int lv=0;
|