/* Copyright (c) 1997-2006
Ewgenij Gawrilow, Michael Joswig (Technische Universitaet Berlin, Germany)
http://www.math.tu-berlin.de/polymake, mailto:polymake@math.tu-berlin.de
This program is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 2, or (at your option) any
later version: http://www.gnu.org/licenses/gpl.txt.
This program 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 General Public License for more details.
$Project: polymake $$Id: JavaviewStaticControl.java 7529 2006-12-20 16:57:12Z thilosch $
*/
package de.tuberlin.polymake.common;
import java.io.BufferedReader;
import java.io.IOException;
import java.nio.channels.Pipe;
/**
* This class implements ???
*
* @author Thilo Schröder
*/
public class JavaviewStaticControl extends JavaviewControl {
public JavaviewStaticControl(
BufferedReader psReader, BufferedReader clientReader,
Pipe.SinkChannel sink) throws IOException{
super(psReader, clientReader,sink);
JavaviewStaticFrame geomFrame = new JavaviewStaticFrame(geom,null,null,this);
frameMap.put(geom.getName(),geomFrame);
geomFrame.setVisible(true);
}
public void update() throws IOException {
EmbeddedGeometries m_geom = PolymakeJvxParser.parse(psReader);
JavaviewStaticFrame geomFrame = new JavaviewStaticFrame(m_geom,null,null,this);
frameMap.put(m_geom.getName(),geomFrame);
geomFrame.setVisible(true);
}
}
syntax highlighted by Code2HTML, v. 0.9.1