Realisierung

Im Graphenlabor wird Typisierung dadurch realisiert, daß Graphen ein geeignetes  Typsystem (Instanz der Klasse  G_typeSystem) zugeordnet wird. Dieses Typsystem beschreibt alle verwendeten Typen ( G_type-Instanzen) und die Subtyp-Relation zwischen ihnen. Die Beschreibung eines Typs enthält eine innerhalb des Typsystems eindeutige Typbezeichnung (als String) und ein (evtl. leeres) Schema für die Attributierung der Knoten oder Kanten des Typs (siehe dazu Abschnitt). Jedes Typsystem enthält einen  Nulltypmit der Bezeichnung "TypeNull", der automatisch Obertyp aller anderen Typen ist. Ihm ist ein leeres Attributierungsschema zugeordnet.

Jeder Knoten und jede Kante eines Graphen hat genau einen Typ des dem Graph zugeordneten Typsystems. Dieser Typ ist bei der Erzeugung des Knoten mit  G_graph::createVertex() oder der Kante mit  G_graph::createEdge() anzugeben.