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

S

SELECT_ALL - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_DOC_END - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_DOC_HOME - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_END - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_HOME - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_NEXT_CHAR - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_NEXT_LINE - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_NEXT_PAGE - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_NEXT_WORD - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_PREV_CHAR - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_PREV_LINE - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_PREV_PAGE - Static variable in class org.syntax.jedit.InputHandler
 
SELECT_PREV_WORD - Static variable in class org.syntax.jedit.InputHandler
 
SEMICOLON - Static variable in interface parser.VerifierConstants
 
SHORT_AND - Static variable in interface parser.VerifierConstants
 
SHORT_OR - Static variable in interface parser.VerifierConstants
 
SMART_HOME_END_PROPERTY - Static variable in class org.syntax.jedit.InputHandler
If this client property is set to Boolean.TRUE on the text area, the home/end keys will support 'smart' BRIEF-like behaviour (one press = start/end of line, two presses = start/end of viewscreen, three presses = start/end of document).
STATIC_LEXER_ERROR - Static variable in class parser.TokenMgrError
An attempt wass made to create a second instance of a static token manager.
ScrollWheelHandler - class org.syntax.jedit.ScrollWheelHandler.
 
ScrollWheelHandler(JScrollBar) - Constructor for class org.syntax.jedit.ScrollWheelHandler
 
ScrollWheelHandler(int, JScrollBar) - Constructor for class org.syntax.jedit.ScrollWheelHandler
 
SimpRule - class SimpRule.
Eine SimpRule enthält die verschiedenen Muster einer Vereinfachungsregel des Beweisers.
SimpRule(SimpleNode, SimpleNode) - Constructor for class SimpRule
Erzeugt eine SimpRule, welche nur aus einem Muster und dem Vereinfachungsmuster besteht.
SimpRule(SimpleNode, SimpleNode, SimpleNode, int, String) - Constructor for class SimpRule
Erzeugt eine SimpRule bestehend aus einem Muster pattern, einem Vereinfachungsmuster simpPattern, einer Bedingung condPattern, dem Typ der Vereinfachungsregel type und dem Namen idName einer speziellen freien Variablen.
SimpleCharStream - class parser.SimpleCharStream.
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class parser.SimpleCharStream
 
SimpleCharStream(Reader, int, int) - Constructor for class parser.SimpleCharStream
 
SimpleCharStream(Reader) - Constructor for class parser.SimpleCharStream
 
SimpleCharStream(InputStream, int, int, int) - Constructor for class parser.SimpleCharStream
 
SimpleCharStream(InputStream, int, int) - Constructor for class parser.SimpleCharStream
 
SimpleCharStream(InputStream) - Constructor for class parser.SimpleCharStream
 
SimpleNode - class parser.SimpleNode.
Implementierung eines Baumes zum Aufbau des Parse-Tree, der Verifikationsbedingungen und der Vereinfachungsregeln.
SimpleNode(int) - Constructor for class parser.SimpleNode
Von "JJTree" automatisch generierter Konstruktor.
SimpleNode(int, String, SimpleNode[]) - Constructor for class parser.SimpleNode
Erzeugt einen Baumknoten vom Typ i und Bezeichner nname mit den Kindern cchildren.
SimpleNode(int, String) - Constructor for class parser.SimpleNode
Erzeugt einen Baumknoten vom Typ i und Bezeichner nname ohne Kindknoten.
SimpleNode(Verifier, int) - Constructor for class parser.SimpleNode
Von "JJTree" automatisch generierter Konstruktor.
Simplifier - class Simplifier.
Ein Simplifier vereinfacht eine Verifikationsbedingung.
Simplifier(SimpleNode, BoolSimp, OrdSimp, AlgSimp, JTextArea) - Constructor for class Simplifier
Erzeugt einen Simplifier.
SingleLineComment - Static variable in interface parser.VerifierConstants
 
SkipLexicalActions(Token) - Static method in class parser.VerifierTokenManager
 
Statement() - Static method in class parser.Verifier
 
Statements() - Static method in class parser.Verifier
 
Substitution - class Substitution.
Eine Substitution speichert die Bindung einer freien Variablen an ein Muster.
Substitution(String, SimpleNode) - Constructor for class Substitution
Erzeugt eine Bindung der Variablen mit Namen var an das Muster subst.
SwitchTo(int) - Static method in class parser.VerifierTokenManager
 
SyntaxDocument - class org.syntax.jedit.SyntaxDocument.
A document implementation that can be tokenized by the syntax highlighting system.
SyntaxDocument() - Constructor for class org.syntax.jedit.SyntaxDocument
 
SyntaxStyle - class org.syntax.jedit.SyntaxStyle.
A simple text style class.
SyntaxStyle(Color, boolean, boolean) - Constructor for class org.syntax.jedit.SyntaxStyle
Creates a new SyntaxStyle.
SyntaxUtilities - class org.syntax.jedit.SyntaxUtilities.
Class with several utility functions used by jEdit's syntax colorizing subsystem.
saveFile(File, String) - Static method in class FileIO
Schreibt Ascii-Dateien.
scrollBarsInitialized - Variable in class org.syntax.jedit.JEditTextArea
 
scrollTo(int, int) - Method in class org.syntax.jedit.JEditTextArea
Ensures that the specified line and offset is visible by scrolling the text area if necessary.
scrollToCaret() - Method in class org.syntax.jedit.JEditTextArea
Ensures that the caret is visible by scrolling the text area if necessary.
select(int, int) - Method in class org.syntax.jedit.JEditTextArea
Selects from the start offset to the end offset.
selectAll() - Method in class InternalFrame
Zum Markieren des kompletten Textes des Editorfeldes.
selectAll() - Method in class org.syntax.jedit.JEditTextArea
Selects all text in the document.
selectNone() - Method in class org.syntax.jedit.JEditTextArea
Moves the mark to the caret position.
selectionColor - Variable in class org.syntax.jedit.TextAreaDefaults
 
selectionColor - Variable in class org.syntax.jedit.TextAreaPainter
 
selectionEnd - Variable in class org.syntax.jedit.JEditTextArea
 
selectionEndLine - Variable in class org.syntax.jedit.JEditTextArea
 
selectionStart - Variable in class org.syntax.jedit.JEditTextArea
 
selectionStartLine - Variable in class org.syntax.jedit.JEditTextArea
 
setBlockCaretEnabled(boolean) - Method in class org.syntax.jedit.TextAreaPainter
Sets if the caret should be drawn as a block, false otherwise.
setBracketHighlightColor(Color) - Method in class org.syntax.jedit.TextAreaPainter
Sets the bracket highlight color.
setBracketHighlightEnabled(boolean) - Method in class org.syntax.jedit.TextAreaPainter
Enables or disables bracket highlighting.
setCaretBlinkEnabled(boolean) - Method in class org.syntax.jedit.JEditTextArea
Toggles caret blinking.
setCaretColor(Color) - Method in class org.syntax.jedit.TextAreaPainter
Sets the caret color.
setCaretPosition(int) - Method in class org.syntax.jedit.JEditTextArea
Sets the caret position.
setCaretVisible(boolean) - Method in class org.syntax.jedit.JEditTextArea
Sets if the caret should be visible.
setCursor(int, int) - Method in class InternalFrame
Setzt den Cursor in einem Textfeld mit Syntax-Highlighting in Zeile line und Spalte column.
setCursor(int, int) - Method in class org.syntax.jedit.JEditTextArea
 
setCursorPosLabel(JLabel) - Method in class org.syntax.jedit.JEditTextArea
 
setDebugStream(PrintStream) - Static method in class parser.VerifierTokenManager
 
setDocument(SyntaxDocument) - Method in class org.syntax.jedit.JEditTextArea
Sets the document this text area is editing.
setEOLMarkerColor(Color) - Method in class org.syntax.jedit.TextAreaPainter
Sets the EOL marker color.
setEOLMarkersPainted(boolean) - Method in class org.syntax.jedit.TextAreaPainter
Sets if EOL markers are to be drawn.
setEditable(boolean) - Method in class org.syntax.jedit.JEditTextArea
Sets if this component is editable.
setElectricScroll(int) - Method in class org.syntax.jedit.JEditTextArea
Sets the number of lines from the top and bottom of the text area that are always visible
setFilename(String) - Method in class InternalFrame
Setzt den Namen der Ausgabedatei.
setFirstLine(int) - Method in class org.syntax.jedit.JEditTextArea
Sets the line displayed at the text area's origin without updating the scroll bars.
setFont(Font) - Method in class org.syntax.jedit.TextAreaPainter
Sets the font for this component.
setGraphicsFlags(Graphics, Font) - Method in class org.syntax.jedit.SyntaxStyle
Sets the foreground color and font of the specified graphics context to that specified in this style.
setHorizontalOffset(int) - Method in class org.syntax.jedit.JEditTextArea
Sets the horizontal offset of drawn lines.
setIgnoreCase(boolean) - Method in class org.syntax.jedit.KeywordMap
Sets if the keyword map should be case insensitive.
setInputHandler(InputHandler) - Method in class org.syntax.jedit.JEditTextArea
Sets the input handler.
setInvalidLinesPainted(boolean) - Method in class org.syntax.jedit.TextAreaPainter
Sets if invalid lines are to be painted as red tildes.
setLast(int) - Method in class parser.IntList
Ersetzt den Integer-Wert des letzten Elements der Liste.
setLineHighlightColor(Color) - Method in class org.syntax.jedit.TextAreaPainter
Sets the line highlight color.
setLineHighlightEnabled(boolean) - Method in class org.syntax.jedit.TextAreaPainter
Enables or disables current line highlighting.
setMacroRecorder(InputHandler.MacroRecorder) - Method in class org.syntax.jedit.InputHandler
Sets the macro recorder.
setMagicCaretPosition(int) - Method in class org.syntax.jedit.JEditTextArea
Sets the `magic' caret position.
setMouseWheelUnit(int) - Method in class org.syntax.jedit.ScrollWheelHandler
 
setName(String) - Method in class parser.SimpleNode
Setzt den Knotenbezeichner.
setNode(SimpleNode) - Method in class InternalFrame
Definiert den aktuellen Knoten, der dem Fenster zugrunde liegt.
setNumberLinesLabel(JLabel) - Method in class org.syntax.jedit.JEditTextArea
 
setOldNode(SimpleNode) - Method in class InternalFrame
Definiert den Knoten, der durch Reset wiederhergestellt wird.
setOrigin(int, int) - Method in class org.syntax.jedit.JEditTextArea
A fast way of changing both the first line and horizontal offset.
setOverwriteEnabled(boolean) - Method in class org.syntax.jedit.JEditTextArea
Sets if overwrite mode should be enabled.
setParents() - Method in interface parser.Node
These methods are used to set parents for all children of a given Node.
setParents(Node) - Method in interface parser.Node
 
setParents() - Method in class parser.SimpleNode
Setzt in einem Baum die Node parent für alle Knoten, außer fuer den Wurzelknoten.
setParents(Node) - Method in class parser.SimpleNode
Setzt für diesen Knoten und alle seine Kindknoten den Wert parent.
setParseTree(String) - Method in class InternalFrame
Setzt den Parse-Tree des in der Eingabedatei spezifizierten Programms.
setPtree(SimpleNode) - Method in class InternalFrame
Definiert den aktuellen Teilbaum, der markiert wurde.
setRepeatCount(int) - Method in class org.syntax.jedit.InputHandler
Sets the number of times the next action will be repeated.
setRepeatEnabled(boolean) - Method in class org.syntax.jedit.InputHandler
Enables repeating.
setRightClickPopup(JPopupMenu) - Method in class org.syntax.jedit.JEditTextArea
Sets the right click popup menu.
setSelectedText(String) - Method in class org.syntax.jedit.JEditTextArea
Replaces the selection with the specified text.
setSelectionColor(Color) - Method in class org.syntax.jedit.TextAreaPainter
Sets the selection color.
setSelectionEnd(int) - Method in class org.syntax.jedit.JEditTextArea
Sets the selection end.
setSelectionRectangular(boolean) - Method in class org.syntax.jedit.JEditTextArea
Sets if the selection should be rectangular.
setSelectionStart(int) - Method in class org.syntax.jedit.JEditTextArea
Sets the selection start.
setStyles(SyntaxStyle[]) - Method in class org.syntax.jedit.TextAreaPainter
Sets the syntax styles used to paint colorized text.
setText(String) - Method in class org.syntax.jedit.JEditTextArea
Sets the entire text of this text area.
setTokenMarker(TokenMarker) - Method in class org.syntax.jedit.JEditTextArea
Sets the document's token marker.
setTokenMarker(TokenMarker) - Method in class org.syntax.jedit.SyntaxDocument
Sets the token marker that is to be used to split lines of this document up into tokens.
setUnModTree(SimpleNode) - Method in class InternalFrame
Definiert den unveränderten vom Anwender ausgewählten Teilbaum
setUpdatePanel(JPanel) - Method in class org.syntax.jedit.JEditTextArea
 
setVerifCondCreater(VerifCondCreater) - Method in class InternalFrame
Setzt den VerifCondCreater.
showMainWindow() - Method in class JPV
Erzeugt das Hauptfenster.
showMessage(String) - Method in class JPV
Erzeugt eine Ausgabe im Messagetextfeld und blendet dieses eventuell ein.
simpPattern - Variable in class SimpRule
Vereinfachungsmuster.
simplify(SimpleNode, boolean) - Method in class Simplifier
Versucht durch Verwendung der Methode reduce(SimpleNode ccondition, Rules rules, boolean output) einen einzelnen Vereinfachungsschritt durchzufuehren.
specialConstructor - Variable in class parser.ParseException
This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialToken - Variable in class parser.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
splitPane - Variable in class JPV
Zur Zweiteilung des Fensters.
standard() - Method in class parser.SimpleNode
Standardisiert einen SimpleNode durch Anwendung von negSub(), leftAddFirst() und leftFirst(int type, String name).
staticFlag - Static variable in class parser.SimpleCharStream
 
stepBack() - Method in class ListOfSimpRules
Setzt den Cursor des Iterators um ein Element zurück.
stepBack() - Method in class ListOfSimpleNodes
Setzt den Cursor des Iterators um ein Element zurück.
styles - Variable in class org.syntax.jedit.TextAreaDefaults
 
styles - Variable in class org.syntax.jedit.TextAreaPainter
 
substitutionsToString() - Method in class Simplifier
Konvertiert die Liste aus Verifikationsbedingungen in einen String.
supportsMultilineTokens() - Method in class org.syntax.jedit.tokenmarker.TokenMarker
Returns if the token marker supports tokens that span multiple lines.

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