/* * Created on Nov 1, 2005 * * TODO To change the template for this generated file go to * Window - Preferences - Java - Code Style - Code Templates */ package de.tuberlin.polymake.common; import java.io.BufferedReader; import java.io.IOException; import java.nio.channels.Pipe; import de.jreality.scene.SceneGraphComponent; /** * @author wotzlaw * * TODO To change the template for this generated type comment go to * Window - Preferences - Java - Code Style - Code Templates */ public class JRealityStaticControl extends JRealityControl { public JRealityStaticControl(BufferedReader psReader, BufferedReader clientReader, Pipe.SinkChannel sink) throws IOException{ super(psReader, clientReader,sink); //StaticGeometryFrame geomFrame = new StaticGeometryFrame(geom,null,null,this); int numGeoms = geom.getChildComponentCount(); for(int k = 0; k < numGeoms; ++k) { SceneGraphComponent lGeom = geom.getChildComponent(k); // avoid geometries/frames with the same name int j=1; String title = lGeom.getName(); while(frameMap.containsKey(lGeom.getName() + "(" + j + ")")) ++j; String newName = lGeom.getName() + "(" + j + ")"; lGeom.setName(newName); JRealityStaticFrame geomFrame = new JRealityStaticFrame(lGeom, title, null, null, this); frameMap.put(lGeom.getName(),geomFrame); geomFrame.setVisible(true); } } public void update() throws IOException { //do nothing } }