Class JPV

java.lang.Object
  extended byJPV

class JPV
extends java.lang.Object


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

X_OFFSET

final int X_OFFSET
Verschiebungsfaktor in x-Richtung fuer die Position eines erzeugten InternalFrames. @see InternalFrame

See Also:
Constant Field Values

Y_OFFSET

final int Y_OFFSET
Verschiebungsfaktor in y-Richtung fuer die Position eines erzeugten InternalFrames. @see InternalFrame

See Also:
Constant Field Values

openFrameCount

int openFrameCount
Anzahl der geoeffneten InternalFrames. @see InternalFrame


mainFrame

javax.swing.JFrame mainFrame
Das Hauptfenster.


desktop

javax.swing.JDesktopPane desktop
Enthaelt die eingefuegten InternalFrames. @see InternalFrame


splitPane

javax.swing.JSplitPane splitPane
Zur Zweiteilung des Fensters.


messagesTextArea

javax.swing.JTextArea messagesTextArea
Das Meldungstextfeld.


windowMessages

javax.swing.JMenuItem windowMessages
Der Menueeintrag zum Ein- und Ausblenden der Meldungsausgabe.


optionsTrace

javax.swing.JCheckBoxMenuItem optionsTrace
Der Menueeintrag zum Einschalten der Trace-Funktion.


optionsManual

javax.swing.JCheckBoxMenuItem optionsManual
Der Menueeintrag zum Einschalten der Manual-Funktion.


optionsLogFile

javax.swing.JCheckBoxMenuItem optionsLogFile
Der Menueeintrag zum Erzeugen einer Log-Datei.


parser

Verifier parser
Der Parser fuer die Sprache der Eingabeprogramme. Die Klasse "Verifier" wurde von dem Programm "JavaCC" automatisch aus der definierten Grammatik erzeugt.


boolSimp

static BoolSimp boolSimp
Enthaelt die booleschen Vereinfachungsregeln. @see BoolSimp


ordSimp

static OrdSimp ordSimp
Enthaelt die relationalen Vereinfachungsregeln. @see OrdSimp


algSimp

static AlgSimp algSimp
Enthaelt die algebraischen Vereinfachungsregeln.

See Also:
AlgSimp
Constructor Detail

JPV

public JPV()
Erzeugt die graphische Oberfläche zum Benutzen des "Java Program Verifiers".

Method Detail

showMessage

public void showMessage(java.lang.String msg)
Erzeugt eine Ausgabe im Messagetextfeld und blendet dieses eventuell ein.


showMainWindow

public void showMainWindow()
Erzeugt das Hauptfenster.


main

public static void main(java.lang.String[] args)