All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class check.Crossreference 

java.lang.Object
   |
   +----check.General
           |
           +----check.Crossreference
public class Crossreference
extends General

Crossreference

Aufruf

Initialisierung: Crossreference cref = new Crossreference(GUIInterface, Editor, CheckConfig);
Ausführung: cref.report(Statechart);

Anforderungen

Es werden keinerlei Anforderungen an die übergebene Statechart gestellt

Status (30.01.1999)

Todo

bis dato nichts...

Kontakt

Autoren: Tobias Kunz
Mario Thies

Version

Version:
$id:$
Author:
Java Praktikum: Gruppe 23
Mario Thies und Tobias Kunz

Constructor Index

o Crossreference()
o Crossreference(GUIInterface, Editor)
o Crossreference(GUIInterface, Editor, CheckConfig)

Method Index

o report(Statechart)

Constructors

o Crossreference 
 public Crossreference()
o Crossreference 
 public Crossreference(GUIInterface gui,
                       Editor editor)
o Crossreference 
 public Crossreference(GUIInterface gui,
                       Editor editor,
                       CheckConfig checkconfig)

Methods

o report 
 public void report(Statechart statechart)

All Packages  Class Hierarchy  This Package  Previous  Next  Index