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