Dependencies for gui
paint(Graphics).
EingabeDialog(Frame, String, String, String).
EingabeDialog(Frame, String, String, String).
EingabeDialog(String, String, String).
EingabeDialog(String, String, String).
OkDialog(Frame, String, String).
OkDialog(Frame, String, String).
OkDialog(String, String).
OkDialog(String, String).
StateChartHasChanged().
StateChartHasChanged().
editorClosing().
editorClosing().
getConnectorcolor().
getConnectorcolor().
getStatecolor().
getStatecolor().
getTransitioncolor().
getTransitioncolor().
isDebug().
isDebug().
userMessage(String).
userMessage(String).
EingabeDialog(Frame, String, String, String).
EingabeDialog(Frame, String, String, String).
EingabeDialog(String, String, String).
EingabeDialog(String, String, String).
OkDialog(Frame, String, String).
OkDialog(Frame, String, String).
OkDialog(String, String).
OkDialog(String, String).
StateChartHasChanged().
StateChartHasChanged().
editorClosing().
editorClosing().
getConnectorcolor().
getConnectorcolor().
getStatecolor().
getStatecolor().
getTransitioncolor().
getTransitioncolor().
isDebug().
isDebug().
main(String[]).
paint(Graphics).
userMessage(String).
userMessage(String).
EingabeDialog(Frame, String, String, String).
EingabeDialog(Frame, String, String, String).
EingabeDialog(String, String, String).
EingabeDialog(String, String, String).
Functions never used in external packages
- addGUIMenu(Menu).
- addGUIMenu(Menu).
- removeGUIMenu(Menu).
- removeGUIMenu(Menu).
- YesNoCancelDialog(Frame, String, String).
- YesNoCancelDialog(Frame, String, String).
- YesNoCancelDialog(String, String).
- YesNoCancelDialog(String, String).
- YesNoDialog(Frame, String, String).
- YesNoDialog(Frame, String, String).
- YesNoDialog(String, String).
- YesNoDialog(String, String).
- actionPerformed(ActionEvent).
- addGUIMenu(Menu).
- addGUIMenu(Menu).
- pest().
- YesNoCancelDialog(Frame, String, String).
- YesNoCancelDialog(Frame, String, String).
- YesNoCancelDialog(String, String).
- YesNoCancelDialog(String, String).
- YesNoDialog(Frame, String, String).
- YesNoDialog(Frame, String, String).
- YesNoDialog(String, String).
- YesNoDialog(String, String).
- actionPerformed(ActionEvent).
- removeGUIMenu(Menu).
- removeGUIMenu(Menu).
- simuExit().
- simuExit().
- tesc2Option(pest).