All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class check.Crossreference

java.lang.Object
   |
   +----check.ModelCheckBasics
           |
           +----check.Crossreference

public class Crossreference

extends ModelCheckBasics

Crossreference für Statecharts

Bedienung:

Empfohlender Aufruf:

1. Initialisierung: Crossreference cr = new Crossreference(GUI_Referenz, EDITOR_Referenz, CheckConfig)
2. Aufruf des Reports: cr.report(Statechart)

Forderungen an die an den Report übergebene Statechart:

• Es darf keine null an Stellen stehen, die dafür nicht vorgesehen sind (z.B. in TrList.head).
• In der Datenstruktur der Statechart darf kein Zyklus sein.

Garantien nach der Beendigung des Reports:

• Der Report verändert die an ihn übergebene Statechart nicht.

Testmöglichkeiten:

STATUS:
Unserere Crossreference ist soweit fertig.

To Do:
Testen, Testen, Testen.

Bekannte Fehler:
keine

Temporäre Features:
keine

Version:

$Id: Crossreference.java,v 1.24 1999/02/14 20:56:24 swtech11 Exp $

Author:

Java Praktikum: Daniel Wendorff und Magnus Stiller

Crossreference(GUIInterface, Editor)

Der Konstruktor der Crossreference.

Crossreference(GUIInterface, Editor, CheckConfig)

Der Konstruktor der Crossreference.

report(Statechart)

Führt die Crossreference aus.

 public Crossreference(GUIInterface _gui,
                       Editor _edit)

Der Konstruktor der Crossreference.

Parameters:

_gui - Referenz auf die GUI

_edit - Referenz auf den Editor

 public Crossreference(GUIInterface _gui,
                       Editor _edit,
                       CheckConfig _cf)

Der Konstruktor der Crossreference.

Parameters:

_gui - Referenz auf die GUI

_edit - Referenz auf den Editor

_cf - Konfigurationsklasse des Syntax Checks

 public void report(Statechart _sc)

Führt die Crossreference aus.

Parameters:

sc - die zu checkende Statechart

All Packages  Class Hierarchy  This Package  Previous  Next  Index