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
 

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