All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class tesc2.GraphOptimizer

java.lang.Object
   |
   +----tesc2.GraphOptimizer

public class GraphOptimizer

extends Object

Erklärung der Algorithmen:
Das Layout erfolgt rekursiv über den Aufbau der abstrakten Syntax. Die Größe von Basic-States wird entsprechend ihres Namens durchgeführt. Bei AND-States wird zuerst das Layout der Unterzustände bestimmt und diese dann so angeordnet, daß der Raum möglichst optimal ausgenutzt wird. Bei OR-States wird das Layout der Unterzustände bestimmt und diese dann nach einem bestimmten Verfahren im Zustand angeordnet. Diese Verfahren unterscheiden sich für die verschiedenen Algorithmen, der Rest ist gleich.

SugiyamaBCM: Die Knoten (Unterzustände) werden so in Ebenen angeordnet, daß in einer Ebene keine Transitionen verlaufen. Transitionen verlaufen nur von einer Ebene zur nächsten, wobei für Transitionen, die eigentlich über mehrere Ebenen verlaufen, Dummy-Knoten in den Zwischenebenen eingefügt werden. Dann werden die Knoten in den Ebenen so permutiert, daß möglichst wenige Kantenüberschneidungen vorkommen (heuristisch). Ausgehend von dieser Darstellung, die die Größe der Unterzustände nicht berücksichtigt, werden die Unterzustände dann endgültig plaziert.

CircleLayoutAlgorithm: Die Knoten werden in einem Kreis angeordnet. Zuerst werden für jeden Knoten ein umgebender Kreis berechnet, dann diese Kreise um einen Transitionskreis so angeordnet, daß sich je zwei berühren und alle den Transitionskreis berühren. Die Transitionen von einem State zu einem anderen verlaufen dann vom Startstate zu einem Punkt auf dem Transitionskreis, zu einem zweiten Punkt auf dem Transitionskreis und von da zum Endstate. Dadurch ist gewährleistet, daß Transitionen keine States schneiden.
Bei diesem Algorithmus entstehen große Statecharts, er empfiehlt sich also nur für kleinere Beispiele.

Vorbedingungen:
Das beim Konstruktor übergebene Statechart muß folgende Korrektheitsbedingungen erfüllen:
-keine Interlevel-Transitionen
-keine Schleifen im State-Baum
-bis auf die Instanzvariablen für Koordinaten (und Listen usw.) dürfen keine null-Pointer vorkommen

Nachbedingungen: Es wird ein Clone des Statecharts mit Koordinaten zurückgegeben.

STATUS Layout wird wie oben beschrieben durchgeführt.
Im Verzeichnis tesc2/Test findet sich ein Programm TestFrame, das in diesem Verzeichnis mit 'make frame' gestartet werden kann. Es wird dann ein Zufallsstatechart erzeugt und 'behelfsmäßig angezeigt.

TODO Wir haben fertig!

BEKANNTE FEHLER keine

TEMPORÄRE FEATURES keine

Version:

$Id: GraphOptimizer.java,v 1.12 1999/02/10 10:00:46 swtech19 Exp $

Author:

Software Technologie 19, Klaus Höppner, Achim Abeling

LIST_OF_ALGORITHMS

Die Einträge des Arrays sind Namen für die verwendbaren Algorithmen.

GraphOptimizer()

Default-Konstruktor

GraphOptimizer(Statechart, FontMetrics)

Erzeugt Optimierer für Statechart _sc mit FontMetrics _fm

setAlgorithm(int)

Setzt den aktuellen Algorithmus

setFontMetrics(FontMetrics)

Setzt die aktuelle FontMetrics

setStatechart(Statechart)

Setzt das aktuelle Statechart

start()

Optimiert aktuelles Statechart mit aktuellem Algorithmus

start(int)

Optimiert das aktuelle Statechart mit Algorithmus _algorithm

 public static final String LIST_OF_ALGORITHMS[]

Die Einträge des Arrays sind Namen für die verwendbaren Algorithmen. Die Anzahl der Algorithmen erhält man über die Länge des Array.

 public GraphOptimizer()

Default-Konstruktor

 public GraphOptimizer(Statechart _sc,
                       FontMetrics _fm)

Erzeugt Optimierer für Statechart _sc mit FontMetrics _fm

 public Statechart start(int _algorithm) throws AlgorithmException

Optimiert das aktuelle Statechart mit Algorithmus _algorithm

Throws: AlgorithmException

Falls ein Fehler auftreten sollte (was wissen wir auch noch nicht)

 public Statechart start() throws AlgorithmException

Optimiert aktuelles Statechart mit aktuellem Algorithmus

Throws: AlgorithmException

Falls ein Fehler auftreten sollte (was wissen wir auch noch nicht)

 public void setStatechart(Statechart _sc)

Setzt das aktuelle Statechart

 public void setFontMetrics(FontMetrics _fm)

Setzt die aktuelle FontMetrics

 public void setAlgorithm(int _algorithm)

Setzt den aktuellen Algorithmus

All Packages  Class Hierarchy  This Package  Previous  Next  Index