All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class util.ChartTools

java.lang.Object
   |
   +----util.ChartTools

public class ChartTools
extends Object
Die Klasse ChartTools dient zur Komposition von Statecharts und zur Extrahierung von Statechart-States zu eigenständigen Statecharts. Die Hauptmethoden sind Klassenmethoden; die Konstruktion einer ChartTools-Klasse ist also nicht erforderlich.
STATUS. compChart und insertChart implementiert.
TODO. Verbesserungen und Implementierung von extractChart!
BEKANNTE FEHLER. Keine.
FORDERUNGEN. Statechart-Parameter müssen korrekte PEST-Statecharts sein, die vom Syntaxcheck akzeptiert werden.
HINWEIS. Die Methode main dient uns intern zum Testen ohne GUI.

Version:
$Id: ChartTools.java,v 1.1 1999/02/10 23:14:22 swtech18 Exp $
Author:
Sven Jorga, Werner Lehmann

Constructor Index

 o ChartTools()

Method Index

 o compChart(Statechart, Statechart, String, boolean, boolean)
Komposition von a und b als Substates eines AND-States.
 o extractChart(Statechart, Path)
State pos aus src als eigenständigen Statechart liefern.
 o insertChart(Statechart, Statechart, Path, boolean, boolean)
Einfügen der Statechart src in dest an Stelle des States mit Path pos(mu� aus dest sein).
 o main(String[])
Main: Nur zum internen Testen; nicht benutzen.

Constructors

 o ChartTools
 public ChartTools()

Methods

 o main
 public static void main(String args[]) throws Exception
Main: Nur zum internen Testen; nicht benutzen.

 o compChart
 public static Statechart compChart(Statechart a,
                                    Statechart b,
                                    String newAndStateName,
                                    boolean useSameEvents,
                                    boolean useSameBvars) throws Exception
Komposition von a und b als Substates eines AND-States. newAndStatename wird der neue Statechart-Namen des Root-And-States. Die Parameter useSameEvents und useSameBvars geben an, ob beide vereinigte Charts die gleichen Events und/oder Bvars benutzen

 o insertChart
 public static Statechart insertChart(Statechart dest,
                                      Statechart src,
                                      Path pos,
                                      boolean useSameEvents,
                                      boolean useSameBvars) throws Exception
Einfügen der Statechart src in dest an Stelle des States mit Path pos(mu� aus dest sein). Die Parameter useSameEvents und useSameBvars geben an, ob beide vereinigte Charts die gleichen Events und/oder Bvars benutzen

 o extractChart
 public static Statechart extractChart(Statechart src,
                                       Path pos) throws Exception
State pos aus src als eigenständigen Statechart liefern.


All Packages  Class Hierarchy  This Package  Previous  Next  Index