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