All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class gui.pest 

java.lang.Object
   |
   +----java.awt.Component
           |
           +----java.awt.Container
                   |
                   +----java.awt.Window
                           |
                           +----java.awt.Frame
                                   |
                                   +----gui.pest
public class pest
extends Frame
implements GUIInterface

Diese Klasse ist die Hauptklasse von PEST

und daher ist sie auch startbar (sprich "main" ist adequat vorhanden. Sie bildet das Hauptfenster von PEST und implementiert das "GUIInterface". Die einzigen PUBLIC-Elemente sind gegenwärtig die des Interface und die "main"-Methode. Darum wird hier nichts beschrieben.

Empfohlender Aufruf:

  1. java pest

Unsere Forderungen:

Unsere Garantien:


SWTECH15 mailen...


STATUS:
Alle compilierbaren Pakete können aufgerufen werden. Die Abhängigkeiten (gemäß unseren Vorgaben) sind implementiert. Insgesamt sind alle Teilaufgaben (siehe "plan") erfüllt, mit Ausnahme der Punkte unter ToDo.
To Do:
Temporäre Features:
Aufruf des PrettyPrinters

Version:
$id:$
Author:
Christian Spinneker / Ingo Mielsch
See Also:
GUIInterface

Constructor Index

o pest()

Method Index

o addGUIMenu(Menu)
o editorClosing()
o EingabeDialog(Frame, String, String, String)
o EingabeDialog(String, String, String)
o getConnectorcolor()
o getStatecolor()
o getTransitioncolor()
o isDebug()
o main(String[])
o OkDialog(Frame, String, String)
o OkDialog(String, String)
o paint(Graphics)
o removeGUIMenu(Menu)
o simuExit()
o StateChartHasChanged()
o userMessage(String)
o YesNoCancelDialog(Frame, String, String)
o YesNoCancelDialog(String, String)
o YesNoDialog(Frame, String, String)
o YesNoDialog(String, String)

Constructors

o pest 
 public pest()

Methods

o main 
 public static void main(String args[])
o StateChartHasChanged 
 public void StateChartHasChanged()
o editorClosing 
 public void editorClosing()
o simuExit 
 public void simuExit()
o addGUIMenu 
 public void addGUIMenu(Menu m)
o removeGUIMenu 
 public void removeGUIMenu(Menu m)
o userMessage 
 public void userMessage(String msg)
o OkDialog 
 public int OkDialog(String Titel,
                     String Msg)
o YesNoDialog 
 public int YesNoDialog(String Titel,
                        String Msg)
o YesNoCancelDialog 
 public int YesNoCancelDialog(String Titel,
                              String Msg)
o EingabeDialog 
 public String EingabeDialog(String Titel,
                             String Msg,
                             String Defaulttext)
o OkDialog 
 public int OkDialog(Frame par,
                     String Titel,
                     String Msg)
o YesNoDialog 
 public int YesNoDialog(Frame par,
                        String Titel,
                        String Msg)
o YesNoCancelDialog 
 public int YesNoCancelDialog(Frame par,
                              String Titel,
                              String Msg)
o EingabeDialog 
 public String EingabeDialog(Frame par,
                             String Titel,
                             String Msg,
                             String Defaulttext)
o isDebug 
 public boolean isDebug()
o getStatecolor 
 public Color getStatecolor()
o getTransitioncolor 
 public Color getTransitioncolor()
o getConnectorcolor 
 public Color getConnectorcolor()
o paint 
 public void paint(Graphics g)
Overrides:
paint in class Container 
All Packages  Class Hierarchy  This Package  Previous  Next  Index