Serialized Form


Package parser

Class parser.ParseException extends java.lang.Exception implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor
This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).


currentToken

Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.


expectedTokenSequences

int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.


tokenImage

java.lang.String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.


eol

java.lang.String eol
The end of line string for this machine.

Class parser.TokenMgrError extends java.lang.Error implements Serializable

Serialized Fields

errorCode

int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.


Package org.syntax.jedit

Class org.syntax.jedit.JEditTextArea extends javax.swing.JComponent implements Serializable

Serialized Fields

cursorPosPanel

javax.swing.JPanel cursorPosPanel

posLabel

javax.swing.JLabel posLabel

numberLinesLabel

javax.swing.JLabel numberLinesLabel

painter

TextAreaPainter painter

popup

javax.swing.JPopupMenu popup

listenerList

javax.swing.event.EventListenerList listenerList

caretEvent

JEditTextArea.MutableCaretEvent caretEvent

caretBlinks

boolean caretBlinks

caretVisible

boolean caretVisible

blink

boolean blink

editable

boolean editable

firstLine

int firstLine

visibleLines

int visibleLines

electricScroll

int electricScroll

horizontalOffset

int horizontalOffset

vertical

javax.swing.JScrollBar vertical

horizontal

javax.swing.JScrollBar horizontal

scrollBarsInitialized

boolean scrollBarsInitialized

inputHandler

InputHandler inputHandler

document

SyntaxDocument document

documentHandler

JEditTextArea.DocumentHandler documentHandler

lineSegment

javax.swing.text.Segment lineSegment

selectionStart

int selectionStart

selectionStartLine

int selectionStartLine

selectionEnd

int selectionEnd

selectionEndLine

int selectionEndLine

biasLeft

boolean biasLeft

bracketPosition

int bracketPosition

bracketLine

int bracketLine

magicCaret

int magicCaret

overwrite

boolean overwrite

rectSelect

boolean rectSelect

Class org.syntax.jedit.SyntaxDocument extends javax.swing.text.PlainDocument implements Serializable

Serialized Fields

tokenMarker

TokenMarker tokenMarker

Class org.syntax.jedit.TextAreaPainter extends javax.swing.JComponent implements Serializable

Serialized Fields

currentLineIndex

int currentLineIndex

currentLineTokens

Token currentLineTokens

currentLine

javax.swing.text.Segment currentLine

textArea

JEditTextArea textArea

styles

SyntaxStyle[] styles

caretColor

java.awt.Color caretColor

selectionColor

java.awt.Color selectionColor

lineHighlightColor

java.awt.Color lineHighlightColor

bracketHighlightColor

java.awt.Color bracketHighlightColor

eolMarkerColor

java.awt.Color eolMarkerColor

blockCaret

boolean blockCaret

lineHighlight

boolean lineHighlight

bracketHighlight

boolean bracketHighlight

paintInvalid

boolean paintInvalid

eolMarkers

boolean eolMarkers

cols

int cols

rows

int rows

tabSize

int tabSize

fm

java.awt.FontMetrics fm

highlights

TextAreaPainter.Highlight highlights


Class InternalFrame extends javax.swing.JInternalFrame implements Serializable

Serialized Fields

cp

javax.swing.JPanel cp
Liefert das aktuell bearbeitete Panel.


type

int type
Enthält den Typ des Fensters.


filename

java.lang.String filename
Enthält den Namen der Eingabedatei.


parseTree

java.lang.String parseTree
Enthält den Parse-Tree des in der Eingabedatei spezifizierten Programms.


mantree

SimpleNode mantree
Die aktuelle SimpleNode, die im Fenster dargestellt wird


savetree

SimpleNode savetree
ursprängliche SimpleNode im Fenster des Typs "BYHAND" oder im Fenster des Typs "NBYHAND". (für den Reset)


unmodtree

SimpleNode unmodtree
SimpleNode, die den unveränderten vom Benutzer ausgewählten Teilbaum enthält (nur "BYHAND" oder "NBYHAND")


ptree

SimpleNode ptree
der markierte Teilbaum im Fenster des Typs "BYHAND" oder im Fenster des Typs "NBYHAND".


logFileString

java.lang.String logFileString
Puffert die Logdateiausgaben.


vcc

VerifCondCreater vcc
Erzeugt die Verifikationsbedingungen.

See Also:
VerifCondCreater

conditionCounter

int conditionCounter
Zähler zum Durchlaufen der erzeugten Verifikationsbedingungen.


input

JEditTextArea input
Texteingabefeld mit Syntax-Highlighting.


textPane

javax.swing.JEditorPane textPane
Textfeld für die Ausgabe von Html-Dateien.


output

javax.swing.JTextArea output
Feld für Textausgaben.


nextButton

javax.swing.JButton nextButton
Next-Button im Fenster des Typs "VERIFOUT" oder im Fenster des Typs "NBYHAND".


newButton

javax.swing.JButton newButton
New-Button im Fenster des Typs "VERIFOUT".


manualButton

javax.swing.JButton manualButton
Manual-Button im Fenster des Typs "VERIFOUT".


resetButton

javax.swing.JButton resetButton
Reset-Button im Fenster des Typs "BYHAND" oder im Fenster des Typs "NBYHAND".


acceptButton

javax.swing.JButton acceptButton
Accept-Button im Fenster des Typs "BYHAND" oder im Fenster des Typs "NBYHAND".