Class Edge 

java.lang.Object
   |
   +----Edge
class Edge
extends Object
implements Cloneable
Hilfsstruktur: hinfuehrende Kante zu einem Knoten ("leading edge")

Variable Index

o auto_prefix
Praefix fuer autom.
o help
Hilfetext (oder null)
o id
Identifikator (muss vorhanden+eindeutig sein)
o label
Beschriftung (oder null)
o max_id_no
wird zur autom.

Constructor Index

o Edge(String, String, String)
id=null: Bezeichner automatisch generieren

Method Index

o auto_generate_id(String, Node, Node, Node)
Erzeugt einen eindeutigen Bezeichner, basierend auf dem beliebigen String label (sollte, muss aber kein Kantenlabel sein) node: Zielknoten, universe: Start fuer die Suche, additional_tree: siehe Edge.copy()
o check(String, Frame)
prueft Kanten-Identifizierer auf Korrektheit (ohne Dubletten-Check)
o clone()
o copy(Node)
additional_tree ist ein (Unter-)Baum, der zusaetzlich zum Dokumentenbaum und dem Clipboard durchsucht werden muss, um die Eindeutigkeit von neu generierten Kanten-Identifikatoren zu gewaehrleisten (nur falls Node.unique_ids_all_over=true)
o set_help(String)
o set_id(String)
o set_label(String)
o toString()

Variables

o auto_prefix 
 static String auto_prefix
Praefix fuer autom. generierte Identifikatoren

o max_id_no 
 static long max_id_no
wird zur autom. Erstellung eindeutiger Kantenidentifizierer verwendet

o id 
 String id
Identifikator (muss vorhanden+eindeutig sein)

o label 
 String label
Beschriftung (oder null)

o help 
 String help
Hilfetext (oder null)

Constructors

o Edge 
 Edge(String label,
      String help,
      String id)
id=null: Bezeichner automatisch generieren

Methods

o clone 
 protected Object clone() throws CloneNotSupportedException
Overrides:
clone in class Object
o copy 
 Edge copy(Node additional_tree) throws CloneNotSupportedException
additional_tree ist ein (Unter-)Baum, der zusaetzlich zum Dokumentenbaum und dem Clipboard durchsucht werden muss, um die Eindeutigkeit von neu generierten Kanten-Identifikatoren zu gewaehrleisten (nur falls Node.unique_ids_all_over=true)

o set_id 
 void set_id(String id)
o check 
 static boolean check(String edge_id,
                      Frame win)
prueft Kanten-Identifizierer auf Korrektheit (ohne Dubletten-Check)

o set_label 
 void set_label(String label)
o set_help 
 void set_help(String help)
o toString 
 public String toString()
Overrides:
toString in class Object
o auto_generate_id 
 static String auto_generate_id(String label,
                                Node node,
                                Node universe,
                                Node additional_tree)
Erzeugt einen eindeutigen Bezeichner, basierend auf dem beliebigen String label (sollte, muss aber kein Kantenlabel sein) node: Zielknoten, universe: Start fuer die Suche, additional_tree: siehe Edge.copy()