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
_
R
RBRACE
- Static variable in interface parser.
VerifierConstants
REPEAT
- Static variable in class org.syntax.jedit.
InputHandler
RETURN
- Static variable in interface parser.
VerifierConstants
RIGHT
- Static variable in class org.syntax.jedit.
JEditTextArea
RPAREN
- Static variable in interface parser.
VerifierConstants
ReInit(Reader, int, int, int)
- Method in class parser.
SimpleCharStream
ReInit(Reader, int, int)
- Method in class parser.
SimpleCharStream
ReInit(Reader)
- Method in class parser.
SimpleCharStream
ReInit(InputStream, int, int, int)
- Method in class parser.
SimpleCharStream
ReInit(InputStream)
- Method in class parser.
SimpleCharStream
ReInit(InputStream, int, int)
- Method in class parser.
SimpleCharStream
ReInit(InputStream)
- Static method in class parser.
Verifier
ReInit(Reader)
- Static method in class parser.
Verifier
ReInit(VerifierTokenManager)
- Method in class parser.
Verifier
ReInit(SimpleCharStream)
- Static method in class parser.
VerifierTokenManager
ReInit(SimpleCharStream, int)
- Static method in class parser.
VerifierTokenManager
Rules
- class
Rules
.
Abstrakte Klasse einer Menge von Vereinfachungsregeln.
Rules()
- Constructor for class
Rules
readChar()
- Static method in class parser.
SimpleCharStream
recalculateVisibleLines()
- Method in class
InternalFrame
Berechnet die sichtbaren Zeilen des Textfeldes mit Syntax-Highlighting.
recalculateVisibleLines()
- Method in class org.syntax.jedit.
JEditTextArea
Recalculates the number of visible lines.
recorder
- Variable in class org.syntax.jedit.
InputHandler
rectSelect
- Variable in class org.syntax.jedit.
JEditTextArea
redo()
- Method in class org.syntax.jedit.
JEditTextArea.CaretUndo
reduce(SimpleNode, Rules, boolean)
- Method in class
Simplifier
Versucht einen einzelnen Vereinfachungsschritt durch Anwendung einer
Vereinfachungsregel durchzufuehren.
reduceOne(SimpleNode, Rules, int, boolean)
- Method in class
Simplifier
Versucht, die i-te Regel von rules (OrdSimp, BoolSimp oder AlgSimp) auf
ccondition anzuwenden.
regionMatches(boolean, Segment, int, String)
- Static method in class org.syntax.jedit.
SyntaxUtilities
Checks if a subregion of a
Segment
is equal to a string.
regionMatches(boolean, Segment, int, char[])
- Static method in class org.syntax.jedit.
SyntaxUtilities
Checks if a subregion of a
Segment
is equal to a character array.
removeAllKeyBindings()
- Method in class org.syntax.jedit.
DefaultInputHandler
Removes all key bindings from this input handler.
removeAllKeyBindings()
- Method in class org.syntax.jedit.
InputHandler
Removes all key bindings from this input handler.
removeCaretListener(CaretListener)
- Method in class org.syntax.jedit.
JEditTextArea
Removes a caret change listener from this text area.
removeChild(int)
- Method in class parser.
SimpleNode
Loescht das an der Position numChild befindliche Kind.
removeKeyBinding(String)
- Method in class org.syntax.jedit.
DefaultInputHandler
Removes a key binding from this input handler.
removeKeyBinding(String)
- Method in class org.syntax.jedit.
InputHandler
Removes a key binding from this input handler.
removeLayoutComponent(Component)
- Method in class org.syntax.jedit.
JEditTextArea.ScrollLayout
removeNotify()
- Method in class org.syntax.jedit.
JEditTextArea
Called by the AWT when this component is removed from it's parent.
removeUpdate(DocumentEvent)
- Method in class org.syntax.jedit.
JEditTextArea.DocumentHandler
repeat
- Variable in class org.syntax.jedit.
InputHandler
repeatCount
- Variable in class org.syntax.jedit.
InputHandler
replaceAll(SimpleNode, SimpleNode)
- Method in class parser.
SimpleNode
Ersetzt alle Identifier-Knoten (Typ VerifierTreeConstants.JJTID), die den gleichen Bezeichner wie der Identifier-Knoten oldNode besitzen, durch den Knoten newNode.
replaceAll(String, SimpleNode)
- Method in class parser.
SimpleNode
Ersetzt alle Knoten mit dem Bezeichner nameOfOldNode durch den Knoten newNode.
replaceNode(SimpleNode)
- Method in class parser.
SimpleNode
Ersetzt diesen Knoten durch newNode.
reset()
- Method in class parser.
JJTVerifierState
resetConditionCounter()
- Method in class
InternalFrame
Setzt den Zähler der Verifikationsbedingungen auf 1 zurück.
resetConditionIterator()
- Method in class
VerifCondCreater
Setzt den Iterator der Liste aus Verifikationsbedingungen auf den Anfang der Liste.
resetIterator()
- Method in class
ListOfSimpRules
Setzt den Cursor des Iterators auf den Anfang der Liste.
resetIterator()
- Method in class
ListOfSimpleNodes
Setzt den Cursor des Iterators auf den Anfang der Liste.
resetIterator()
- Method in class
ListOfSubstitutions
Setzt den Cursor des Iterators auf den Anfang der Liste.
resetIterator()
- Method in class parser.
IntList
Setzt den Cursor des Iterators auf den Anfang der Liste.
resetLogFileString()
- Method in class
InternalFrame
Setzt den logFileString zurück.
rewrite()
- Method in class
BoolRewriter
Ersetzt im Baum bExprNode den Identifier vNode durch den Ausdruck exprNode.
rootNode()
- Method in class parser.
JJTVerifierState
rows
- Variable in class org.syntax.jedit.
TextAreaDefaults
rows
- Variable in class org.syntax.jedit.
TextAreaPainter
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
_