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
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
_
G
GE_OP
- Static variable in interface modesteditor.core.antlrparser.
Lexer_TokenTypes
GE_OP
- Static variable in interface modesteditor.core.antlrparser.
lexerModestVocab_TokenTypes
GE_OP
- Static variable in interface modesteditor.core.antlrparser.
ModestLexer_TokenTypes
GE_OP
- Static variable in interface modesteditor.core.antlrparser.
ModestLexerNewTokenTypes
GE_OP
- Static variable in interface modesteditor.core.antlrparser.
ModestOutlineTreeWalkerTokenTypes
GE_OP
- Static variable in interface modesteditor.core.antlrparser.
ModestSimulationTreeWalkerTokenTypes
GE_OP
- Static variable in interface modesteditor.core.antlrparser.
parserModestVocab_TokenTypes
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
ActionNode
Puts the name of the action in the alphabet if it's not a STOP or a tau action.
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
Alternative
Generates the alphabet as the union of all children, which should be only one child in fact.
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
AltNode
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
BreakNode
Nothing to do because break is never in the common alphabet
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
PaltNode
Method generates the alphabet from the actionGuard and all the alternatives.
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
PaltTransition
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
ParNode
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
ParTransition
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
SequentialProcess
Generates the alphabet as a union of the alphabets of the children taking account of relabeling.
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
SimulationNode
Abstract method to generate the alphabet of the node.
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
ThrowNode
Method does nothing since the throw statement has no alphabet.
generateAlphabet()
- Method in class modesteditor.core.stepsimulation.
TryNode
getActions()
- Method in class modesteditor.core.model.
Process
Returns the child actions
getAdapter(Class)
- Method in class modesteditor.core.
ModestEditor
Returns this editor's outline page if requested.
getAlphabet()
- Method in class modesteditor.core.stepsimulation.
SimulationNode
getAnnotationHover(ISourceViewer)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
getAssignment()
- Method in class modesteditor.core.stepsimulation.
ActionNode
getAssignment()
- Method in class modesteditor.core.stepsimulation.
Alternative
getAssignment()
- Method in class modesteditor.core.stepsimulation.
BreakNode
getAssignment()
- Method in class modesteditor.core.stepsimulation.
ParTransition
getAutoEditStrategies(ISourceViewer, String)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
getBreakLine()
- Method in class modesteditor.core.antlrparser.
ModestParser
getChildren()
- Method in class modesteditor.core.model.
Process
Returns a list of the child models
getChildren(Object)
- Method in class modesteditor.core.
ModestContentProvider
Returns the children models of the given Model (only processes can have children).
getChildren(Object)
- Method in class modesteditor.core.stepsimulation.
SimulationContentProvider
Returns the children models of the given Model (only processes can have children).
getColor(RGB)
- Method in class modesteditor.core.util.
ModestColorProvider
Return the color that is stored in the color table under the given RGB value.
getColumn()
- Method in class modesteditor.core.antlrparser.
ASTWithOffsetInfos
getColumn()
- Method in class modesteditor.core.antlrparser.
ModestAST
getColumn()
- Method in class modesteditor.core.antlrparser.
Symbol
getColumn()
- Method in class modesteditor.core.model.
Model
getColumn()
- Method in class modesteditor.core.stepsimulation.
SimulationNode
getCompletionProposalAutoActivationCharacters()
- Method in class modesteditor.core.modest.
ModestCompletionProcessor
getConfiguredContentTypes(ISourceViewer)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
Returns the content types of the document.
getConfiguredDocumentPartitioning(ISourceViewer)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
Returns the partitioning for the MoDeST document.
getContentAssistant(ISourceViewer)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
Returns the content assistant for a MoDeST document.
getContextInformationAutoActivationCharacters()
- Method in class modesteditor.core.modest.
ModestCompletionProcessor
getContextInformationValidator()
- Method in class modesteditor.core.modest.
ModestCompletionProcessor
getCurrentAST()
- Method in class modesteditor.core.model.
ModestSimulation
getDefault()
- Static method in class modesteditor.core.
ModestEditorPlugin
Returns the shared instance in order to make it a singleton
getDefault()
- Static method in class modesteditor.launch.
ModestLaunchPlugin
Returns the shared instance
getDefaultPrefix(ISourceViewer, String)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
getDefaultStyle()
- Method in class modesteditor.core.util.
ModestTextStyleProvider
Returns the colour and font style for dists in the editor.
getDistStyle()
- Method in class modesteditor.core.util.
ModestTextStyleProvider
Returns the colour and font style for dists in the editor.
getDoubleClickStrategy(ISourceViewer, String)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
getEditor()
- Static method in class modesteditor.core.
ModestEditor
getElements(Object)
- Method in class modesteditor.core.
ModestContentProvider
Returns the top-level models of the given program (which is conceptually the root of the tree, but is not displayed in the view).
getElements(Object)
- Method in class modesteditor.core.stepsimulation.
SimulationContentProvider
Returns the top-level models of the given program (which is conceptually the root of the tree, but is not displayed in the view).
getErrorCount()
- Method in class modesteditor.core.antlrparser.
ModestParserNew
getErrorMessage()
- Method in class modesteditor.core.modest.
ModestCompletionProcessor
getExceptionName()
- Method in class modesteditor.core.stepsimulation.
ThrowNode
getExceptions()
- Method in class modesteditor.core.model.
Process
Returns the child exceptions
getFinishingMessage()
- Method in class modesteditor.core.stepsimulation.
SimulationRoot
getGuard()
- Method in class modesteditor.core.stepsimulation.
SimulationNode
getHoverInfo(ISourceViewer, int)
- Method in class modesteditor.core.
ModestAnnotationHover
getHoverInfo(ITextViewer, IRegion)
- Method in class modesteditor.core.
ModestTextHover
getHoverRegion(ITextViewer, int)
- Method in class modesteditor.core.
ModestTextHover
getImage(Object)
- Method in class modesteditor.core.
ModestLabelProvider
Returns an image to a given Object, the Object has to be a Model.
getImage(Object)
- Method in class modesteditor.core.stepsimulation.
SimulationLabelProvider
getImage()
- Method in class modesteditor.launch.ui.
ModestLaunchTab
getImageDescriptor(String)
- Static method in class modesteditor.core.
ModestEditorPlugin
Return the image descriptor of the given filename.
getIndentOfLine(IDocument, int)
- Method in class modesteditor.core.modest.
ModestAutoIndentStrategy
Returns the content of the given line without the leading whitespace.
getIndentPrefixes(ISourceViewer, String)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
getKeywordStyle()
- Method in class modesteditor.core.util.
ModestTextStyleProvider
Returns the colour and font style for keywords in the editor.
getLength()
- Method in class modesteditor.core.model.
Model
getLength()
- Method in class modesteditor.core.stepsimulation.
SimulationNode
getLine()
- Method in class modesteditor.core.antlrparser.
ASTWithOffsetInfos
getLine()
- Method in class modesteditor.core.antlrparser.
ModestAST
getLine()
- Method in class modesteditor.core.antlrparser.
Symbol
getLine()
- Method in class modesteditor.core.model.
Model
getLine()
- Method in class modesteditor.core.stepsimulation.
SimulationNode
getModels()
- Method in class modesteditor.core.model.
ModestSimulation
Returns the list of identifiers bound by the program.
getModels()
- Method in class modesteditor.core.stepsimulation.
SimulationRoot
Method calls update and delivers the possible transitions to the content provider.
getModestCodeScanner()
- Method in class modesteditor.core.
ModestEditorPlugin
Returns the singleton MoDeST code scanner.
getModestColorProvider()
- Method in class modesteditor.core.
ModestEditorPlugin
Returns the singleton Modest color provider.
getModestPartitionScanner()
- Method in class modesteditor.core.
ModestEditorPlugin
Return a scanner for creating MoDeST partitions.
getModestTextStyleProvider()
- Method in class modesteditor.core.
ModestEditorPlugin
Returns the singleton Modest text style provider.
getMultiLineCommentStyle()
- Method in class modesteditor.core.util.
ModestTextStyleProvider
Returns the colour and font style for comments in the editor.
getName()
- Method in class modesteditor.core.antlrparser.
Symbol
getName()
- Method in class modesteditor.core.model.
Model
getName()
- Method in class modesteditor.core.stepsimulation.
ActionNode
getName()
- Method in class modesteditor.core.stepsimulation.
BreakNode
getName()
- Method in class modesteditor.core.stepsimulation.
PaltNode
getName()
- Method in class modesteditor.core.stepsimulation.
SimulationNode
getName()
- Method in class modesteditor.launch.ui.
ModestLaunchTab
getPAlternatives()
- Method in class modesteditor.core.stepsimulation.
PaltTransition
getPaltTransitions()
- Method in class modesteditor.core.stepsimulation.
PaltNode
Method for generating the list of PaltTransition of the node
getPaltTransitions()
- Method in class modesteditor.core.stepsimulation.
ParTransition
getParent()
- Method in class modesteditor.core.model.
Model
getParent(Object)
- Method in class modesteditor.core.
ModestContentProvider
Returns the parent model of the given model.
getParent(Object)
- Method in class modesteditor.core.stepsimulation.
SimulationContentProvider
Returns the parent model of the given model.
getParent()
- Method in class modesteditor.core.stepsimulation.
SimulationNode
getParentList()
- Method in class modesteditor.core.stepsimulation.
AltNode
getParentList()
- Method in class modesteditor.core.stepsimulation.
ParNode
getParentList()
- Method in class modesteditor.core.stepsimulation.
SimulationNode
getParser()
- Method in exception modesteditor.core.antlrparser.
EndOfFileException
getPresentationReconciler(ISourceViewer)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
Returns the PresentationReconciler.
getProbability()
- Method in class modesteditor.core.stepsimulation.
PaltTransition
getProblems()
- Method in class modesteditor.core.model.
ModestSimulation
Returns the regions where problems were found in the simulation.
getProcesses()
- Method in class modesteditor.core.antlrparser.
ModestParserNew
getProcesses()
- Method in class modesteditor.core.model.
ModestSimulation
getProcesses()
- Method in class modesteditor.core.model.
Process
Returns the child processes
getProcName()
- Method in class modesteditor.core.antlrparser.
ModestAST
getReconciler(ISourceViewer)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
Returns the reconciler that will update the simulation model in response to changes in the editor's document.
getRepresentingLetter()
- Method in class modesteditor.core.stepsimulation.
ParTransition
getResourceBundle()
- Static method in class modesteditor.core.modest.
ModestEditorMessages
getResourceBundle()
- Method in class modesteditor.launch.
ModestLaunchPlugin
Returns the plugin's resource bundle,
getResourceString(String)
- Static method in class modesteditor.launch.
ModestLaunchPlugin
Returns the string from the plugin's resource bundle, or 'key' if not found.
getSim()
- Method in class modesteditor.core.model.
ModestSimulation
Returns the simulation's root Process which is first updated if the document isn't parsed yet.
getSimulation()
- Method in class modesteditor.core.
ModestEditor
Returns the ModestSimulation representing the document in this editor.
getSingleLineCommentStyle()
- Method in class modesteditor.core.util.
ModestTextStyleProvider
getString(String)
- Static method in class modesteditor.core.modest.
ModestEditorMessages
getSymbol()
- Method in class modesteditor.core.antlrparser.
ModestAST
getSymbolType()
- Method in class modesteditor.core.antlrparser.
ModestAST
getTabWidth(ISourceViewer)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
getText(Object)
- Method in class modesteditor.core.
ModestLabelProvider
Returns the text (label) displayed in the outline.
getText(Object)
- Method in class modesteditor.core.stepsimulation.
SimulationLabelProvider
getTextHover(ISourceViewer, String)
- Method in class modesteditor.core.
ModestSourceViewerConfiguration
getTransitions()
- Method in class modesteditor.core.stepsimulation.
ParTransition
getType()
- Method in class modesteditor.core.antlrparser.
Symbol
getType()
- Method in class modesteditor.core.model.
ModestType
getType()
- Method in class modesteditor.core.model.
ModestVariable
Returns the type of the variable.
getTypeKind()
- Method in class modesteditor.core.antlrparser.
ModestAST
In case of a process definition, return the kind (either set, range or struct)
getTypes()
- Method in class modesteditor.core.model.
Process
Returns the child type definitions
getTypeStyle()
- Method in class modesteditor.core.util.
ModestTextStyleProvider
Returns the colour and font style for typedefs in the editor.
getUnUsedVars()
- Method in class modesteditor.core.antlrparser.
ModestParserNew
getVariables()
- Method in class modesteditor.core.model.
ModestSimulation
getVariables()
- Method in class modesteditor.core.model.
Process
Returns the child variables
getVars()
- Method in class modesteditor.core.antlrparser.
ModestParserNew
getView()
- Static method in class modesteditor.core.stepsimulation.
SimulationView
getWarnings()
- Method in class modesteditor.core.model.
ModestSimulation
Returns the warnings for unused variables.
getWeight()
- Method in class modesteditor.core.antlrparser.
ModestAST
getWeight()
- Method in class modesteditor.core.stepsimulation.
Alternative
getWeightSum()
- Method in class modesteditor.core.stepsimulation.
PaltNode
GT
- Static variable in interface modesteditor.core.antlrparser.
ModestParserTokenTypes
GT_OP
- Static variable in interface modesteditor.core.antlrparser.
Lexer_TokenTypes
GT_OP
- Static variable in interface modesteditor.core.antlrparser.
lexerModestVocab_TokenTypes
GT_OP
- Static variable in interface modesteditor.core.antlrparser.
ModestLexer_TokenTypes
GT_OP
- Static variable in interface modesteditor.core.antlrparser.
ModestLexerNewTokenTypes
GT_OP
- Static variable in interface modesteditor.core.antlrparser.
ModestOutlineTreeWalkerTokenTypes
GT_OP
- Static variable in interface modesteditor.core.antlrparser.
ModestSimulationTreeWalkerTokenTypes
GT_OP
- Static variable in interface modesteditor.core.antlrparser.
parserModestVocab_TokenTypes
GTE
- Static variable in interface modesteditor.core.antlrparser.
ModestParserTokenTypes
guard
- Variable in class modesteditor.core.stepsimulation.
SimulationNode
GUARD_AST
- Static variable in interface modesteditor.core.antlrparser.
Modest_TokenTypes
GUARD_AST
- Static variable in interface modesteditor.core.antlrparser.
ModestOutlineTreeWalkerTokenTypes
GUARD_AST
- Static variable in interface modesteditor.core.antlrparser.
ModestSimulationTreeWalkerTokenTypes
GUARD_AST
- Static variable in interface modesteditor.core.antlrparser.
parserModestVocab_TokenTypes
guarded_process()
- Method in class modesteditor.core.antlrparser.
ModestParserNew
Guarded process
guardedProcess()
- Method in class modesteditor.core.antlrparser.
ModestParser
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
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
_