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
 

A B C D E F G H I J K L M N O P R S T U V W X Y _