1/*************************************************************************** 2 Title: GraphBrowser/DummyVertex.java 3 Author: Stefan Berghofer, TU Muenchen 4 Options: :tabSize=4: 5 6 This class represents a dummy vertex, which is used to simplify the 7 layout algorithm. 8***************************************************************************/ 9 10package GraphBrowser; 11 12import java.awt.*; 13 14class DummyVertex extends Vertex { 15 public boolean isDummy() {return true;} 16 17 public Object clone() { 18 Vertex ve=new DummyVertex(); 19 ve.setX(getX());ve.setY(getY()); 20 return ve; 21 } 22 23 public int leftX() { return getX(); } 24 25 public int rightX() { return getX(); } 26 27 public void draw(Graphics g) {} 28} 29 30