visualisation/viewers/BoundsViewletType.java

86                                  Element element) {
88         if (element instanceof Node) {
90               DebuggingSupport.logMessage(this,"Bounds customizeElement for element "+element + " step 1");
93             element.setAttribute("shape",new Integer(Grappa.CUSTOM_SHAPE));
94             element.setAttribute(Grappa.CUSTOM_ATTR,getCustomRendererClass().getName());
96               DebuggingSupport.logMessage(this,"Bounds customizeElement for element "+element + " step 2");
99             element.setAttribute("label","");
101               DebuggingSupport.logMessage(this,"Bounds customizeElement for element "+element + " step 3");
105                 element.setAttribute("color", Color.blue.darker());
107                 element.setAttribute("color", Color.blue);
110               DebuggingSupport.logMessage(this,"Bounds customizeElement for element "+element + " step 4");
113             element.setAttribute("style", "filled");
115               DebuggingSupport.logMessage(this,"Bounds customizeElement for element "+element + " step 5");
118             element.object = data;
119             element.getGrappaNexus().updateShape();
121               DebuggingSupport.logMessage(this,"Bounds customizeElement for element "+element + " step 6");
142                     new CompoundTermImpl("get_var_bounds", new CompoundTermImpl("element",currentIndex), null, null);
148 //  							      new CompoundTermImpl("element",currentIndex), null));
219                     new CompoundTermImpl("get_var_bounds", new CompoundTermImpl("element",currentIndex), null, null);
224 //  							      new CompoundTermImpl("element",currentIndex), null));
563             Element element = new Graph("bar");
564             element.object = null;
565             Renderer renderer = new Renderer(element,
651         public Renderer(Element element,
653             super(element, x, y, w, h);
655               DebuggingSupport.logMessage(this,"Bounds Renderer constructed for element "+element);
658             // ViewletData for this element (must work when the
660             //Data data = (Data)element.object;