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.

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