Class GraphEdgeList

java.lang.Object
  extended byjava.util.AbstractCollection
      extended byjava.util.AbstractList
          extended byjava.util.Vector
              extended byGraphEdgeList
All Implemented Interfaces:
java.lang.Cloneable, java.util.Collection, java.util.List, java.util.RandomAccess, java.io.Serializable

public class GraphEdgeList
extends java.util.Vector

Diese Kante dient zum Verwalten der GraphEdges. Diese werden in einem Vector (GraphEdgeList ist Kind der Klasse Vector) gespeichert.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class java.util.Vector
capacityIncrement, elementCount, elementData
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
GraphEdgeList()
          Kontruktor.
GraphEdgeList(GraphEdge newedge)
          Konstruktor, der die Kante newedge gleich einfügt.
 
Method Summary
 void add(Edge kante, java.lang.Object s)
          Hinzufügen der Kante mit dem Shape s.
 void add(Node tail, Node head, int c, java.lang.Object s)
          Hinzufügen der GraphEdge, die aus den Werten tail, head und c und shape besteht.
 boolean contains(GraphEdge ge)
          Prüfen, ob die GraphEdge schon in der Liste enthalten ist.
 GraphEdge getIntersectsEdge(java.awt.Point p)
          Gibt die erste Kante wieder, die den Punkt p überschneidet.
 void remove(GraphEdge e)
          Löschen der Kante e.
 Edge removeIntersectsEdge(java.awt.Point p)
          Löscht die Kante, die den Punkt p schneidet.
 
Methods inherited from class java.util.Vector
add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize
 
Methods inherited from class java.util.AbstractList
iterator, listIterator, listIterator
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
iterator, listIterator, listIterator
 

Constructor Detail

GraphEdgeList

public GraphEdgeList()
Kontruktor.


GraphEdgeList

public GraphEdgeList(GraphEdge newedge)
Konstruktor, der die Kante newedge gleich einfügt.

Method Detail

remove

public void remove(GraphEdge e)
Löschen der Kante e.


add

public void add(Node tail,
                Node head,
                int c,
                java.lang.Object s)
Hinzufügen der GraphEdge, die aus den Werten tail, head und c und shape besteht.


add

public void add(Edge kante,
                java.lang.Object s)
Hinzufügen der Kante mit dem Shape s.


contains

public boolean contains(GraphEdge ge)
Prüfen, ob die GraphEdge schon in der Liste enthalten ist.


getIntersectsEdge

public GraphEdge getIntersectsEdge(java.awt.Point p)
Gibt die erste Kante wieder, die den Punkt p überschneidet.


removeIntersectsEdge

public Edge removeIntersectsEdge(java.awt.Point p)
Löscht die Kante, die den Punkt p schneidet.