|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJPV
Field Summary | |
(package private) static AlgSimp |
algSimp
Enthaelt die algebraischen Vereinfachungsregeln. |
(package private) static BoolSimp |
boolSimp
Enthaelt die booleschen Vereinfachungsregeln. |
(package private) javax.swing.JDesktopPane |
desktop
Enthaelt die eingefuegten InternalFrames. |
(package private) javax.swing.JFrame |
mainFrame
Das Hauptfenster. |
(package private) javax.swing.JTextArea |
messagesTextArea
Das Meldungstextfeld. |
(package private) int |
openFrameCount
Anzahl der geoeffneten InternalFrames. |
(package private) javax.swing.JCheckBoxMenuItem |
optionsLogFile
Der Menueeintrag zum Erzeugen einer Log-Datei. |
(package private) javax.swing.JCheckBoxMenuItem |
optionsManual
Der Menueeintrag zum Einschalten der Manual-Funktion. |
(package private) javax.swing.JCheckBoxMenuItem |
optionsTrace
Der Menueeintrag zum Einschalten der Trace-Funktion. |
(package private) static OrdSimp |
ordSimp
Enthaelt die relationalen Vereinfachungsregeln. |
(package private) Verifier |
parser
Der Parser fuer die Sprache der Eingabeprogramme. |
(package private) javax.swing.JSplitPane |
splitPane
Zur Zweiteilung des Fensters. |
(package private) javax.swing.JMenuItem |
windowMessages
Der Menueeintrag zum Ein- und Ausblenden der Meldungsausgabe. |
(package private) int |
X_OFFSET
Verschiebungsfaktor in x-Richtung fuer die Position eines erzeugten InternalFrames. |
(package private) int |
Y_OFFSET
Verschiebungsfaktor in y-Richtung fuer die Position eines erzeugten InternalFrames. |
Constructor Summary | |
JPV()
Erzeugt die graphische Oberfläche zum Benutzen des "Java Program Verifiers". |
Method Summary | |
static void |
main(java.lang.String[] args)
|
void |
showMainWindow()
Erzeugt das Hauptfenster. |
void |
showMessage(java.lang.String msg)
Erzeugt eine Ausgabe im Messagetextfeld und blendet dieses eventuell ein. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
final int X_OFFSET
final int Y_OFFSET
int openFrameCount
javax.swing.JFrame mainFrame
javax.swing.JDesktopPane desktop
javax.swing.JSplitPane splitPane
javax.swing.JTextArea messagesTextArea
javax.swing.JMenuItem windowMessages
javax.swing.JCheckBoxMenuItem optionsTrace
javax.swing.JCheckBoxMenuItem optionsManual
javax.swing.JCheckBoxMenuItem optionsLogFile
Verifier parser
static BoolSimp boolSimp
static OrdSimp ordSimp
static AlgSimp algSimp
AlgSimp
Constructor Detail |
public JPV()
Method Detail |
public void showMessage(java.lang.String msg)
public void showMainWindow()
public static void main(java.lang.String[] args)
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |