Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
_
G
GE
- Static variable in interface parser.
VerifierConstants
GT
- Static variable in interface parser.
VerifierConstants
GetImage()
- Method in class parser.
SimpleCharStream
GetSuffix(int)
- Static method in class parser.
SimpleCharStream
gen
- Variable in class parser.
Verifier.JJCalls
generateParseException()
- Static method in class parser.
Verifier
getAcceptButton()
- Method in class
InternalFrame
Liefert den Accept-Button
getAction(String)
- Static method in class org.syntax.jedit.
InputHandler
Returns a named text area action.
getActionName(ActionListener)
- Static method in class org.syntax.jedit.
InputHandler
Returns the name of the specified text area action.
getActions()
- Static method in class org.syntax.jedit.
InputHandler
Returns an enumeration of all available actions.
getBeginColumn()
- Method in class parser.
SimpleCharStream
getBeginLine()
- Method in class parser.
SimpleCharStream
getBracketHighlightColor()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the bracket highlight color.
getBracketLine()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the line of the highlighted bracket (the bracket matching the one before the caret)
getBracketPosition()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the position of the highlighted bracket (the bracket matching the one before the caret)
getCaretColor()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the caret color.
getCaretColumn(int, int)
- Method in class org.syntax.jedit.
JEditTextArea
getCaretLine()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the caret line.
getCaretPosition()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the caret position.
getChild(int)
- Method in class parser.
SimpleNode
Liefert i-ten Kindknoten des Arrays children.
getColor()
- Method in class org.syntax.jedit.
SyntaxStyle
Returns the color specified in this style.
getColumn()
- Static method in class parser.
SimpleCharStream
Deprecated.
getCondPattern(int)
- Method in class
AlgSimp
Liefert die "Bedingung" der i-ten Regel.
getCondPattern(int)
- Method in class
BoolSimp
Liefert die "Bedingung" der i-ten Regel.
getCondPattern(int)
- Method in class
OrdSimp
Liefert die "Bedingung" der i-ten Regel.
getCondPattern(int)
- Method in class
Rules
Liefert die "Bedingung" der i-ten Regel.
getCondType(int)
- Method in class
AlgSimp
Liefert den Typ der i-ten Regel.
getCondType(int)
- Method in class
BoolSimp
Liefert den Typ der i-ten Regel.
getCondType(int)
- Method in class
OrdSimp
Liefert den Typ der i-ten Regel.
getCondType(int)
- Method in class
Rules
Liefert den Typ der i-ten Regel.
getConditionCounter()
- Method in class
InternalFrame
Liefert den Zähler der Verifikationsbedingungen.
getDefaultSyntaxStyles()
- Static method in class org.syntax.jedit.
SyntaxUtilities
Returns the default style table.
getDefaults()
- Static method in class org.syntax.jedit.
TextAreaDefaults
Returns a new TextAreaDefaults object with the default values filled in.
getDocument()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the document this text area is editing.
getDocumentLength()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the length of the document.
getDot()
- Method in class org.syntax.jedit.
JEditTextArea.MutableCaretEvent
getEOLMarkerColor()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the EOL marker color.
getEOLMarkersPainted()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns true if EOL markers are drawn, false otherwise.
getElectricScroll()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the number of lines from the top and button of the text area that are always visible.
getEndColumn()
- Method in class parser.
SimpleCharStream
getEndLine()
- Method in class parser.
SimpleCharStream
getFilename()
- Method in class
InternalFrame
Liefert den Namen der Ausgabedatei.
getFirstLine()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the line displayed at the text area's origin.
getFontMetrics(Font)
- Method in class org.syntax.jedit.
SyntaxStyle
Returns the font metrics for the styled font.
getFontMetrics()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the font metrics used by this component.
getHorizontalOffset()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the horizontal offset of drawn lines.
getIdNameOfSimplifiedCondPattern(int)
- Method in class
AlgSimp
Liefert den Bezeichner der freien Variablen in der "Bedingung" der i-ten Regel.
getIdNameOfSimplifiedCondPattern(int)
- Method in class
BoolSimp
Liefert den Bezeichner der freien Variablen in der "Bedingung" der i-ten Regel.
getIdNameOfSimplifiedCondPattern(int)
- Method in class
OrdSimp
Liefert den Bezeichner der freien Variablen in der "Bedingung" der i-ten Regel.
getIdNameOfSimplifiedCondPattern(int)
- Method in class
Rules
Liefert den Bezeichner der freien Variablen in der "Bedingung" der i-ten Regel.
getIgnoreCase()
- Method in class org.syntax.jedit.
KeywordMap
Returns true if the keyword map is set to be case insensitive, false otherwise.
getInputHandler()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the input handler.
getInvalidLinesPainted()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns true if invalid lines are painted as red tildes (~), false otherwise.
getJTextArea()
- Method in class
InternalFrame
Liefert das Ausgabe-Textfeld.
getKeywords()
- Static method in class org.syntax.jedit.tokenmarker.
CTokenMarker
getKeywords()
- Static method in class org.syntax.jedit.tokenmarker.
JavaTokenMarker
getLast()
- Method in class parser.
IntList
Liefert das letzte Element der Liste.
getLine()
- Static method in class parser.
SimpleCharStream
Deprecated.
getLineCount()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the number of lines in the document.
getLineCount()
- Method in class org.syntax.jedit.tokenmarker.
TokenMarker
Returns the number of lines in this token marker.
getLineEndOffset(int)
- Method in class org.syntax.jedit.
JEditTextArea
Returns the end offset of the specified line.
getLineHighlightColor()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the line highlight color.
getLineLength(int)
- Method in class org.syntax.jedit.
JEditTextArea
Returns the length of the specified line.
getLineOfOffset(int)
- Method in class org.syntax.jedit.
JEditTextArea
Returns the line containing the specified offset.
getLineStartOffset(int)
- Method in class org.syntax.jedit.
JEditTextArea
Returns the start offset of the specified line.
getLineText(int)
- Method in class org.syntax.jedit.
JEditTextArea
Returns the text on the specified line.
getLineText(int, Segment)
- Method in class org.syntax.jedit.
JEditTextArea
Copies the text on the specified line into a segment.
getLogFileString()
- Method in class
InternalFrame
Liefert den Inhalt des logFileString.
getMacroRecorder()
- Method in class org.syntax.jedit.
InputHandler
Returns the macro recorder.
getMagicCaretPosition()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the `magic' caret position.
getManualButton()
- Method in class
InternalFrame
Liefert den Manual-Button
getMark()
- Method in class org.syntax.jedit.
JEditTextArea.MutableCaretEvent
getMarkLine()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the mark line.
getMarkPosition()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the mark position.
getMessage()
- Method in class parser.
ParseException
This method has the standard behavior when this object has been created using the standard constructors.
getMessage()
- Method in class parser.
TokenMgrError
You can also modify the body of this method to customize your error messages.
getMinimumSize()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the painter's minimum size.
getMouseWheelUnit()
- Method in class org.syntax.jedit.
ScrollWheelHandler
getName()
- Method in class parser.
SimpleNode
Liefert den Knotenbezeichner.
getNewButton()
- Method in class
InternalFrame
Liefert den New-Button.
getNext()
- Method in class
ListOfSimpRules
Liefert das nächste Element des Iterators.
getNext()
- Method in class
ListOfSimpleNodes
Liefert das nächste Element des Iterators.
getNext()
- Method in class
ListOfSubstitutions
Liefert das nächste Element des Iterators.
getNext()
- Method in class parser.
IntList
Liefert das nächste Element des Iterators.
getNextButton()
- Method in class
InternalFrame
Liefert den Next-Button.
getNextCondition()
- Method in class
VerifCondCreater
Liefert die nächste Verifikationsbedingung.
getNextToken()
- Static method in class parser.
Verifier
getNextToken()
- Method in class parser.
VerifierTokenManager
getNode()
- Method in class
InternalFrame
Liefert den aktuellen Knoten, der dem Fenster zugrunde liegt.
getNodeType()
- Method in class parser.
SimpleNode
Liefert den Knotentyp.
getNumber()
- Method in class
ListOfSimpRules
Liefert die Anzahl der Elemente.
getNumber()
- Method in class
ListOfSimpleNodes
Liefert die Anzahl der Elemente.
getNumber()
- Method in class
ListOfSubstitutions
Liefert die Anzahl der Elemente.
getNumber()
- Method in class parser.
IntList
Liefert die Anzahl der Elemente.
getNumberOfRules()
- Method in class
AlgSimp
Liefert die Anzahl der Vereinfachungsregeln.
getNumberOfRules()
- Method in class
BoolSimp
Liefert die Anzahl der Vereinfachungsregeln.
getNumberOfRules()
- Method in class
OrdSimp
Liefert die Anzahl der Vereinfachungsregeln.
getNumberOfRules()
- Method in class
Rules
Liefert die Anzahl der Vereinfachungsregeln.
getOldNode()
- Method in class
InternalFrame
Liefert den Knoten, der durch Reset wiederhergestellt wird.
getPainter()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the object responsible for painting this text area.
getPanel()
- Method in class
InternalFrame
Liefert das Panel.
getParent()
- Method in class parser.
SimpleNode
Liefert den Parentknoten des aktuellen SimpleNode.
getParseTree()
- Method in class
InternalFrame
Liefert den Parse-Tree des in der Eingabedatei spezifizierten Programms.
getPattern(int)
- Method in class
AlgSimp
Liefert das "Muster" der i-ten Regel.
getPattern(int)
- Method in class
BoolSimp
Liefert das "Muster" der i-ten Regel.
getPattern(int)
- Method in class
OrdSimp
Liefert das "Muster" der i-ten Regel.
getPattern(int)
- Method in class
Rules
Liefert das "Muster" der i-ten Regel.
getPreferredSize()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the painter's preferred size.
getPresentationName()
- Method in class org.syntax.jedit.
JEditTextArea.CaretUndo
getPtree()
- Method in class
InternalFrame
Liefert den aktuellen Teilbaum, der markiert wurde.
getRepeatCount()
- Method in class org.syntax.jedit.
InputHandler
Returns the number of times the next action will be repeated.
getResetButton()
- Method in class
InternalFrame
Liefert den Reset-Button
getResults()
- Method in class
Simplifier
Methode, die für alle Regeln prüft, ob sie auf den Teilbaum anwendbar sind.
getRhsOfSubstitution(String)
- Method in class
ListOfSubstitutions
Liefert, falls vorhanden, die rechte Seite der Substitution.
getRightClickPopup()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the right click popup menu.
getSegmentMapKey(Segment, int, int)
- Method in class org.syntax.jedit.
KeywordMap
getSelectedText()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the selected text, or null if no selection is active.
getSelectionColor()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the selection color.
getSelectionEnd()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the selection end offset.
getSelectionEnd(int)
- Method in class org.syntax.jedit.
JEditTextArea
Returns the offset where the selection ends on the specified line.
getSelectionEndLine()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the selection end line.
getSelectionStart()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the selection start offset.
getSelectionStart(int)
- Method in class org.syntax.jedit.
JEditTextArea
Returns the offset where the selection starts on the specified line.
getSelectionStartLine()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the selection start line.
getSimpPattern(int)
- Method in class
AlgSimp
Liefert das "Vereinfachungsmuster" der i-ten Regel.
getSimpPattern(int)
- Method in class
BoolSimp
Liefert das "Vereinfachungsmuster" der i-ten Regel.
getSimpPattern(int)
- Method in class
OrdSimp
Liefert das "Vereinfachungsmuster" der i-ten Regel.
getSimpPattern(int)
- Method in class
Rules
Liefert das "Vereinfachungsmuster" der i-ten Regel.
getStringMapKey(String)
- Method in class org.syntax.jedit.
KeywordMap
getStyledFont(Font)
- Method in class org.syntax.jedit.
SyntaxStyle
Returns the specified font, but with the style's bold and italic flags applied.
getStyles()
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the syntax styles used to paint colorized text.
getSubst()
- Method in class
Substitution
Liefert das Muster der Substitution.
getText()
- Method in class
InternalFrame
Liefert den Text eines InternalFrames des Typs "EDITOR".
getText()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the entire text of this text area.
getText(int, int)
- Method in class org.syntax.jedit.
JEditTextArea
Returns the specified substring of the document.
getText(int, int, Segment)
- Method in class org.syntax.jedit.
JEditTextArea
Copies the specified substring of the document into a segment.
getTextArea(EventObject)
- Static method in class org.syntax.jedit.
InputHandler
Returns the text area that fired the specified event.
getToken(int)
- Static method in class parser.
Verifier
getTokenMarker()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the document's token marker.
getTokenMarker()
- Method in class org.syntax.jedit.
SyntaxDocument
Returns the token marker that is to be used to split lines of this document up into tokens.
getToolTipText(MouseEvent)
- Method in interface org.syntax.jedit.
TextAreaPainter.Highlight
Returns the tool tip to display at the specified location.
getToolTipText(MouseEvent)
- Method in class org.syntax.jedit.
TextAreaPainter
Returns the tool tip to display at the specified location.
getType()
- Method in class
InternalFrame
Liefert den Typ des InternalFrames.
getUnModTree()
- Method in class
InternalFrame
Liefert den unveränderten vom Anwender ausgewählten Teilbaum
getVar()
- Method in class
Substitution
Liefert den Namen der gebundenen Variablen.
getVerifCondCreater()
- Method in class
InternalFrame
Liefert den VerifCondCreater.
getVisibleLines()
- Method in class org.syntax.jedit.
JEditTextArea
Returns the number of lines visible in this text area.
grabAction
- Variable in class org.syntax.jedit.
InputHandler
grabNextKeyStroke(ActionListener)
- Method in class org.syntax.jedit.
InputHandler
Grabs the next key typed event and invokes the specified action with the key as a the action command.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
_