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

O

OPERATOR - Static variable in class org.syntax.jedit.tokenmarker.Token
Operator token id.
OR - Static variable in interface parser.VerifierConstants
 
OVERWRITE - Static variable in class org.syntax.jedit.InputHandler
 
OrdSimp - class OrdSimp.
Eine Instanz von OrdSimp stellt eine Reihe relationaler Regeln zum Vereinfachen einer beliebigen Verifikationsbedingung bereit.
OrdSimp(boolean) - Constructor for class OrdSimp
Erzeugt die Regeln und füllt damit das Feld "rules".
obj - Variable in class org.syntax.jedit.tokenmarker.TokenMarker.LineInfo
This is for use by the token marker implementations themselves.
offsetToX(int, int) - Method in class org.syntax.jedit.JEditTextArea
Converts an offset in a line into an x co-ordinate.
openFile(String) - Static method in class FileIO
Liest Ascii-Dateien ein.
openFrameCount - Variable in class JPV
Anzahl der geoeffneten InternalFrames.
openNodeScope(Node) - Method in class parser.JJTVerifierState
 
optionsLogFile - Variable in class JPV
Der Menueeintrag zum Erzeugen einer Log-Datei.
optionsManual - Variable in class JPV
Der Menueeintrag zum Einschalten der Manual-Funktion.
optionsTrace - Variable in class JPV
Der Menueeintrag zum Einschalten der Trace-Funktion.
ordSimp - Static variable in class JPV
Enthaelt die relationalen Vereinfachungsregeln.
ordSimp - Variable in class Simplifier
Enthält die relationalen Vereinfachungsregeln.
org.syntax.jedit - package org.syntax.jedit
 
org.syntax.jedit.tokenmarker - package org.syntax.jedit.tokenmarker
 
overwrite - Variable in class org.syntax.jedit.JEditTextArea
 
overwriteSetSelectedText(String) - Method in class org.syntax.jedit.JEditTextArea
Similar to setSelectedText(), but overstrikes the appropriate number of characters if overwrite mode is enabled.

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