Index (refinery-language 0.1.4-SNAPSHOT API)

A B C D E F G H I L M N O P Q R S T U V W Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

Abstract - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Abstract - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
AbstractProblemRuntimeModule - Class in tools.refinery.language: Manual modifications go to ProblemRuntimeModule.
AbstractProblemRuntimeModule() - Constructor for class tools.refinery.language.AbstractProblemRuntimeModule
AbstractProblemScopeProvider - Class in tools.refinery.language.scoping
AbstractProblemScopeProvider() - Constructor for class tools.refinery.language.scoping.AbstractProblemScopeProvider
AbstractProblemValidator - Class in tools.refinery.language.validation
AbstractProblemValidator() - Constructor for class tools.refinery.language.validation.AbstractProblemValidator
AbstractTermInterpreter - Class in tools.refinery.language.expressions
AbstractTermInterpreter() - Constructor for class tools.refinery.language.expressions.AbstractTermInterpreter
ActionElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ActionElements
ActionTargetCollector - Class in tools.refinery.language.validation
ActionTargetCollector() - Constructor for class tools.refinery.language.validation.ActionTargetCollector
Adapter() - Constructor for class tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
add(Import) - Method in class tools.refinery.language.scoping.imports.ImportCollection
addAggregator(AggregatorName, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addAggregator(AggregatorName, DataExprType, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addAll(Iterable<? extends Import>) - Method in class tools.refinery.language.scoping.imports.ImportCollection
addBinaryOperator(BinaryOp, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addBinaryOperator(BinaryOp, DataExprType, DataExprType, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addCast(DataExprType, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addComparison(DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addExistentiallyQualifiedVariableToScope(EObject, Collection<Variable>) - Method in class tools.refinery.language.scoping.ProblemScopeProvider
AdditiveExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
AdditiveOpElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.AdditiveOpElements
addNegation(DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addNegation(DataExprType, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addOrReplaceDiagnostic(Triple<EObject, EReference, INode>, DiagnosticMessage) - Method in class tools.refinery.language.resource.ProblemResource: Adds a diagnostic message while maintaining the invariant that at most one ProblemResource.ProblemResourceLinkingDiagnostic is added to the ResourceImpl.getErrors() list.
addRange(DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addRootPrefix(QualifiedName) - Static method in class tools.refinery.language.naming.NamingUtil
addSingletonVariableToScope(EObject, Collection<Variable>) - Method in class tools.refinery.language.scoping.ProblemScopeProvider
addUnaryOperator(UnaryOp, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
addUnaryOperator(UnaryOp, DataExprType, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
AggregationExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
Aggregator - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Aggregator - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
AggregatorDeclarationElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.AggregatorDeclarationElements
AggregatorName - Record Class in tools.refinery.language.typesystem
AggregatorName(QualifiedName) - Constructor for record class tools.refinery.language.typesystem.AggregatorName: Creates an instance of a AggregatorName record class.
AggregatorName(QualifiedName, String) - Constructor for record class tools.refinery.language.typesystem.AggregatorName
aliases() - Method in record class tools.refinery.language.scoping.imports.NamedImport: Returns the value of the aliases record component.
alsoImplicit() - Method in record class tools.refinery.language.scoping.imports.NamedImport: Returns the value of the alsoImplicit record component.
AMBIGUOUS_REFERENCE_DIAGNOSTIC - Static variable in class tools.refinery.language.serializer.ProblemCrossReferenceSerializer
AmpersandAmpersand - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
AmpersandAmpersand - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
appendNewLines(IFormattableDocument, ISequentialRegion, Procedures.Procedure1<? super IHiddenRegionFormatter>) - Method in class tools.refinery.language.formatting2.ProblemFormatter
ArithmeticUnaryExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ArithmeticUnaryExprElements
ARITY - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
As - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
As - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
AssertionActionElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
AssertionArgumentElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.AssertionArgumentElements
AssertionElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
AssignmentExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
Asterisk - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Asterisk - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
AsteriskAsterisk - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
AsteriskAsterisk - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Atom - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Atom - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
AtomElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.AtomElements

B

bindAbstractIDValueConverter() - Method in class tools.refinery.language.ProblemRuntimeModule
bindClassLoaderToInstance() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindConfigurableIssueCodesProvider() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindIAllContainersState$Provider() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindIAntlrTokenFileProvider() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindIAstFactory() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIContainer$Manager() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindICrossReferenceSerializer() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIDefaultResourceDescriptionStrategy() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIDerivedStateComputer() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIDiagnosticConverter() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIFormatter2() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindIGlobalScopeProvider() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindIGlobalScopeProvider() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIGrammarAccess() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindILinkingService() - Method in class tools.refinery.language.ProblemRuntimeModule
bindILocationInFileProvider() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIParser() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindIParser() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIQualifiedNameConverter() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIQualifiedNameProvider() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindIQualifiedNameProvider() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIReferenceFinder() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIResourceDescription$Manager() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIResourceValidator() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIScopeProvider() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindISemanticSequencer() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindISemanticSequencer() - Method in class tools.refinery.language.ProblemRuntimeModule
bindISerializer() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindISyntacticSequencer() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindITokenDefProvider() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindITokenToStringConverter() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindITransientValueService() - Method in class tools.refinery.language.ProblemRuntimeModule
bindIUnorderedGroupHelper() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindIValueConverterService() - Method in class tools.refinery.language.ProblemRuntimeModule
bindLexer() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindProblemValidator() - Method in class tools.refinery.language.AbstractProblemRuntimeModule
bindXtextResource() - Method in class tools.refinery.language.ProblemRuntimeModule
BOOLEAN_TYPE - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter
BooleanBinaryOpElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
BooleanExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
BUILTIN_LIBRARY_NAME - Static variable in class tools.refinery.language.library.BuiltinLibrary
BUILTIN_LIBRARY_URI - Static variable in class tools.refinery.language.library.BuiltinLibrary
BuiltinLibrary - Class in tools.refinery.language.library
BuiltinLibrary() - Constructor for class tools.refinery.language.library.BuiltinLibrary
BuiltinSymbols - Class in tools.refinery.language.utils
BuiltinSymbols(Problem) - Constructor for class tools.refinery.language.utils.BuiltinSymbols
BuiltinTermInterpreter - Class in tools.refinery.language.expressions
BuiltinTermInterpreter() - Constructor for class tools.refinery.language.expressions.BuiltinTermInterpreter

C

Candidate - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Candidate - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
CastExprBodyElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
CastExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
checkAssertion(AbstractAssertion) - Method in class tools.refinery.language.validation.ProblemValidator
checkAtom(Atom) - Method in class tools.refinery.language.validation.ProblemValidator
checkContainerOpposite(ReferenceDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator
checkDiagonalParameters(RuleDefinition) - Method in class tools.refinery.language.validation.ProblemValidator
checkImportStatement(ImportStatement) - Method in class tools.refinery.language.validation.ProblemValidator
checkModuleName(Problem) - Method in class tools.refinery.language.validation.ProblemValidator
checkMultiObjectAssertion(Assertion) - Method in class tools.refinery.language.validation.ProblemValidator
checkNodeAssertionArgumentConstants(NodeAssertionArgument) - Method in class tools.refinery.language.validation.ProblemValidator
checkNodeConstants(VariableOrNodeExpr) - Method in class tools.refinery.language.validation.ProblemValidator
checkOpposite(ReferenceDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator
checkParameter(Parameter) - Method in class tools.refinery.language.validation.ProblemValidator
checkPartialReference(ReferenceDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator
checkPredicateDefinition(PredicateDefinition) - Method in class tools.refinery.language.validation.ProblemValidator
checkPredicateSubSetting(PredicateDefinition) - Method in class tools.refinery.language.validation.ProblemValidator
checkRangeMultiplicity(RangeMultiplicity) - Method in class tools.refinery.language.validation.ProblemValidator
checkReferenceMultiplicity(ReferenceDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator
checkReferenceSubSetting(ReferenceDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator
checkReferenceType(ReferenceDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator
checkRuleDefinition(RuleDefinition) - Method in class tools.refinery.language.validation.ProblemValidator
checkRuleParameters(RuleDefinition) - Method in class tools.refinery.language.validation.ProblemValidator
checkSingletonVariable(VariableOrNodeExpr) - Method in class tools.refinery.language.validation.ProblemValidator
checkSupertypes(ClassDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator
checkTypeScope(TypeScope) - Method in class tools.refinery.language.validation.ProblemValidator
checkUniqueDeclarations(Problem) - Method in class tools.refinery.language.validation.ProblemValidator
checkUniqueFeatures(ClassDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator
checkUniqueLiterals(EnumDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator
checkUniqueSimpleNames(Iterable<? extends NamedElement>) - Method in class tools.refinery.language.validation.ProblemValidator
CircumflexAccentCircumflexAccent - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
CircumflexAccentCircumflexAccent - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Class - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Class - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ClassDeclarationElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
ClasspathBasedLibrary - Class in tools.refinery.language.library
ClasspathBasedLibrary(Class<?>, QualifiedName) - Constructor for class tools.refinery.language.library.ClasspathBasedLibrary
ClasspathBasedLibrary(QualifiedName) - Constructor for class tools.refinery.language.library.ClasspathBasedLibrary
collectAssertionNodeNames(Assertion) - Method in class tools.refinery.language.resource.state.NodeNameCollector
collectNodeNames(Problem) - Method in class tools.refinery.language.resource.state.NodeNameCollector
collectStatementNodeNames(Statement) - Method in class tools.refinery.language.resource.state.NodeNameCollector
Colon - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Colon - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ColonColon - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ColonColon - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
COLOR_RELATION - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
COLOR_RELATION_TRUE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
COLOR_TAG - Static variable in class tools.refinery.language.documentation.DocumentationCommentParser
Comma - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Comma - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ComparisonExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
ComparisonOpElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
CompositeTermInterpreter - Class in tools.refinery.language.expressions
CompositeTermInterpreter(List<TermInterpreter>) - Constructor for class tools.refinery.language.expressions.CompositeTermInterpreter
computeAllImports(Resource) - Method in class tools.refinery.language.scoping.imports.ImportCollector
computeDirectImports(Resource) - Method in class tools.refinery.language.scoping.imports.ImportCollector
computeExportedObjects() - Method in class tools.refinery.language.resource.ProblemResourceDescription: Based on DefaultResourceDescription.computeExportedObjects().
computeFullyQualifiedNameFromNameAttribute(EObject) - Method in class tools.refinery.language.naming.ProblemQualifiedNameProvider: A modified version of DefaultDeclarativeQualifiedNameProvider.computeFullyQualifiedNameFromNameAttribute(EObject) that constructs qualified name fragments without invoking IQualifiedNameConverter to avoid applying qualified name escaping rules twice.
computeLoadedImports(Resource) - Method in class tools.refinery.language.scoping.ProblemGlobalScopeProvider
computeLocalImports(Resource) - Method in class tools.refinery.language.scoping.ProblemLocalScopeProvider
computeReferenceCounts(EObject) - Static method in class tools.refinery.language.validation.ReferenceCounter
computeValuesToEscape(Grammar) - Method in class tools.refinery.language.conversion.IDValueConverter
ConcretenessElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements
Concretization - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Concretization - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
configure(Binder) - Method in class tools.refinery.language.AbstractProblemRuntimeModule
configureAbstractMultiLineCommentProvider(Binder) - Method in class tools.refinery.language.ProblemRuntimeModule
configureFileExtensions(Binder) - Method in class tools.refinery.language.AbstractProblemRuntimeModule
configureFormatterPreferences(Binder) - Method in class tools.refinery.language.AbstractProblemRuntimeModule
configureIgnoreCaseLinking(Binder) - Method in class tools.refinery.language.AbstractProblemRuntimeModule
configureIResourceDescriptions(Binder) - Method in class tools.refinery.language.AbstractProblemRuntimeModule
configureIResourceDescriptionsPersisted(Binder) - Method in class tools.refinery.language.AbstractProblemRuntimeModule
configureIScopeProviderDelegate(Binder) - Method in class tools.refinery.language.AbstractProblemRuntimeModule
configureIScopeProviderDelegate(Binder) - Method in class tools.refinery.language.ProblemRuntimeModule
configureLanguageName(Binder) - Method in class tools.refinery.language.AbstractProblemRuntimeModule
configureRuntimeLexer(Binder) - Method in class tools.refinery.language.AbstractProblemRuntimeModule
ConjunctionElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
ConsequentElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
ConstantElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ConstantElements
contained() - Method in class tools.refinery.language.utils.BuiltinSymbols
container() - Method in class tools.refinery.language.utils.BuiltinSymbols
Container - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Container - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
contains() - Method in class tools.refinery.language.utils.BuiltinSymbols
Contains - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Contains - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Count - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Count - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
CountExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.CountExprElements
countReferences(Problem, EObject) - Method in class tools.refinery.language.validation.ReferenceCounter
createAndAddAmbiguousReferenceDiagnostic(Triple<EObject, EReference, INode>) - Method in class tools.refinery.language.resource.ProblemResource
createAndAddDiagnostic(Triple<EObject, EReference, INode>) - Method in class tools.refinery.language.resource.ProblemResource
createAndAddDiagnostic(Triple<EObject, EReference, INode>, IllegalNodeException) - Method in class tools.refinery.language.resource.ProblemResource
createComputedValuePredicateIfAbsent(PredicateDefinition, UnaryOperator<PredicateDefinition>) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
createDiagnostic(Triple<EObject, EReference, INode>, DiagnosticMessage) - Method in class tools.refinery.language.resource.ProblemResource
createEObjectDescriptions(EObject, IAcceptor<IEObjectDescription>) - Method in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
createInjector() - Method in class tools.refinery.language.ProblemStandaloneSetupGenerated
createInjectorAndDoEMFRegistration() - Method in class tools.refinery.language.ProblemStandaloneSetup
createInjectorAndDoEMFRegistration() - Method in class tools.refinery.language.ProblemStandaloneSetupGenerated
createInvalidMultiplicityPredicateIfAbsent(ReferenceDeclaration, Function<ReferenceDeclaration, PredicateDefinition>) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
createLexer(CharStream) - Method in class tools.refinery.language.parser.antlr.ProblemParser
createLexer(CharStream) - Method in class tools.refinery.language.parser.antlr.TokenSourceInjectingProblemParser
createNamedVariable(String) - Method in class tools.refinery.language.resource.state.ImplicitVariableScope
createNewNodeIfAbsent(ClassDeclaration, Function<ClassDeclaration, Node>) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
createNode(String) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
createParser(XtextTokenStream) - Method in class tools.refinery.language.parser.antlr.ProblemParser
createResourceDescription(Resource, IDefaultResourceDescriptionStrategy) - Method in class tools.refinery.language.resource.ProblemResourceDescriptionManager
createScope(IScope, Collection<? extends ISelectable>, EClass, Predicate<IEObjectDescription>, boolean) - Method in class tools.refinery.language.scoping.ProblemGlobalScopeProvider
createScope(IScope, ISelectable, Predicate<IEObjectDescription>, EClass, boolean) - Static method in class tools.refinery.language.scoping.ShadowingKeyAwareSelectableBasedScope
createScope(IScope, ISelectable, EClass, boolean) - Static method in class tools.refinery.language.scoping.ShadowingKeyAwareSelectableBasedScope
createSingletonVariable(VariableOrNodeExpr, String) - Method in class tools.refinery.language.resource.state.ImplicitVariableScope
createVariable(String) - Method in class tools.refinery.language.resource.state.ImplicitVariableScope
createVariables(IScopeProvider, LinkingHelper, IQualifiedNameConverter, Deque<ImplicitVariableScope>) - Method in class tools.refinery.language.resource.state.ImplicitVariableScope
createVariablesForScope(ImplicitVariableScope) - Method in class tools.refinery.language.resource.state.DerivedVariableComputer

D

DataExprType - Record Class in tools.refinery.language.typesystem
DataExprType(QualifiedName) - Constructor for record class tools.refinery.language.typesystem.DataExprType: Creates an instance of a DataExprType record class.
DataExprType(QualifiedName, String) - Constructor for record class tools.refinery.language.typesystem.DataExprType
Datatype - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Datatype - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
DatatypeDeclarationElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.DatatypeDeclarationElements
Decision - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Decision - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Declare - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Declare - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Default - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Default - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
DefiniteMultiplicityElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.DefiniteMultiplicityElements
DELIMITER - Static variable in class tools.refinery.language.naming.ProblemQualifiedNameConverter
DEPRECATED_MODEL_PART - Static variable in class tools.refinery.language.validation.ProblemConfigurableIssueCodesProvider
DerivedVariableComputer - Class in tools.refinery.language.resource.state
DerivedVariableComputer() - Constructor for class tools.refinery.language.resource.state.DerivedVariableComputer
dfa12 - Variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
dfa36 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
dfa4 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
dfa43 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
dfa52 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
dfa57 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
dfa67 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
discardDerivedProblemState(Problem, ProblemDerivedStateComputer.Adapter) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
discardDerivedState(DerivedStateAwareResource) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
discardDerivedVariables(Problem) - Method in class tools.refinery.language.resource.state.DerivedVariableComputer
discardParametricDefinitionState(ParametricDefinition) - Method in class tools.refinery.language.resource.state.DerivedVariableComputer
DocumentationCommentParser - Class in tools.refinery.language.documentation
DocumentationCommentParser() - Constructor for class tools.refinery.language.documentation.DocumentationCommentParser
doGetActionTargets(Problem) - Method in class tools.refinery.language.validation.ActionTargetCollector
doGetTextRegion(EObject, ILocationInFileProviderExtension.RegionDescription) - Method in class tools.refinery.language.resource.ProblemLocationInFileProvider
doProcess(EObject, Predicate<URI>) - Method in class tools.refinery.language.resource.ProblemReferenceFinder
doSetup() - Static method in class tools.refinery.language.ProblemStandaloneSetup
DUPLICATE_NAME_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator

E

emit_CastExprBody_LeftParenthesisKeyword_3_0_a(EObject, ISyntacticSequencerPDAProvider.ISynNavigable, List<INode>) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer: Ambiguous syntax: '('* This ambiguous syntax occurs at: (rule start) (ambiguity) '!' body=UnaryExpr (rule start) (ambiguity) '*' (rule start) (rule start) (ambiguity) 'count' body=UnaryExpr (rule start) (ambiguity) aggregator=[AggregatorDeclaration|QualifiedName] (rule start) (ambiguity) concreteness=Concreteness (rule start) (ambiguity) intValue=INT (rule start) (ambiguity) logicValue=LogicValue (rule start) (ambiguity) modality=Modality (rule start) (ambiguity) op=UnaryOp (rule start) (ambiguity) realValue=Real (rule start) (ambiguity) relation=[Relation|QualifiedName] (rule start) (ambiguity) stringValue=STRING (rule start) (ambiguity) variableOrNode=[VariableOrNode|QualifiedName] (rule start) (ambiguity) {ArithmeticBinaryExpr.left=} (rule start) (ambiguity) {AssignmentExpr.left=} (rule start) (ambiguity) {CastExpr.body=} (rule start) (ambiguity) {ComparisonExpr.left=} (rule start) (ambiguity) {LatticeBinaryExpr.left=} (rule start) (ambiguity) {RangeExpr.left=}
emit_CastExprBody_LeftParenthesisKeyword_3_0_p(EObject, ISyntacticSequencerPDAProvider.ISynNavigable, List<INode>) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer: Ambiguous syntax: '('+ This ambiguous syntax occurs at: (rule start) (ambiguity) '!' body=UnaryExpr (rule start) (ambiguity) 'count' body=UnaryExpr (rule start) (ambiguity) aggregator=[AggregatorDeclaration|QualifiedName] (rule start) (ambiguity) concreteness=Concreteness (rule start) (ambiguity) modality=Modality (rule start) (ambiguity) op=UnaryOp (rule start) (ambiguity) {ArithmeticBinaryExpr.left=} (rule start) (ambiguity) {AssignmentExpr.left=} (rule start) (ambiguity) {CastExpr.body=} (rule start) (ambiguity) {ComparisonExpr.left=} (rule start) (ambiguity) {LatticeBinaryExpr.left=} (rule start) (ambiguity) {RangeExpr.left=}
emit_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__(EObject, ISyntacticSequencerPDAProvider.ISynNavigable, List<INode>) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer: Ambiguous syntax: ('{' '}') | '.' This ambiguous syntax occurs at: name=Identifier (ambiguity) (rule end) superTypes+=[Relation|QualifiedName] (ambiguity) (rule end)
emit_ClassDeclaration_SemicolonKeyword_4_0_1_1_q(EObject, ISyntacticSequencerPDAProvider.ISynNavigable, List<INode>) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer: Ambiguous syntax: ';'? This ambiguous syntax occurs at: featureDeclarations+=ReferenceDeclaration (ambiguity) '}' (rule end) featureDeclarations+=ReferenceDeclaration (ambiguity) featureDeclarations+=ReferenceDeclaration
emit_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q(EObject, ISyntacticSequencerPDAProvider.ISynNavigable, List<INode>) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer: Ambiguous syntax: (',' | ';')? This ambiguous syntax occurs at: literals+=EnumLiteral (ambiguity) '}' (rule end)
emit_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__(EObject, ISyntacticSequencerPDAProvider.ISynNavigable, List<INode>) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer: Ambiguous syntax: ('{' '}') | '.' This ambiguous syntax occurs at: name=Identifier (ambiguity) (rule end)
emit_NodeDeclaration_DeclareKeyword_0_1_0_q(EObject, ISyntacticSequencerPDAProvider.ISynNavigable, List<INode>) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer: Ambiguous syntax: 'declare'? This ambiguous syntax occurs at: (rule start) (ambiguity) kind=NodeKind
emitUnassignedTokens(EObject, ISyntacticSequencerPDAProvider.ISynTransition, INode, INode) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer
EMPTY - Static variable in class tools.refinery.language.scoping.imports.ImportCollection
entryRuleAction() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleAdditiveExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleAggregationExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleAggregatorDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleArithmeticUnaryExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleAssertion() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleAssertionAction() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleAssertionArgument() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleAssignmentExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleAtom() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleBooleanExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleCastExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleCastExprBody() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleClassDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleComparisonExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleConjunction() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleConsequent() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleCountExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleDatatypeDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleDefiniteMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleEnumDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleEnumLiteral() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleExactMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleExponentialExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleIdentifier() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleImportStatement() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleInfiniteConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleIntConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleLatticeExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleLogicConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleModalExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleMultiplicativeExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleNegationExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleNodeAssertionArgument() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleNodeDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleNonContainmentIdentifier() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleNonContainmentQualifiedName() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleParameter() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRulePredicateDefinition() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleProblem() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleQualifiedName() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleRangeExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleRangeMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleReal() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleRealConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleReferenceDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleReferenceMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleRuleDefinition() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleScopeDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleShortLogicConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleStatement() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleStringConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleTypeScope() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleUnaryExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleUnboundedMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleUpperBound() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleVariableOrNodeExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
entryRuleWildcardAssertionArgument() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Enum - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Enum - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
EnumDeclarationElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
EnumLiteralElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.EnumLiteralElements
EOF - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
EOF - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
equals() - Method in class tools.refinery.language.utils.BuiltinSymbols
equals(Object) - Method in record class tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.scoping.imports.NamedImport: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.scoping.imports.TransitiveImport: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.scoping.ProblemGlobalScopeProvider.LoadedImports: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.typesystem.AggregatorName: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.typesystem.DataExprType: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.typesystem.Signature: Indicates whether some other object is "equal to" this one.
EqualsSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
EqualsSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
EqualsSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
EqualsSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
EqualsSignEqualsSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
EqualsSignEqualsSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
EqualsSignEqualsSignGreaterThanSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
EqualsSignEqualsSignGreaterThanSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Error - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Error - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ERROR_PREDICATE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
ERROR_PREDICATE_TRUE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
ErrorPredicateKindElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ErrorPredicateKindElements
ExactMultiplicityElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ExactMultiplicityElements
ExclamationMark - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ExclamationMark - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ExclamationMarkEqualsSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ExclamationMarkEqualsSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ExclamationMarkEqualsSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ExclamationMarkEqualsSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
exists() - Method in class tools.refinery.language.utils.BuiltinSymbols
explicit(URI, QualifiedName, List<QualifiedName>) - Static method in record class tools.refinery.language.scoping.imports.NamedImport
explicitImports() - Method in record class tools.refinery.language.scoping.ProblemGlobalScopeProvider.LoadedImports: Returns the value of the explicitImports record component.
ExponentialExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
ExponentialOpElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ExponentialOpElements
ExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ExprElements
ExprType - Interface in tools.refinery.language.typesystem
Extends - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Extends - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Extern - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Extern - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

F

False - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
False - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
FILE_NAME_SUFFIX - Static variable in interface tools.refinery.language.library.RefineryLibrary
FixedType - Interface in tools.refinery.language.typesystem
FOLLOW_1 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_10 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_11 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_12 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_13 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_14 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_15 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_16 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_17 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_18 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_19 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_2 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_20 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_21 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_22 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_23 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_24 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_25 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_26 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_27 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_28 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_29 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_3 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_30 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_31 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_32 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_33 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_34 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_35 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_36 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_37 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_38 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_39 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_4 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_40 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_41 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_42 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_43 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_44 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_45 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_46 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_47 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_48 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_49 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_5 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_50 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_51 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_52 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_53 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_54 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_55 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_56 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_57 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_58 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_59 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_6 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_60 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_61 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_62 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_7 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_8 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FOLLOW_9 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
format(Assertion, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
format(Atom, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
format(ClassDeclaration, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
format(Conjunction, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
format(EnumDeclaration, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
format(NegationExpr, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
format(NodeDeclaration, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
format(Parameter, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
format(PredicateDefinition, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
format(Problem, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
formatList(ISemanticRegionsFinder, String, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
formatParenthesizedList(ISemanticRegionsFinder, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter
FullStop - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FullStop - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
FullStopFullStop - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
FullStopFullStop - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

G

getAbstractAbstractKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getAbstractAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getActionAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getActionRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getActionsActionParserRuleCall_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
getActionsActionParserRuleCall_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
getActionsAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
getActionsAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
getActionTargets(Problem) - Method in class tools.refinery.language.validation.ActionTargetCollector
getActualType() - Method in interface tools.refinery.language.typesystem.ExprType
getActualType() - Method in interface tools.refinery.language.typesystem.FixedType
getActualType() - Method in class tools.refinery.language.typesystem.MutableType
getAdapter(ResourceSet) - Static method in class tools.refinery.language.scoping.imports.ImportAdapterProvider
getADDEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveOpElements
getAdditiveExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAdditiveExprParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
getAdditiveExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAdditiveOpAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAdditiveOpRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getADDPlusSignKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveOpElements
getAggregationExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAggregationExprParserRuleCall_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
getAggregationExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAggregationType(AggregatorName, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
getAggregationType(AggregatorName, DataExprType) - Method in class tools.refinery.language.expressions.CompositeTermInterpreter
getAggregationType(AggregatorName, DataExprType) - Method in interface tools.refinery.language.expressions.TermInterpreter
getAggregatorAggregatorDeclarationCrossReference_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getAggregatorAggregatorDeclarationQualifiedNameParserRuleCall_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getAggregatorAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getAggregatorDeclarationAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAggregatorDeclarationParserRuleCall_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getAggregatorDeclarationRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAggregatorKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregatorDeclarationElements
getAggregatorKeyword_7() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getAggregatorName(AggregatorDeclaration) - Method in class tools.refinery.language.typesystem.SignatureProvider
getAliasAssignment_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getAliasIDTerminalRuleCall_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getAllImports(Resource) - Method in class tools.refinery.language.scoping.imports.ImportCollector
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveOpElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionArgumentElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConstantElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DefiniteMultiplicityElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeBinaryOpElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalityElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModuleKindElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeOpElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicityElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeKindElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterBindingElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicValueElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements
getAlternatives() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UpperBoundElements
getAlternatives_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getAlternatives_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getAlternatives_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getAlternatives_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getAlternatives_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getAlternatives_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getAlternatives_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getAlternatives_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements
getAlternatives_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getAlternatives_2_0_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getAlternatives_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getANDAmpersandAmpersandKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
getANDEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
getAntlrTokenFile() - Method in class tools.refinery.language.parser.antlr.ProblemAntlrTokenFileProvider
getANY_OTHERRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getArgumentsAssertionArgumentParserRuleCall_0_2_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getArgumentsAssertionArgumentParserRuleCall_0_2_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getArgumentsAssertionArgumentParserRuleCall_1_0_2_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getArgumentsAssertionArgumentParserRuleCall_1_0_2_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getArgumentsAssertionArgumentParserRuleCall_1_1_3_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getArgumentsAssertionArgumentParserRuleCall_1_1_3_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getArgumentsAssertionArgumentParserRuleCall_1_3_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getArgumentsAssertionArgumentParserRuleCall_1_3_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getArgumentsAssignment_0_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getArgumentsAssignment_0_2_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getArgumentsAssignment_1_0_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getArgumentsAssignment_1_0_2_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getArgumentsAssignment_1_1_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getArgumentsAssignment_1_1_3_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getArgumentsAssignment_1_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getArgumentsAssignment_1_3_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getArgumentsAssignment_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getArgumentsAssignment_3_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getArgumentsExprParserRuleCall_3_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getArgumentsExprParserRuleCall_3_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getArithmeticBinaryExprLeftAction_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
getArithmeticBinaryExprLeftAction_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
getArithmeticBinaryExprLeftAction_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
getArithmeticBinaryExprLeftAction_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
getArithmeticUnaryExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getArithmeticUnaryExprParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
getArithmeticUnaryExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getArity(Relation) - Method in class tools.refinery.language.typesystem.SignatureProvider
getArityWithoutProxyResolution(Relation) - Static method in class tools.refinery.language.utils.ProblemUtil
getAsKeyword_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
getAsKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getAssertionAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAssertionActionAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAssertionActionParserRuleCall() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ActionElements
getAssertionActionRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAssertionArgumentAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAssertionArgumentRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAssertionParserRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getAssertionRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAssignmentExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAssignmentExprLeftAction_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
getAssignmentExprParserRuleCall() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExprElements
getAssignmentExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAsteriskKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.InfiniteConstantElements
getAsteriskKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UpperBoundElements
getAsteriskKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.WildcardAssertionArgumentElements
getAtomAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getATOMAtomKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeKindElements
getATOMEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeKindElements
getAtomKeyword_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getAtomParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
getAtomRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getAutomaticImports() - Method in class tools.refinery.language.library.BuiltinLibrary
getAutomaticImports() - Method in interface tools.refinery.language.library.RefineryLibrary
getBinaryOperationType(BinaryOp, DataExprType, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
getBinaryOperationType(BinaryOp, DataExprType, DataExprType) - Method in class tools.refinery.language.expressions.CompositeTermInterpreter
getBinaryOperationType(BinaryOp, DataExprType, DataExprType) - Method in interface tools.refinery.language.expressions.TermInterpreter
getBindingAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
getBindingParameterBindingEnumRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
getBodiesAssignment_6_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getBodiesAssignment_6_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getBodiesConjunctionParserRuleCall_6_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getBodiesConjunctionParserRuleCall_6_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getBodyAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ArithmeticUnaryExprElements
getBodyAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CountExprElements
getBodyAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getBodyAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NegationExprElements
getBodyUnaryExprParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ArithmeticUnaryExprElements
getBodyUnaryExprParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CountExprElements
getBodyUnaryExprParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getBodyUnaryExprParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NegationExprElements
getBooleanBinaryOpAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getBooleanBinaryOpRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getBooleanExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getBooleanExprParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
getBooleanExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getBuiltinProblem() - Method in class tools.refinery.language.scoping.imports.ImportAdapter
getBuiltinSymbols() - Method in class tools.refinery.language.scoping.imports.ImportAdapter
getBuiltinSymbols(EObject) - Method in class tools.refinery.language.scoping.imports.ImportAdapterProvider
getBuiltinSymbols(Resource) - Method in class tools.refinery.language.scoping.imports.ImportAdapterProvider
getCANDIDATECandidateKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements
getCANDIDATEEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements
getCastExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getCastExprBodyAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getCastExprBodyAction_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
getCastExprBodyParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
getCastExprBodyRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getCastExprParserRuleCall_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
getCastExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getClassDeclarationAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getClassDeclarationParserRuleCall_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getClassDeclarationRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getClassKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getColonColonKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements
getColonColonKeyword_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getColonKeyword_0_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getColonKeyword_1_0_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getCommaKeyword_0_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getCommaKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
getCommaKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
getCommaKeyword_1_0_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getCommaKeyword_1_1_3_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getCommaKeyword_1_3_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getCommaKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getCommaKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getCommaKeyword_2_0_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getCommaKeyword_2_0_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getCommaKeyword_3_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getCommaKeyword_3_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getCommaKeyword_3_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getCommaKeyword_3_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getCommaKeyword_4_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getCommaKeyword_5_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getComparisonExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getComparisonExprLeftAction_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
getComparisonExprParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
getComparisonExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getComparisonOpAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getComparisonOpRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getConcretenessAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getConcretenessAssignment_0_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getConcretenessAssignment_0_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getConcretenessConcretenessEnumRuleCall_0_0_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getConcretenessConcretenessEnumRuleCall_0_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getConcretenessRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getCONCRETIZATIONConcretizationKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
getCONCRETIZATIONEnumLiteralDeclaration_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
getConcretizationKeyword_10() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getConditionAssignment_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getConditionComparisonExprParserRuleCall_4_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getConjunctionAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getConjunctionRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getConsequentAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getConsequentRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getConsequentsAssignment_7_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getConsequentsAssignment_7_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getConsequentsConsequentParserRuleCall_7_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getConsequentsConsequentParserRuleCall_7_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getConstantAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getConstantParserRuleCall_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
getConstantRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getCONTAINERContainerKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getCONTAINEREnumLiteralDeclaration_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getContainerKeyword_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements
getCONTAINMENTContainsKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getCONTAINMENTEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getContainmentKeywords() - Method in class tools.refinery.language.parser.antlr.IdentifierTokenProvider
getContainsKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements
getCountExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getCountExprParserRuleCall_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
getCountExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getCountKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CountExprElements
getCrossReferenceNameFromScope(EObject, CrossReference, EObject, IScope, ISerializationDiagnostic.Acceptor) - Method in class tools.refinery.language.serializer.ProblemCrossReferenceSerializer
getDataType(DatatypeDeclaration) - Method in class tools.refinery.language.typesystem.SignatureProvider
getDatatypeDeclarationAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getDatatypeDeclarationParserRuleCall_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getDatatypeDeclarationRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getDatatypeKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DatatypeDeclarationElements
getDatatypeKeyword_6() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getDECISIONDecisionKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
getDECISIONEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
getDecisionKeyword_8() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getDeclareKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getDeclareKeyword_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getDefaultAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getDefaultDefaultKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getDefaultModuleKind(URI) - Static method in class tools.refinery.language.utils.ProblemUtil
getDefaultModuleKind(Problem) - Static method in class tools.refinery.language.utils.ProblemUtil
getDefaultRuleName() - Method in class tools.refinery.language.parser.antlr.ProblemParser
getDefiniteMultiplicityAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getDefiniteMultiplicityParserRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicityElements
getDefiniteMultiplicityRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getDiagnostics() - Method in class tools.refinery.language.typesystem.TypedModule
getDirectImports(Resource) - Method in class tools.refinery.language.scoping.imports.ImportCollector
getDIVEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeOpElements
getDIVSolidusKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeOpElements
getEnumDeclarationAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getEnumDeclarationParserRuleCall_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getEnumDeclarationRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getEnumKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getEnumLiteralAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getEnumLiteralRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getEObject(String, Triple<EObject, EReference, INode>) - Method in class tools.refinery.language.resource.ProblemResource: Tries to resolve a reference and emits a diagnostic if the reference is unresolvable or ambiguous.
getEPackages() - Method in class tools.refinery.language.validation.AbstractProblemValidator
getEQEnumLiteralDeclaration_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getEQEqualsSignEqualsSignEqualsSignKeyword_4_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getEqualsSignEqualsSignGreaterThanSignKeyword_7_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getEqualsSignKeyword_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getERROREnumLiteralDeclaration() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ErrorPredicateKindElements
getERROREnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
getERROREnumLiteralDeclaration_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getERRORErrorKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ErrorPredicateKindElements
getERRORErrorKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
getERRORErrorKeyword_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getErrorPredicateKindAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getErrorPredicateKindRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getExactMultiplicityAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getExactMultiplicityParserRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DefiniteMultiplicityElements
getExactMultiplicityRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getExactValueAssignment() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExactMultiplicityElements
getExactValueINTTerminalRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExactMultiplicityElements
getExclamationMarkKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NegationExprElements
getExponentialExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getExponentialExprParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
getExponentialExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getExponentialOpAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getExponentialOpRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getEXPONENTIALRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getEXPONENTIALTerminalRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements
getEXPONENTIALTerminalRuleCall_1_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements
getExportedObjects() - Method in class tools.refinery.language.scoping.NoFullyQualifiedNamesSelectable
getExportedObjects(EClass, QualifiedName, boolean) - Method in class tools.refinery.language.scoping.NoFullyQualifiedNamesSelectable
getExportedObjectsByObject(EObject) - Method in class tools.refinery.language.scoping.NoFullyQualifiedNamesSelectable
getExportedObjectsByType(EClass) - Method in class tools.refinery.language.scoping.NoFullyQualifiedNamesSelectable
getExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getExpressionType(Expr) - Method in class tools.refinery.language.typesystem.TypedModule
getExprParserRuleCall_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
getExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getExtendsKeyword_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getExternKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregatorDeclarationElements
getExternKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DatatypeDeclarationElements
getFALSEEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicValueElements
getFALSEEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getFALSEExclamationMarkKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicValueElements
getFALSEFalseKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getFeatureDeclarationsAssignment_4_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getFeatureDeclarationsReferenceDeclarationParserRuleCall_4_0_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getFirstRuleName() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
getFOCUSEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterBindingElements
getFOCUSPlusSignKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterBindingElements
getFullStopFullStopKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeMultiplicityElements
getFullStopFullStopKeyword_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
getFullStopKeyword_0_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getFullStopKeyword_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements
getFullStopKeyword_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getFullStopKeyword_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getFullStopKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregatorDeclarationElements
getFullStopKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DatatypeDeclarationElements
getFullStopKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getFullStopKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getFullStopKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getFullStopKeyword_4_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getFullStopKeyword_7() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getFullStopKeyword_8() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getGrammar() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getGrammarAccess() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
getGrammarAccess() - Method in class tools.refinery.language.parser.antlr.ProblemParser
getGrammarFileName() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
getGrammarFileName() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
getGREATER_EQEnumLiteralDeclaration_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getGREATER_EQGreaterThanSignEqualsSignKeyword_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getGREATEREnumLiteralDeclaration_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getGREATERGreaterThanSignKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregatorDeclarationElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ArithmeticUnaryExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CountExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DatatypeDeclarationElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.InfiniteConstantElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NegationExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeMultiplicityElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceMultiplicityElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicConstantElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.WildcardAssertionArgumentElements
getGroup_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getGroup_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getGroup_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getGroup_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getGroup_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getGroup_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getGroup_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getGroup_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getGroup_0_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getGroup_0_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements
getGroup_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getGroup_1_0_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getGroup_1_0_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getGroup_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getGroup_1_1_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getGroup_1_1_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getGroup_1_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getGroup_1_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getGroup_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getGroup_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getGroup_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements
getGroup_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getGroup_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getGroup_2_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getGroup_2_0_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getGroup_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getGroup_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
getGroup_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getGroup_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getGroup_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getGroup_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getGroup_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getGroup_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getGroup_3_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getGroup_3_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getGroup_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getGroup_4_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getGroup_4_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getGroup_4_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getGroup_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getGroup_5_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getGroup_6() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getGroup_6() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getGroup_6_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getGroup_6_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getGroup_7() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getGroup_7_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getIdentifierAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getIdentifierKeywords() - Method in class tools.refinery.language.parser.antlr.IdentifierTokenProvider
getIdentifierParserRuleCall_0_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getIdentifierParserRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements
getIdentifierParserRuleCall_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getIdentifierParserRuleCall_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements
getIdentifierRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getIDRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getIDTerminalRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getImportedModuleAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getImportedModuleProblemCrossReference_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getImportedModuleProblemQualifiedNameParserRuleCall_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getImportKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getImports(IEObjectDescription) - Method in class tools.refinery.language.scoping.imports.ImportCollector
getImportStatementAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getImportStatementParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getImportStatementRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getIncrementAssignment_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getIncrementPlusSignEqualsSignKeyword_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getINEnumLiteralDeclaration_6() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getInfiniteConstantAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getInfiniteConstantAction_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.InfiniteConstantElements
getInfiniteConstantParserRuleCall_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConstantElements
getInfiniteConstantRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getINInKeyword_6_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getIntConstantAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getIntConstantParserRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConstantElements
getIntConstantRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getINTRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getINTTerminalRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UpperBoundElements
getINTTerminalRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements
getINTTerminalRuleCall_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements
getIntValueAssignment() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IntConstantElements
getIntValueINTTerminalRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IntConstantElements
getIsKeyword_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
getJOINEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeBinaryOpElements
getJOINReverseSolidusSolidusKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeBinaryOpElements
getKindAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getKindAssignment_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getKindAssignment_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getKindAssignment_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getKindAssignment_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getKindAssignment_0_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getKindErrorPredicateKindEnumRuleCall_0_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getKindModuleKindEnumRuleCall_0_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getKindNodeKindEnumRuleCall_0_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getKindPredicateKindEnumRuleCall_0_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getKindReferenceKindEnumRuleCall_0_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getKindRuleKindEnumRuleCall_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getLatticeBinaryExprLeftAction_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
getLatticeBinaryOpAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getLatticeBinaryOpRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getLatticeExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getLatticeExprParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
getLatticeExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getLeftCurlyBracketKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getLeftCurlyBracketKeyword_2_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getLeftCurlyBracketKeyword_4_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getLeftParenthesisKeyword_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getLeftParenthesisKeyword_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getLeftParenthesisKeyword_1_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getLeftParenthesisKeyword_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getLeftParenthesisKeyword_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getLeftParenthesisKeyword_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getLeftParenthesisKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getLeftParenthesisKeyword_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
getLeftSquareBracketKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceMultiplicityElements
getLESS_EQEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getLESS_EQLessThanSignEqualsSignKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getLESSEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getLESSLessThanSignKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getLessThanSignHyphenMinusGreaterThanSignKeyword_6_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getLessThanSignHyphenMinusGreaterThanSignKeyword_6_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getLibraries() - Method in class tools.refinery.language.scoping.imports.ImportAdapter
getLibraryPaths() - Method in class tools.refinery.language.scoping.imports.ImportAdapter
getLibraryUri(Class<?>, QualifiedName) - Static method in class tools.refinery.language.library.ClasspathBasedLibrary
getLinkedObjects(EObject, EReference, INode) - Method in class tools.refinery.language.linking.ProblemLinkingService
getLiteralsAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
getLiteralsAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
getLiteralsAssignment_2_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getLiteralsAssignment_2_0_1_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getLiteralsEnumLiteralParserRuleCall_2_0_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getLiteralsEnumLiteralParserRuleCall_2_0_1_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getLiteralsExprParserRuleCall_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
getLiteralsExprParserRuleCall_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
getLocationData(EObject, EStructuralFeature, int) - Method in class tools.refinery.language.validation.ProblemDiagnosticConverter
getLogicConstantAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getLogicConstantAction_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicConstantElements
getLogicConstantParserRuleCall_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConstantElements
getLogicConstantRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getLogicValueAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getLogicValueAssignment() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicConstantElements
getLogicValueAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicConstantElements
getLogicValueLogicValueEnumRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicConstantElements
getLogicValueRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getLogicValueShortLogicValueEnumRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicConstantElements
getLONEEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterBindingElements
getLONEQuestionMarkKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterBindingElements
getLookUp() - Method in class tools.refinery.language.resource.ProblemResourceDescription
getLowerBoundAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeMultiplicityElements
getLowerBoundINTTerminalRuleCall_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeMultiplicityElements
getMAYEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalityElements
getMAYMayKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalityElements
getMEETEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeBinaryOpElements
getMEETSolidusReverseSolidusKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeBinaryOpElements
getMINUSEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements
getMINUSHyphenMinusKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements
getML_COMMENTRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getModalExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getModalExprParserRuleCall_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
getModalExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getModalityAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getModalityAssignment_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getModalityAssignment_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getModalityModalityEnumRuleCall_0_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getModalityModalityEnumRuleCall_0_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getModalityRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getMODULEEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModuleKindElements
getModuleKeyword_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getModuleKindAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getModuleKindRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getMODULEModuleKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModuleKindElements
getMULAsteriskKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeOpElements
getMULEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeOpElements
getMULTIAsteriskKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterBindingElements
getMULTIEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeKindElements
getMULTIEnumLiteralDeclaration_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterBindingElements
getMultiKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getMULTIMultiKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeKindElements
getMultiplicativeExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getMultiplicativeExprParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
getMultiplicativeExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getMultiplicativeOpAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getMultiplicativeOpRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getMultiplicityAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getMultiplicityAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getMultiplicityAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getMultiplicityDefiniteMultiplicityParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getMultiplicityParserRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceMultiplicityElements
getMultiplicityReferenceMultiplicityParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getMultiplicityRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getMUSTEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalityElements
getMUSTMustKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalityElements
getNameAsQualifiedName(EObject) - Method in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
getNameAssignment() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumLiteralElements
getNameAssignment_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getNameAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getNameAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getNameAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregatorDeclarationElements
getNameAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getNameAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DatatypeDeclarationElements
getNameAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
getNameAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getNameAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getNameIdentifierParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumLiteralElements
getNameIdentifierParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getNameIdentifierParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getNameIdentifierParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregatorDeclarationElements
getNameIdentifierParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getNameIdentifierParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DatatypeDeclarationElements
getNameIdentifierParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
getNameIdentifierParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getNameIdentifierParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getNameQualifiedNameParserRuleCall_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getNegationExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNegationExprParserRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
getNegationExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNegationType(DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
getNegationType(DataExprType) - Method in class tools.refinery.language.expressions.CompositeTermInterpreter
getNegationType(DataExprType) - Method in interface tools.refinery.language.expressions.TermInterpreter
getNODE_EQEnumLiteralDeclaration_7() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getNODE_EQEqualsSignEqualsSignKeyword_7_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getNODE_NOT_EQEnumLiteralDeclaration_8() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getNODE_NOT_EQExclamationMarkEqualsSignKeyword_8_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getNodeAssertionArgumentAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNodeAssertionArgumentParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionArgumentElements
getNodeAssertionArgumentRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNodeAssignment() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeAssertionArgumentElements
getNodeDeclarationAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNodeDeclarationParserRuleCall_9() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getNodeDeclarationRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNodeKindAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNodeKindRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNodeNames() - Method in class tools.refinery.language.resource.state.NodeNameCollector
getNodeNodeCrossReference_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeAssertionArgumentElements
getNodeNodeQualifiedNameParserRuleCall_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeAssertionArgumentElements
getNodesAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getNodesAssignment_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getNodesEnumLiteralParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getNodesEnumLiteralParserRuleCall_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getNodesScope(EObject, IScope) - Method in class tools.refinery.language.scoping.ProblemScopeProvider
getNodeTextRegion(Node, ILocationInFileProviderExtension.RegionDescription) - Method in class tools.refinery.language.resource.ProblemLocationInFileProvider
getNonContainmentIdentifierAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNonContainmentIdentifierParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements
getNonContainmentIdentifierParserRuleCall_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getNonContainmentIdentifierRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNonContainmentQualifiedNameAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNonContainmentQualifiedNameRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getNOT_EQEnumLiteralDeclaration_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getNOT_EQExclamationMarkEqualsSignEqualsSignKeyword_5_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getOpAdditiveOpEnumRuleCall_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
getOpAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ArithmeticUnaryExprElements
getOpAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
getOpAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
getOpAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
getOpAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
getOpAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
getOpAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
getOpBooleanBinaryOpEnumRuleCall_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
getOpComparisonOpEnumRuleCall_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
getOpExponentialOpEnumRuleCall_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
getOpLatticeBinaryOpEnumRuleCall_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
getOpMultiplicativeOpEnumRuleCall_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
getOppositeAssignment_3_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getOppositeKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements
getOppositeKeyword_3_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getOppositeReferenceDeclarationCrossReference_3_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getOppositeReferenceDeclarationQualifiedNameParserRuleCall_3_0_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getOppositeScope(EObject) - Method in class tools.refinery.language.scoping.ProblemScopeProvider
getOpUnaryOpEnumRuleCall_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ArithmeticUnaryExprElements
getOrComputeReferenceCounts(Problem) - Method in class tools.refinery.language.validation.ReferenceCounter
getOrComputeTypes(Problem) - Method in class tools.refinery.language.typesystem.ProblemTypeAnalyzer
getOREnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
getOrInstall(EObject) - Method in class tools.refinery.language.scoping.imports.ImportAdapterProvider
getOrInstall(Resource) - Method in class tools.refinery.language.scoping.imports.ImportAdapterProvider
getOrInstall(ResourceSet) - Method in class tools.refinery.language.scoping.imports.ImportAdapterProvider
getOrInstallAdapter(Resource) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
getORVerticalLineVerticalLineKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
getParameterAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getParameterBindingAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getParameterBindingRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getParameterRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getParametersAssignment_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getParametersAssignment_3_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getParametersAssignment_4_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getParametersAssignment_4_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getParametersParameterParserRuleCall_3_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getParametersParameterParserRuleCall_3_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getParametersParameterParserRuleCall_4_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getParametersParameterParserRuleCall_4_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getParameterTypeAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
getParameterTypeRelationCrossReference_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
getParameterTypeRelationQualifiedNameParserRuleCall_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
getPARTIALEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements
getPARTIALEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
getPARTIALEnumLiteralDeclaration_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getPARTIALPartialKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements
getPARTIALPartialKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
getPARTIALPartialKeyword_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getPLUSEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements
getPLUSPlusSignKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements
getPOWAsteriskAsteriskKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialOpElements
getPOWEnumLiteralDeclaration() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialOpElements
getPreconditionsAssignment_6_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getPreconditionsAssignment_6_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getPreconditionsConjunctionParserRuleCall_6_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getPreconditionsConjunctionParserRuleCall_6_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getPredicateDefinitionAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getPredicateDefinitionParserRuleCall_6() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getPredicateDefinitionRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getPredicateKindAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getPredicateKindRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getPredKeyword_0_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getProblem(Resource) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
getProblemAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getPROBLEMEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModuleKindElements
getProblemKeyword_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getPROBLEMProblemKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModuleKindElements
getProblemQualifiedName(Problem) - Method in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
getProblemRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getPROPAGATIONEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
getPropagationKeyword_9() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getPROPAGATIONPropagationKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
getQUALIFIED_NAME_SEPARATORRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getQUALIFIED_NAME_SEPARATORTerminalRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getQUALIFIED_NAME_SEPARATORTerminalRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements
getQualifiedName(URI) - Method in class tools.refinery.language.scoping.imports.ImportAdapter
getQualifiedName(URI, List<Path>) - Method in class tools.refinery.language.library.ClasspathBasedLibrary
getQualifiedName(URI, List<Path>) - Method in class tools.refinery.language.library.PathLibrary
getQualifiedName(URI, List<Path>) - Method in interface tools.refinery.language.library.RefineryLibrary
getQualifiedNameAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getQualifiedNameRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getQUOTED_IDRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getQUOTED_IDTerminalRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getRangeExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRangeExprLeftAction_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
getRangeExprParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
getRangeExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRangeMultiplicityAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRangeMultiplicityParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DefiniteMultiplicityElements
getRangeMultiplicityRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRealAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRealConstantAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRealConstantParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConstantElements
getRealConstantRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRealRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRealValueAssignment() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealConstantElements
getRealValueRealParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealConstantElements
getReferenceDeclarationAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getReferenceDeclarationRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getREFERENCEEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getReferenceKindAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getReferenceKindRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getReferenceMultiplicityAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getReferenceMultiplicityRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getREFERENCERefersKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getReferenceTypeAssignment_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getReferenceTypeAssignment_0_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getReferenceTypeRelationCrossReference_0_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getReferenceTypeRelationCrossReference_0_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getReferenceTypeRelationNonContainmentQualifiedNameParserRuleCall_0_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getReferenceTypeRelationQualifiedNameParserRuleCall_0_1_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getRelationAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getRelationAssignment_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getRelationAssignment_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getRelationAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getRelationAssignment_1_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getRelationRelationCrossReference_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getRelationRelationCrossReference_0_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getRelationRelationCrossReference_1_0_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getRelationRelationCrossReference_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getRelationRelationCrossReference_1_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getRelationRelationQualifiedNameParserRuleCall_0_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getRelationRelationQualifiedNameParserRuleCall_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getRelationRelationQualifiedNameParserRuleCall_1_0_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getRelationRelationQualifiedNameParserRuleCall_1_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getRelationRelationQualifiedNameParserRuleCall_1_1_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getResourceDescription(URI) - Method in class tools.refinery.language.resource.LoadOnDemandResourceDescriptionProvider
getRightAdditiveExprParserRuleCall_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
getRightAssignment_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
getRightAssignment_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
getRightAssignment_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
getRightAssignment_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
getRightAssignment_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
getRightAssignment_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
getRightAssignment_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
getRightAssignment_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
getRightBooleanExprParserRuleCall_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
getRightComparisonExprParserRuleCall_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
getRightCurlyBracketKeyword_2_0_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getRightCurlyBracketKeyword_4_0_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getRightCurlyBracketKeyword_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getRightExponentialExprParserRuleCall_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
getRightExponentialExprParserRuleCall_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
getRightLatticeExprParserRuleCall_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
getRightMultiplicativeExprParserRuleCall_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
getRightParenthesisKeyword_0_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getRightParenthesisKeyword_1_0_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getRightParenthesisKeyword_1_1_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getRightParenthesisKeyword_1_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getRightParenthesisKeyword_3_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
getRightParenthesisKeyword_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getRightParenthesisKeyword_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getRightParenthesisKeyword_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getRightSquareBracketKeyword_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceMultiplicityElements
getRightUnaryExprParserRuleCall_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ActionElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveOpElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregatorDeclarationElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ArithmeticUnaryExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionArgumentElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssignmentExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ComparisonOpElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConjunctionElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConsequentElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConstantElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CountExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DatatypeDeclarationElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.DefiniteMultiplicityElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumLiteralElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ErrorPredicateKindElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExactMultiplicityElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExponentialOpElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.InfiniteConstantElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IntConstantElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeBinaryOpElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicConstantElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModalityElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ModuleKindElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeOpElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicityElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NegationExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeAssertionArgumentElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeKindElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterBindingElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeMultiplicityElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealConstantElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceMultiplicityElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicConstantElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicValueElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StringConstantElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnboundedMultiplicityElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UpperBoundElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.VariableOrNodeExprElements
getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.WildcardAssertionArgumentElements
getRuleDefinitionAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRuleDefinitionParserRuleCall_7() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getRuleDefinitionRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRuleKeyword_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getRuleKindAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getRuleKindRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getScope(EObject, EReference) - Method in class tools.refinery.language.scoping.ProblemLocalScopeProvider
getScope(EObject, EReference) - Method in class tools.refinery.language.scoping.ProblemScopeProvider
getScope(Resource, boolean, EClass, Predicate<IEObjectDescription>) - Method in class tools.refinery.language.scoping.ProblemGlobalScopeProvider
getScopeDeclarationAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getScopeDeclarationParserRuleCall_8() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
getScopeDeclarationRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getScopeKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getSemicolonKeyword_2_0_1_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumDeclarationElements
getSemicolonKeyword_4_0_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getSemicolonKeyword_6_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getSemicolonKeyword_6_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getSemicolonKeyword_7_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
getSHADOWEnumLiteralDeclaration_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
getShadowingKey(IEObjectDescription) - Static method in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
getShadowKeyword_11() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
getSHADOWShadowKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
getShortLogicConstantAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getShortLogicConstantRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getShortLogicValueAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getShortLogicValueRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getSignature(Relation) - Method in class tools.refinery.language.typesystem.SignatureProvider
getSL_COMMENTRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getSourceName() - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
getStatementAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getStatementRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getStatementsAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getStatementsStatementParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
getStringConstantAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getStringConstantParserRuleCall_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConstantElements
getStringConstantRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getSTRINGRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getStringValueAssignment() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StringConstantElements
getStringValueSTRINGTerminalRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StringConstantElements
getSUBEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveOpElements
getSUBHyphenMinusKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AdditiveOpElements
getSubsetsKeyword_3_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getSubsetsKeyword_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements
getSubsetsKeyword_5_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getSuperSetsAssignment_3_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getSuperSetsAssignment_3_1_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getSuperSetsAssignment_5_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getSuperSetsAssignment_5_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getSuperSetsReferenceDeclarationCrossReference_3_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getSuperSetsReferenceDeclarationCrossReference_3_1_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getSuperSetsReferenceDeclarationCrossReference_5_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getSuperSetsReferenceDeclarationCrossReference_5_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getSuperSetsReferenceDeclarationQualifiedNameParserRuleCall_3_1_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getSuperSetsReferenceDeclarationQualifiedNameParserRuleCall_3_1_2_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getSuperSetsReferenceDeclarationQualifiedNameParserRuleCall_5_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getSuperSetsReferenceDeclarationQualifiedNameParserRuleCall_5_2_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
getSuperTypesAssignment_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getSuperTypesAssignment_3_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getSuperTypesRelationCrossReference_3_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getSuperTypesRelationCrossReference_3_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getSuperTypesRelationQualifiedNameParserRuleCall_3_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getSuperTypesRelationQualifiedNameParserRuleCall_3_2_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ClassDeclarationElements
getTargetTypeAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getTargetTypeAssignment_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
getTargetTypeRelationCrossReference_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getTargetTypeRelationCrossReference_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
getTargetTypeRelationQualifiedNameParserRuleCall_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements
getTargetTypeRelationQualifiedNameParserRuleCall_1_2_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprElements
getTerminalsGrammarAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getTermInterpreter() - Method in class tools.refinery.language.scoping.imports.ImportAdapter
getTermInterpreter(EObject) - Method in class tools.refinery.language.scoping.imports.ImportAdapterProvider
getTermInterpreters() - Method in class tools.refinery.language.scoping.imports.ImportAdapter
getTokenNames() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
getTRANSITIVE_CLOSURERule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getTRANSITIVE_CLOSUREToken(EObject, RuleCall, INode) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer: Synthetic terminal rule.
getTransitiveClosureAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getTransitiveClosureTRANSITIVE_CLOSURETerminalRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements
getTRUEEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getTRUETrueKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getTypeHash(Relation) - Method in class tools.refinery.language.documentation.TypeHashProvider
getTypeScopeAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getTypeScopeRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getTypeScopesAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getTypeScopesAssignment_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getTypeScopesTypeScopeParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getTypeScopesTypeScopeParserRuleCall_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
getUnaryExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getUnaryExprParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
getUnaryExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getUnaryOpAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getUnaryOperationType(UnaryOp, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
getUnaryOperationType(UnaryOp, DataExprType) - Method in class tools.refinery.language.expressions.CompositeTermInterpreter
getUnaryOperationType(UnaryOp, DataExprType) - Method in interface tools.refinery.language.expressions.TermInterpreter
getUnaryOpRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getUnassignedRuleCallToken(EObject, RuleCall, INode) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer
getUnboundedMultiplicityAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getUnboundedMultiplicityAction() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnboundedMultiplicityElements
getUnboundedMultiplicityParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.MultiplicityElements
getUnboundedMultiplicityRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getUNKNOWNEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicValueElements
getUNKNOWNEnumLiteralDeclaration_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getUNKNOWNQuestionMarkKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicValueElements
getUNKNOWNUnknownKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements
getUnorderedGroup_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
getUpperBoundAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getUpperBoundAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeMultiplicityElements
getUpperBoundRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getUpperBoundUpperBoundParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RangeMultiplicityElements
getUserData(EObject) - Method in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
getValueAssignment_0_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getValueAssignment_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getValueAssignment_1_0_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getValueAssignment_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getValueAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getValueExprParserRuleCall_0_5_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getValueExprParserRuleCall_1_0_5_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getValueExprParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getValueShortLogicConstantParserRuleCall_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionActionElements
getValueShortLogicConstantParserRuleCall_1_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements
getVariableOrNodeAssignment() - Method in class tools.refinery.language.services.ProblemGrammarAccess.VariableOrNodeExprElements
getVariableOrNodeExprAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getVariableOrNodeExprParserRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements
getVariableOrNodeExprRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getVariableOrNodeVariableOrNodeCrossReference_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.VariableOrNodeExprElements
getVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.VariableOrNodeExprElements
getVariableScope(EObject, IScope) - Method in class tools.refinery.language.scoping.ProblemScopeProvider
getVariableType(Variable) - Method in class tools.refinery.language.typesystem.TypedModule
getVerticalLineKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AggregationExprElements
getWildcardAssertionArgumentAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getWildcardAssertionArgumentAction_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.WildcardAssertionArgumentElements
getWildcardAssertionArgumentParserRuleCall_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionArgumentElements
getWildcardAssertionArgumentRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getWSRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess
getXORCircumflexAccentCircumflexAccentKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
getXOREnumLiteralDeclaration_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements
grammarAccess - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer
GreaterThanSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
GreaterThanSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
GreaterThanSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
GreaterThanSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

H

handleCyclicResolution(Triple<EObject, EReference, INode>) - Method in class tools.refinery.language.resource.ProblemResource
hasComputedValue(PredicateDefinition) - Static method in class tools.refinery.language.utils.ProblemUtil
hashCode() - Method in record class tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.scoping.imports.NamedImport: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.scoping.imports.TransitiveImport: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.scoping.ProblemGlobalScopeProvider.LoadedImports: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.typesystem.AggregatorName: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.typesystem.DataExprType: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.typesystem.Signature: Returns a hash code value for this object.
hasMultiplicityConstraint(ReferenceDeclaration) - Static method in class tools.refinery.language.utils.ProblemUtil
HyphenMinus - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
HyphenMinus - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

I

Identifier() - Method in class tools.refinery.language.conversion.ProblemValueConverterService
IdentifierElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements
IdentifierTokenProvider - Class in tools.refinery.language.parser.antlr
IdentifierValueConverter - Class in tools.refinery.language.conversion
IdentifierValueConverter(ProblemGrammarAccess, QUOTED_IDValueConverter, IdentifierTokenProvider) - Constructor for class tools.refinery.language.conversion.IdentifierValueConverter
IDValueConverter - Class in tools.refinery.language.conversion
IDValueConverter() - Constructor for class tools.refinery.language.conversion.IDValueConverter
implicit(URI, QualifiedName) - Static method in record class tools.refinery.language.scoping.imports.NamedImport
implicitImports() - Method in record class tools.refinery.language.scoping.ProblemGlobalScopeProvider.LoadedImports: Returns the value of the implicitImports record component.
ImplicitVariableScope - Class in tools.refinery.language.resource.state
ImplicitVariableScope(EObject, ExistentialQuantifier, Set<String>) - Constructor for class tools.refinery.language.resource.state.ImplicitVariableScope
ImplicitVariableScope(ExistentialQuantifier, Set<String>) - Constructor for class tools.refinery.language.resource.state.ImplicitVariableScope
Import - Interface in tools.refinery.language.scoping.imports
Import - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Import - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ImportAdapter - Class in tools.refinery.language.scoping.imports
ImportAdapter() - Constructor for class tools.refinery.language.scoping.imports.ImportAdapter
ImportAdapterProvider - Class in tools.refinery.language.scoping.imports
ImportAdapterProvider() - Constructor for class tools.refinery.language.scoping.imports.ImportAdapterProvider
ImportCollection - Class in tools.refinery.language.scoping.imports
ImportCollection() - Constructor for class tools.refinery.language.scoping.imports.ImportCollection
ImportCollector - Class in tools.refinery.language.scoping.imports
ImportCollector() - Constructor for class tools.refinery.language.scoping.imports.ImportCollector
IMPORTS - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
IMPORTS_SEPARATOR - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
ImportStatementElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements
In - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
In - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
InfiniteConstantElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.InfiniteConstantElements
INFINITY - Static variable in class tools.refinery.language.conversion.UpperBoundValueConverter
init(IGrammarAccess) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer
initialize(IAcceptor<PreferenceKey>) - Method in class tools.refinery.language.validation.ProblemConfigurableIssueCodesProvider
installDerivedDeclarationState(Problem, ProblemDerivedStateComputer.Adapter) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
installDerivedFunctionDefinitionState(FunctionDefinition, Set<String>) - Method in class tools.refinery.language.resource.state.DerivedVariableComputer
installDerivedNodes(Problem) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
installDerivedParametricDefinitionState(ParametricDefinition, Set<String>) - Method in class tools.refinery.language.resource.state.DerivedVariableComputer
installDerivedPredicateDefinitionState(PredicateDefinition, Set<String>) - Method in class tools.refinery.language.resource.state.DerivedVariableComputer
installDerivedProblemState(Problem, ProblemDerivedStateComputer.Adapter, boolean) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
installDerivedRuleDefinitionState(RuleDefinition, Set<String>) - Method in class tools.refinery.language.resource.state.DerivedVariableComputer
installDerivedState(DerivedStateAwareResource, boolean) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
installDerivedVariables(Problem, Set<String>) - Method in class tools.refinery.language.resource.state.DerivedVariableComputer
installOrRemoveComputedValuePredicate(ProblemDerivedStateComputer.Adapter, PredicateDefinition) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
installOrRemoveInvalidMultiplicityPredicate(ProblemDerivedStateComputer.Adapter, ClassDeclaration, ReferenceDeclaration) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
installOrRemoveNewNode(ProblemDerivedStateComputer.Adapter, ClassDeclaration) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
INT_TYPE - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter
IntConstantElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.IntConstantElements
internalFindGrammar(GrammarProvider) - Method in class tools.refinery.language.services.ProblemGrammarAccess
InternalProblemLexer - Class in tools.refinery.language.parser.antlr.lexer
InternalProblemLexer() - Constructor for class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
InternalProblemLexer(CharStream) - Constructor for class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
InternalProblemLexer(CharStream, RecognizerSharedState) - Constructor for class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
InternalProblemParser - Class in tools.refinery.language.parser.antlr.internal
InternalProblemParser(TokenStream) - Constructor for class tools.refinery.language.parser.antlr.internal.InternalProblemParser
InternalProblemParser(TokenStream, RecognizerSharedState) - Constructor for class tools.refinery.language.parser.antlr.internal.InternalProblemParser
InternalProblemParser(TokenStream, ProblemGrammarAccess) - Constructor for class tools.refinery.language.parser.antlr.internal.InternalProblemParser
INVALID - Static variable in interface tools.refinery.language.typesystem.ExprType
INVALID_ARITY_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_ASSIGNMENT_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_IMPORT_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_MODALITY_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_MULTIPLICITY_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_OPPOSITE_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_PREDICATE_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_REFERENCE_TYPE_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_RULE_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_SUPERSET_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_SUPERTYPE_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
INVALID_TRANSITIVE_CLOSURE_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
invalidContainer() - Method in class tools.refinery.language.utils.BuiltinSymbols
InvalidType - Class in tools.refinery.language.typesystem
Is - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Is - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
isActionTarget(Problem, Relation) - Method in class tools.refinery.language.validation.ActionTargetCollector
isActionTarget(Relation) - Method in class tools.refinery.language.validation.ActionTargetCollector
isAdapterForType(Object) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
isAdapterForType(Object) - Method in class tools.refinery.language.scoping.imports.ImportAdapter
isAtomNode(Node) - Static method in class tools.refinery.language.utils.ProblemUtil
isBasePredicate(PredicateDefinition) - Static method in class tools.refinery.language.utils.ProblemUtil
isBuiltIn(EObject) - Static method in class tools.refinery.language.utils.ProblemUtil
isCastSupported(DataExprType, DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
isCastSupported(DataExprType, DataExprType) - Method in class tools.refinery.language.expressions.CompositeTermInterpreter
isCastSupported(DataExprType, DataExprType) - Method in interface tools.refinery.language.expressions.TermInterpreter
isComparisonSupported(DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
isComparisonSupported(DataExprType) - Method in class tools.refinery.language.expressions.CompositeTermInterpreter
isComparisonSupported(DataExprType) - Method in interface tools.refinery.language.expressions.TermInterpreter
isComputedValuePredicate(Relation) - Static method in class tools.refinery.language.utils.ProblemUtil
isContainerReference(ReferenceDeclaration) - Static method in class tools.refinery.language.utils.ProblemUtil
isContainmentReference(ReferenceDeclaration) - Static method in class tools.refinery.language.utils.ProblemUtil
isDeclaredNode(Node) - Static method in class tools.refinery.language.utils.ProblemUtil
isDerivedStatePredicate(PredicateDefinition) - Static method in class tools.refinery.language.utils.ProblemUtil
isEmpty() - Method in class tools.refinery.language.scoping.NoFullyQualifiedNamesSelectable
isError(EObject) - Static method in class tools.refinery.language.utils.ProblemUtil
isFullyQualified(QualifiedName) - Static method in class tools.refinery.language.naming.NamingUtil
isIdentifier(Token) - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
isIdentifierToken(int) - Method in class tools.refinery.language.parser.antlr.IdentifierTokenProvider
isImplicit(EObject) - Static method in class tools.refinery.language.utils.ProblemUtil
isImplicitNode(Node) - Static method in class tools.refinery.language.utils.ProblemUtil
isImplicitVariable(Variable) - Static method in class tools.refinery.language.utils.ProblemUtil
isInModule(EObject) - Static method in class tools.refinery.language.utils.ProblemUtil
isInvalidMultiplicityConstraint(Relation) - Static method in class tools.refinery.language.utils.ProblemUtil
isModule(Problem) - Static method in class tools.refinery.language.utils.ProblemUtil
isMultiNode(Node) - Static method in class tools.refinery.language.utils.ProblemUtil
isNullOrEmpty(String) - Static method in class tools.refinery.language.naming.NamingUtil
isPlusOrTransitiveClosure(Token) - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
isQualifiedNameSeparator(Token) - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
isQuoted(String) - Static method in class tools.refinery.language.naming.NamingUtil
isRangeSupported(DataExprType) - Method in class tools.refinery.language.expressions.AbstractTermInterpreter
isRangeSupported(DataExprType) - Method in class tools.refinery.language.expressions.CompositeTermInterpreter
isRangeSupported(DataExprType) - Method in interface tools.refinery.language.expressions.TermInterpreter
isRecursive() - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
isReparseSupported() - Method in class tools.refinery.language.parser.antlr.ProblemParser: Indentation aware languages do not support partial parsing since the lexer is inherently stateful.
isShadow(EObject) - Static method in class tools.refinery.language.utils.ProblemUtil
isShadowed(IEObjectDescription) - Method in class tools.refinery.language.scoping.ShadowingKeyAwareSelectableBasedScope
isSimpleId(String) - Static method in class tools.refinery.language.naming.NamingUtil
isSingletonVariable(Variable) - Static method in class tools.refinery.language.utils.ProblemUtil
isSingletonVariableName(String) - Static method in class tools.refinery.language.naming.NamingUtil
ISSUE_CODE_PREFIX - Static variable in class tools.refinery.language.validation.ProblemConfigurableIssueCodesProvider
isTransient(EObject, EStructuralFeature, int) - Method in class tools.refinery.language.serializer.ProblemTransientValueService
isTypeLike(Relation) - Static method in class tools.refinery.language.utils.ProblemUtil
isValidId(String) - Static method in class tools.refinery.language.naming.NamingUtil
isVisibleToken(Token) - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource

L

LatticeBinaryOpElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.LatticeBinaryOpElements
LatticeExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.LatticeExprElements
LeftCurlyBracket - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
LeftCurlyBracket - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
LeftParenthesis - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
LeftParenthesis - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
LeftSquareBracket - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
LeftSquareBracket - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
LessThanSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
LessThanSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
LessThanSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
LessThanSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
LessThanSignHyphenMinusGreaterThanSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
LessThanSignHyphenMinusGreaterThanSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
LITERAL - Static variable in interface tools.refinery.language.typesystem.ExprType
LiteralType - Class in tools.refinery.language.typesystem
LoadedImports(List<ISelectable>, List<ISelectable>, List<ISelectable>) - Constructor for record class tools.refinery.language.scoping.ProblemGlobalScopeProvider.LoadedImports: Creates an instance of a LoadedImports record class.
LoadOnDemandResourceDescriptionProvider - Class in tools.refinery.language.resource
LoadOnDemandResourceDescriptionProvider() - Constructor for class tools.refinery.language.resource.LoadOnDemandResourceDescriptionProvider
LogicConstantElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.LogicConstantElements
LogicValueElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.LogicValueElements

M

mAbstract() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mAggregator() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mAmpersandAmpersand() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mAs() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mAsterisk() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mAsteriskAsterisk() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
match_CastExprBody_LeftParenthesisKeyword_3_0_a - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer
match_CastExprBody_LeftParenthesisKeyword_3_0_p - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer
match_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__ - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer
match_ClassDeclaration_SemicolonKeyword_4_0_1_1_q - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer
match_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer
match_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__ - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer
match_NodeDeclaration_DeclareKeyword_0_1_0_q - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer
matchesMessage(DiagnosticMessage) - Method in class tools.refinery.language.resource.ProblemResource.ProblemResourceLinkingDiagnostic
matchesNode(INode) - Method in class tools.refinery.language.resource.ProblemResource.ProblemResourceLinkingDiagnostic
mAtom() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
MAX_AGGREGATOR - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter
May - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
May - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mayReferToShadow(EObject) - Static method in class tools.refinery.language.utils.ProblemUtil
mCandidate() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mCircumflexAccentCircumflexAccent() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mClass() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mColon() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mColonColon() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mComma() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mConcretization() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mContainer() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mContains() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mCount() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mDatatype() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mDecision() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mDeclare() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mDefault() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mEnum() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mEqualsSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mEqualsSignEqualsSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mEqualsSignEqualsSignEqualsSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mEqualsSignEqualsSignGreaterThanSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mError() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mExclamationMark() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mExclamationMarkEqualsSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mExclamationMarkEqualsSignEqualsSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mExtends() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mExtern() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mFalse() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mFullStop() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mFullStopFullStop() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mGreaterThanSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mGreaterThanSignEqualsSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mHyphenMinus() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mImport() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mIn() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
MIN_AGGREGATOR - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter
mIs() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
MISSING_OPPOSITE_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
mLeftCurlyBracket() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mLeftParenthesis() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mLeftSquareBracket() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mLessThanSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mLessThanSignEqualsSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mLessThanSignHyphenMinusGreaterThanSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mMay() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mModule() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mMulti() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mMust() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
MODAL_LITERAL - Static variable in interface tools.refinery.language.typesystem.ExprType
ModalExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ModalExprElements
ModalityElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ModalityElements
ModalLiteralType - Class in tools.refinery.language.typesystem
Module - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Module - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
MODULE_EXTENSION - Static variable in class tools.refinery.language.utils.ProblemUtil
MODULE_KIND - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
ModuleKindElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ModuleKindElements
mOpposite() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mPartial() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mPlusSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mPlusSignEqualsSign() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mPred() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mProblem() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mPropagation() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mQuestionMark() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRefers() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mReverseSolidusSolidus() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRightCurlyBracket() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRightParenthesis() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRightSquareBracket() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRule() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_ANY_OTHER() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_EXPONENTIAL() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_ID() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_INT() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_ML_COMMENT() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_QUALIFIED_NAME_SEPARATOR() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_QUOTED_ID() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_SL_COMMENT() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_STRING() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_TRANSITIVE_CLOSURE() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mRULE_WS() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mScope() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mSemicolon() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mShadow() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mSolidus() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mSolidusReverseSolidus() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mSubsets() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mTokens() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mTrue() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Multi - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Multi - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
MultiplicativeExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeExprElements
MultiplicativeOpElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.MultiplicativeOpElements
MultiplicityElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.MultiplicityElements
mUnknown() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Must - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Must - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mustEscape(String) - Method in class tools.refinery.language.conversion.IDValueConverter
MutableType - Class in tools.refinery.language.typesystem
MutableType() - Constructor for class tools.refinery.language.typesystem.MutableType
mVerticalLine() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
mVerticalLineVerticalLine() - Method in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

N

name() - Method in record class tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey: Returns the value of the name record component.
NamedImport - Record Class in tools.refinery.language.scoping.imports
NamedImport(URI, QualifiedName, List<QualifiedName>, boolean) - Constructor for record class tools.refinery.language.scoping.imports.NamedImport: Creates an instance of a NamedImport record class.
NamingUtil - Class in tools.refinery.language.naming
NegationExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.NegationExprElements
NEW_NODE - Static variable in class tools.refinery.language.resource.state.ProblemDerivedStateComputer
nextToken() - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
node() - Method in class tools.refinery.language.utils.BuiltinSymbols
NODE - Static variable in interface tools.refinery.language.typesystem.ExprType
NODE_CONSTANT_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
NodeAssertionArgumentElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.NodeAssertionArgumentElements
NodeDeclarationElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.NodeDeclarationElements
NodeKindElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.NodeKindElements
NodeNameCollector - Class in tools.refinery.language.resource.state
NodeNameCollector() - Constructor for class tools.refinery.language.resource.state.NodeNameCollector
NodeType - Class in tools.refinery.language.typesystem
NoFullyQualifiedNamesSelectable - Class in tools.refinery.language.scoping
NoFullyQualifiedNamesSelectable(ISelectable) - Constructor for class tools.refinery.language.scoping.NoFullyQualifiedNamesSelectable
NonContainmentIdentifierElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentIdentifierElements
NonContainmentQualifiedNameElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.NonContainmentQualifiedNameElements
notifyChanged(Notification) - Method in class tools.refinery.language.scoping.imports.ImportAdapter

O

Opposite - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Opposite - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

P

parameterBindingAnnotationsAreForbidden(RuleDefinition) - Static method in class tools.refinery.language.utils.ProblemUtil
ParameterBindingElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ParameterBindingElements
ParameterElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements
parameterTypes() - Method in record class tools.refinery.language.typesystem.Signature: Returns the value of the parameterTypes record component.
parseDocumentation(EObject) - Method in class tools.refinery.language.documentation.DocumentationCommentParser
Partial - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Partial - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
PathLibrary - Class in tools.refinery.language.library
PathLibrary() - Constructor for class tools.refinery.language.library.PathLibrary
peekForTransitiveClosure() - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
peekToken() - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
peekWithSkipWhitespace() - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
PlusSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
PlusSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
PlusSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
PlusSignEqualsSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
Pred - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Pred - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
PredicateDefinitionElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.PredicateDefinitionElements
PredicateKindElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.PredicateKindElements
PREFERRED_NAME - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
PREFERRED_NAME_TRUE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
PreferShortAssertionsProblemSemanticSequencer - Class in tools.refinery.language.serializer
PreferShortAssertionsProblemSemanticSequencer() - Constructor for class tools.refinery.language.serializer.PreferShortAssertionsProblemSemanticSequencer
preprendNewLines(IFormattableDocument, ISequentialRegion, Procedures.Procedure1<? super IHiddenRegionFormatter>) - Method in class tools.refinery.language.formatting2.ProblemFormatter
problem() - Method in class tools.refinery.language.utils.BuiltinSymbols
Problem - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Problem - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ProblemAntlrTokenFileProvider - Class in tools.refinery.language.parser.antlr
ProblemAntlrTokenFileProvider() - Constructor for class tools.refinery.language.parser.antlr.ProblemAntlrTokenFileProvider
ProblemConfigurableIssueCodesProvider - Class in tools.refinery.language.validation
ProblemConfigurableIssueCodesProvider() - Constructor for class tools.refinery.language.validation.ProblemConfigurableIssueCodesProvider
ProblemCrossReferenceSerializer - Class in tools.refinery.language.serializer
ProblemCrossReferenceSerializer(IdentifierTokenProvider) - Constructor for class tools.refinery.language.serializer.ProblemCrossReferenceSerializer
ProblemDerivedStateComputer - Class in tools.refinery.language.resource.state
ProblemDerivedStateComputer() - Constructor for class tools.refinery.language.resource.state.ProblemDerivedStateComputer
ProblemDerivedStateComputer.Adapter - Class in tools.refinery.language.resource.state
ProblemDiagnosticConverter - Class in tools.refinery.language.validation
ProblemDiagnosticConverter() - Constructor for class tools.refinery.language.validation.ProblemDiagnosticConverter
ProblemEcoreElementFactory - Class in tools.refinery.language.parser
ProblemEcoreElementFactory() - Constructor for class tools.refinery.language.parser.ProblemEcoreElementFactory
ProblemElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements
ProblemFormatter - Class in tools.refinery.language.formatting2
ProblemFormatter() - Constructor for class tools.refinery.language.formatting2.ProblemFormatter
ProblemGlobalScopeProvider - Class in tools.refinery.language.scoping
ProblemGlobalScopeProvider() - Constructor for class tools.refinery.language.scoping.ProblemGlobalScopeProvider
ProblemGlobalScopeProvider.LoadedImports - Record Class in tools.refinery.language.scoping
ProblemGrammarAccess - Class in tools.refinery.language.services
ProblemGrammarAccess(GrammarProvider, TerminalsGrammarAccess) - Constructor for class tools.refinery.language.services.ProblemGrammarAccess
ProblemGrammarAccess.ActionElements - Class in tools.refinery.language.services
ProblemGrammarAccess.AdditiveExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.AdditiveOpElements - Class in tools.refinery.language.services
ProblemGrammarAccess.AggregationExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.AggregatorDeclarationElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ArithmeticUnaryExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.AssertionActionElements - Class in tools.refinery.language.services
ProblemGrammarAccess.AssertionArgumentElements - Class in tools.refinery.language.services
ProblemGrammarAccess.AssertionElements - Class in tools.refinery.language.services
ProblemGrammarAccess.AssignmentExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.AtomElements - Class in tools.refinery.language.services
ProblemGrammarAccess.BooleanBinaryOpElements - Class in tools.refinery.language.services
ProblemGrammarAccess.BooleanExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.CastExprBodyElements - Class in tools.refinery.language.services
ProblemGrammarAccess.CastExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ClassDeclarationElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ComparisonExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ComparisonOpElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ConcretenessElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ConjunctionElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ConsequentElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ConstantElements - Class in tools.refinery.language.services
ProblemGrammarAccess.CountExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.DatatypeDeclarationElements - Class in tools.refinery.language.services
ProblemGrammarAccess.DefiniteMultiplicityElements - Class in tools.refinery.language.services
ProblemGrammarAccess.EnumDeclarationElements - Class in tools.refinery.language.services
ProblemGrammarAccess.EnumLiteralElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ErrorPredicateKindElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ExactMultiplicityElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ExponentialExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ExponentialOpElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.IdentifierElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ImportStatementElements - Class in tools.refinery.language.services
ProblemGrammarAccess.InfiniteConstantElements - Class in tools.refinery.language.services
ProblemGrammarAccess.IntConstantElements - Class in tools.refinery.language.services
ProblemGrammarAccess.LatticeBinaryOpElements - Class in tools.refinery.language.services
ProblemGrammarAccess.LatticeExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.LogicConstantElements - Class in tools.refinery.language.services
ProblemGrammarAccess.LogicValueElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ModalExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ModalityElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ModuleKindElements - Class in tools.refinery.language.services
ProblemGrammarAccess.MultiplicativeExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.MultiplicativeOpElements - Class in tools.refinery.language.services
ProblemGrammarAccess.MultiplicityElements - Class in tools.refinery.language.services
ProblemGrammarAccess.NegationExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.NodeAssertionArgumentElements - Class in tools.refinery.language.services
ProblemGrammarAccess.NodeDeclarationElements - Class in tools.refinery.language.services
ProblemGrammarAccess.NodeKindElements - Class in tools.refinery.language.services
ProblemGrammarAccess.NonContainmentIdentifierElements - Class in tools.refinery.language.services
ProblemGrammarAccess.NonContainmentQualifiedNameElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ParameterBindingElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ParameterElements - Class in tools.refinery.language.services
ProblemGrammarAccess.PredicateDefinitionElements - Class in tools.refinery.language.services
ProblemGrammarAccess.PredicateKindElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ProblemElements - Class in tools.refinery.language.services
ProblemGrammarAccess.QualifiedNameElements - Class in tools.refinery.language.services
ProblemGrammarAccess.RangeExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.RangeMultiplicityElements - Class in tools.refinery.language.services
ProblemGrammarAccess.RealConstantElements - Class in tools.refinery.language.services
ProblemGrammarAccess.RealElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ReferenceDeclarationElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ReferenceKindElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ReferenceMultiplicityElements - Class in tools.refinery.language.services
ProblemGrammarAccess.RuleDefinitionElements - Class in tools.refinery.language.services
ProblemGrammarAccess.RuleKindElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ScopeDeclarationElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ShortLogicConstantElements - Class in tools.refinery.language.services
ProblemGrammarAccess.ShortLogicValueElements - Class in tools.refinery.language.services
ProblemGrammarAccess.StatementElements - Class in tools.refinery.language.services
ProblemGrammarAccess.StringConstantElements - Class in tools.refinery.language.services
ProblemGrammarAccess.TypeScopeElements - Class in tools.refinery.language.services
ProblemGrammarAccess.UnaryExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.UnaryOpElements - Class in tools.refinery.language.services
ProblemGrammarAccess.UnboundedMultiplicityElements - Class in tools.refinery.language.services
ProblemGrammarAccess.UpperBoundElements - Class in tools.refinery.language.services
ProblemGrammarAccess.VariableOrNodeExprElements - Class in tools.refinery.language.services
ProblemGrammarAccess.WildcardAssertionArgumentElements - Class in tools.refinery.language.services
ProblemLinkingService - Class in tools.refinery.language.linking
ProblemLinkingService() - Constructor for class tools.refinery.language.linking.ProblemLinkingService
ProblemLocalScopeProvider - Class in tools.refinery.language.scoping
ProblemLocalScopeProvider() - Constructor for class tools.refinery.language.scoping.ProblemLocalScopeProvider
ProblemLocationInFileProvider - Class in tools.refinery.language.resource
ProblemLocationInFileProvider() - Constructor for class tools.refinery.language.resource.ProblemLocationInFileProvider
ProblemParser - Class in tools.refinery.language.parser.antlr
ProblemParser() - Constructor for class tools.refinery.language.parser.antlr.ProblemParser
ProblemQualifiedNameConverter - Class in tools.refinery.language.naming: This class is based on IQualifiedNameConverter.DefaultImpl, but was extended to handle quoted identifiers.
ProblemQualifiedNameConverter() - Constructor for class tools.refinery.language.naming.ProblemQualifiedNameConverter
ProblemQualifiedNameProvider - Class in tools.refinery.language.naming
ProblemQualifiedNameProvider() - Constructor for class tools.refinery.language.naming.ProblemQualifiedNameProvider
ProblemReferenceFinder - Class in tools.refinery.language.resource
ProblemReferenceFinder() - Constructor for class tools.refinery.language.resource.ProblemReferenceFinder
ProblemResource - Class in tools.refinery.language.resource
ProblemResource() - Constructor for class tools.refinery.language.resource.ProblemResource
ProblemResource.CyclicLinkingError - Exception Class in tools.refinery.language.resource: Our own version of LazyLinkingResource.CyclicLinkingException, because the tripe field in the original one is not accessible.
ProblemResource.ProblemResourceLinkingDiagnostic - Class in tools.refinery.language.resource: Marks all diagnostics inserted by ProblemResource with a common superclass so that they can later be removed.
ProblemResourceDescription - Class in tools.refinery.language.resource: A resource description that takes ProblemResourceDescriptionStrategy.SHADOWING_KEY into account when describing EObjects.
ProblemResourceDescription(Resource, IDefaultResourceDescriptionStrategy) - Constructor for class tools.refinery.language.resource.ProblemResourceDescription
ProblemResourceDescriptionManager - Class in tools.refinery.language.resource
ProblemResourceDescriptionManager() - Constructor for class tools.refinery.language.resource.ProblemResourceDescriptionManager
ProblemResourceDescriptionStrategy - Class in tools.refinery.language.resource
ProblemResourceDescriptionStrategy() - Constructor for class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
ProblemResourceDescriptionStrategy.ShadowingKey - Record Class in tools.refinery.language.resource
ProblemResourceLinkingDiagnostic(INode, String, String, String...) - Constructor for class tools.refinery.language.resource.ProblemResource.ProblemResourceLinkingDiagnostic
ProblemRuntimeModule - Class in tools.refinery.language: Use this class to register components to be used at runtime / without the Equinox extension registry.
ProblemRuntimeModule() - Constructor for class tools.refinery.language.ProblemRuntimeModule
ProblemScopeProvider - Class in tools.refinery.language.scoping: This class contains custom scoping description.
ProblemScopeProvider() - Constructor for class tools.refinery.language.scoping.ProblemScopeProvider
ProblemSemanticSequencer - Class in tools.refinery.language.serializer
ProblemSemanticSequencer() - Constructor for class tools.refinery.language.serializer.ProblemSemanticSequencer
ProblemStandaloneSetup - Class in tools.refinery.language: Initialization support for running Xtext languages without Equinox extension registry.
ProblemStandaloneSetup() - Constructor for class tools.refinery.language.ProblemStandaloneSetup
ProblemStandaloneSetupGenerated - Class in tools.refinery.language
ProblemStandaloneSetupGenerated() - Constructor for class tools.refinery.language.ProblemStandaloneSetupGenerated
ProblemSyntacticSequencer - Class in tools.refinery.language.serializer
ProblemSyntacticSequencer() - Constructor for class tools.refinery.language.serializer.ProblemSyntacticSequencer
ProblemTokenSource - Class in tools.refinery.language.parser.antlr
ProblemTokenSource(TokenSource) - Constructor for class tools.refinery.language.parser.antlr.ProblemTokenSource
ProblemTransientValueService - Class in tools.refinery.language.serializer
ProblemTransientValueService() - Constructor for class tools.refinery.language.serializer.ProblemTransientValueService
ProblemTypeAnalyzer - Class in tools.refinery.language.typesystem
ProblemTypeAnalyzer() - Constructor for class tools.refinery.language.typesystem.ProblemTypeAnalyzer
ProblemUtil - Class in tools.refinery.language.utils
ProblemValidator - Class in tools.refinery.language.validation: This class contains custom validation rules.
ProblemValidator() - Constructor for class tools.refinery.language.validation.ProblemValidator
ProblemValueConverterService - Class in tools.refinery.language.conversion
ProblemValueConverterService() - Constructor for class tools.refinery.language.conversion.ProblemValueConverterService
Propagation - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Propagation - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
properties - Variable in class tools.refinery.language.AbstractProblemRuntimeModule
provideInternalProblemLexer() - Method in class tools.refinery.language.AbstractProblemRuntimeModule

Q

qualifiedImports() - Method in record class tools.refinery.language.scoping.ProblemGlobalScopeProvider.LoadedImports: Returns the value of the qualifiedImports record component.
qualifiedName() - Method in record class tools.refinery.language.scoping.imports.NamedImport: Returns the value of the qualifiedName record component.
qualifiedName() - Method in record class tools.refinery.language.typesystem.AggregatorName: Returns the value of the qualifiedName record component.
qualifiedName() - Method in record class tools.refinery.language.typesystem.DataExprType: Returns the value of the qualifiedName record component.
qualifiedName(Problem) - Method in class tools.refinery.language.naming.ProblemQualifiedNameProvider
QualifiedNameElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements
QuestionMark - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
QuestionMark - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
QUOTED_ID() - Method in class tools.refinery.language.conversion.ProblemValueConverterService
QUOTED_IDValueConverter - Class in tools.refinery.language.conversion
QUOTED_IDValueConverter() - Constructor for class tools.refinery.language.conversion.QUOTED_IDValueConverter

R

RangeExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.RangeExprElements
RangeMultiplicityElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.RangeMultiplicityElements
REAL_TYPE - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter
RealConstantElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.RealConstantElements
RealElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.RealElements
ReferenceCounter - Class in tools.refinery.language.validation
ReferenceCounter() - Constructor for class tools.refinery.language.validation.ReferenceCounter
ReferenceDeclarationElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements
ReferenceKindElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ReferenceKindElements
ReferenceMultiplicityElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ReferenceMultiplicityElements
Refers - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Refers - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RefineryLibrary - Interface in tools.refinery.language.library
register(Injector) - Method in class tools.refinery.language.ProblemStandaloneSetupGenerated
remove(URI) - Method in class tools.refinery.language.scoping.imports.ImportCollection
removeComputedValuePredicate(PredicateDefinition) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
removeDiagnostic(Triple<EObject, EReference, INode>) - Method in class tools.refinery.language.resource.ProblemResource: Removes the ProblemResource.ProblemResourceLinkingDiagnostic corresponding to the given node, if prevesent, from the ResourceImpl.getErrors() list.
removeInvalidMultiplicityPredicate(ReferenceDeclaration) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
removeNewNode(ClassDeclaration) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
resolveQualifiedName(QualifiedName) - Method in class tools.refinery.language.scoping.imports.ImportAdapter
resolveQualifiedName(QualifiedName, List<Path>) - Method in class tools.refinery.language.library.ClasspathBasedLibrary
resolveQualifiedName(QualifiedName, List<Path>) - Method in class tools.refinery.language.library.PathLibrary
resolveQualifiedName(QualifiedName, List<Path>) - Method in interface tools.refinery.language.library.RefineryLibrary
resultType() - Method in record class tools.refinery.language.typesystem.Signature: Returns the value of the resultType record component.
retainAll(Collection<ClassDeclaration>, Collection<ReferenceDeclaration>, Collection<PredicateDefinition>) - Method in class tools.refinery.language.resource.state.ProblemDerivedStateComputer.Adapter
ReverseSolidusSolidus - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ReverseSolidusSolidus - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RightCurlyBracket - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RightCurlyBracket - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RightParenthesis - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RightParenthesis - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RightSquareBracket - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RightSquareBracket - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ROOT_NAME - Static variable in class tools.refinery.language.naming.NamingUtil
Rule - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Rule - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_ANY_OTHER - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_ANY_OTHER - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_EXPONENTIAL - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_EXPONENTIAL - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_ID - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_ID - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_INT - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_INT - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_ML_COMMENT - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_ML_COMMENT - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_QUALIFIED_NAME_SEPARATOR - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_QUALIFIED_NAME_SEPARATOR - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_QUOTED_ID - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_QUOTED_ID - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_SL_COMMENT - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_SL_COMMENT - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_STRING - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_STRING - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_TRANSITIVE_CLOSURE - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_TRANSITIVE_CLOSURE - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
RULE_WS - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RULE_WS - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ruleAction() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleAdditiveExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleAdditiveOp() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleAggregationExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleAggregatorDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleArithmeticUnaryExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleAssertion() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleAssertionAction() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleAssertionArgument() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleAssignmentExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleAtom() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleBooleanBinaryOp() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleBooleanExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleCastExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleCastExprBody() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleClassDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleComparisonExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleComparisonOp() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleConcreteness() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleConjunction() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleConsequent() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleCountExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleDatatypeDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleDefiniteMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RuleDefinitionElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.RuleDefinitionElements
ruleEnumDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleEnumLiteral() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleErrorPredicateKind() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleExactMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleExponentialExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleExponentialOp() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleIdentifier() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleImportStatement() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleInfiniteConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleIntConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
RuleKindElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.RuleKindElements
ruleLatticeBinaryOp() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleLatticeExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleLogicConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleLogicValue() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleModalExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleModality() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleModuleKind() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleMultiplicativeExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleMultiplicativeOp() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleNegationExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleNodeAssertionArgument() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleNodeDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleNodeKind() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleNonContainmentIdentifier() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleNonContainmentQualifiedName() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleParameter() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleParameterBinding() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
rulePredicateDefinition() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
rulePredicateKind() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleProblem() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleQualifiedName() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleRangeExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleRangeMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleReal() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleRealConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleReferenceDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleReferenceKind() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleReferenceMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleRuleDefinition() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleRuleKind() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleScopeDeclaration() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleShortLogicConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleShortLogicValue() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleStatement() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleStringConstant() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleTypeScope() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleUnaryExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleUnaryOp() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleUnboundedMultiplicity() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleUpperBound() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleVariableOrNodeExpr() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
ruleWildcardAssertionArgument() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

S

Scope - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Scope - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
ScopeDeclarationElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements
Semicolon - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Semicolon - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
sequence(ISerializationContext, EObject) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer
sequence_AdditiveExpr_BooleanExpr_ExponentialExpr_MultiplicativeExpr(ISerializationContext, ArithmeticBinaryExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns ArithmeticBinaryExpr AssignmentExpr returns ArithmeticBinaryExpr AssignmentExpr.AssignmentExpr_1_0 returns ArithmeticBinaryExpr BooleanExpr returns ArithmeticBinaryExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr ComparisonExpr returns ArithmeticBinaryExpr ComparisonExpr.ComparisonExpr_1_0 returns ArithmeticBinaryExpr LatticeExpr returns ArithmeticBinaryExpr LatticeExpr.LatticeBinaryExpr_1_0 returns ArithmeticBinaryExpr AdditiveExpr returns ArithmeticBinaryExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr MultiplicativeExpr returns ArithmeticBinaryExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr ExponentialExpr returns ArithmeticBinaryExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticBinaryExpr RangeExpr returns ArithmeticBinaryExpr RangeExpr.RangeExpr_1_0 returns ArithmeticBinaryExpr UnaryExpr returns ArithmeticBinaryExpr CastExpr returns ArithmeticBinaryExpr CastExpr.CastExpr_1_0 returns ArithmeticBinaryExpr CastExprBody returns ArithmeticBinaryExpr Constraint: ( (left=BooleanExpr_ArithmeticBinaryExpr_1_0 op=BooleanBinaryOp right=ComparisonExpr) | (left=AdditiveExpr_ArithmeticBinaryExpr_1_0 op=AdditiveOp right=MultiplicativeExpr) | (left=MultiplicativeExpr_ArithmeticBinaryExpr_1_0 op=MultiplicativeOp right=ExponentialExpr) | (left=ExponentialExpr_ArithmeticBinaryExpr_1_0 op=ExponentialOp right=ExponentialExpr) )
sequence_AggregationExpr(ISerializationContext, AggregationExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns AggregationExpr AssignmentExpr returns AggregationExpr AssignmentExpr.AssignmentExpr_1_0 returns AggregationExpr BooleanExpr returns AggregationExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr ComparisonExpr returns AggregationExpr ComparisonExpr.ComparisonExpr_1_0 returns AggregationExpr LatticeExpr returns AggregationExpr LatticeExpr.LatticeBinaryExpr_1_0 returns AggregationExpr AdditiveExpr returns AggregationExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr MultiplicativeExpr returns AggregationExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr ExponentialExpr returns AggregationExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns AggregationExpr RangeExpr returns AggregationExpr RangeExpr.RangeExpr_1_0 returns AggregationExpr UnaryExpr returns AggregationExpr AggregationExpr returns AggregationExpr CastExpr returns AggregationExpr CastExpr.CastExpr_1_0 returns AggregationExpr CastExprBody returns AggregationExpr Constraint: (aggregator=[AggregatorDeclaration|QualifiedName] value=Expr condition=ComparisonExpr)
sequence_AggregatorDeclaration(ISerializationContext, AggregatorDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns AggregatorDeclaration AggregatorDeclaration returns AggregatorDeclaration Constraint: name=Identifier
sequence_ArithmeticUnaryExpr(ISerializationContext, ArithmeticUnaryExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns ArithmeticUnaryExpr AssignmentExpr returns ArithmeticUnaryExpr AssignmentExpr.AssignmentExpr_1_0 returns ArithmeticUnaryExpr BooleanExpr returns ArithmeticUnaryExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr ComparisonExpr returns ArithmeticUnaryExpr ComparisonExpr.ComparisonExpr_1_0 returns ArithmeticUnaryExpr LatticeExpr returns ArithmeticUnaryExpr LatticeExpr.LatticeBinaryExpr_1_0 returns ArithmeticUnaryExpr AdditiveExpr returns ArithmeticUnaryExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr MultiplicativeExpr returns ArithmeticUnaryExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr ExponentialExpr returns ArithmeticUnaryExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ArithmeticUnaryExpr RangeExpr returns ArithmeticUnaryExpr RangeExpr.RangeExpr_1_0 returns ArithmeticUnaryExpr UnaryExpr returns ArithmeticUnaryExpr ArithmeticUnaryExpr returns ArithmeticUnaryExpr CastExpr returns ArithmeticUnaryExpr CastExpr.CastExpr_1_0 returns ArithmeticUnaryExpr CastExprBody returns ArithmeticUnaryExpr Constraint: (op=UnaryOp body=UnaryExpr)
sequence_Assertion(ISerializationContext, Assertion) - Method in class tools.refinery.language.serializer.PreferShortAssertionsProblemSemanticSequencer
sequence_Assertion(ISerializationContext, Assertion) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns Assertion Assertion returns Assertion Constraint: ( default?='default'? ( (relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)? value=Expr) | (value=ShortLogicConstant relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)?) ) )
sequence_AssertionAction(ISerializationContext, AssertionAction) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Action returns AssertionAction AssertionAction returns AssertionAction Constraint: ( (relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)? value=Expr) | (value=ShortLogicConstant relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)?) )
sequence_AssignmentExpr(ISerializationContext, AssignmentExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns AssignmentExpr AssignmentExpr returns AssignmentExpr AssignmentExpr.AssignmentExpr_1_0 returns AssignmentExpr BooleanExpr returns AssignmentExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr ComparisonExpr returns AssignmentExpr ComparisonExpr.ComparisonExpr_1_0 returns AssignmentExpr LatticeExpr returns AssignmentExpr LatticeExpr.LatticeBinaryExpr_1_0 returns AssignmentExpr AdditiveExpr returns AssignmentExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr MultiplicativeExpr returns AssignmentExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr ExponentialExpr returns AssignmentExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns AssignmentExpr RangeExpr returns AssignmentExpr RangeExpr.RangeExpr_1_0 returns AssignmentExpr UnaryExpr returns AssignmentExpr CastExpr returns AssignmentExpr CastExpr.CastExpr_1_0 returns AssignmentExpr CastExprBody returns AssignmentExpr Constraint: (left=AssignmentExpr_AssignmentExpr_1_0 right=BooleanExpr)
sequence_Atom(ISerializationContext, Atom) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns Atom AssignmentExpr returns Atom AssignmentExpr.AssignmentExpr_1_0 returns Atom BooleanExpr returns Atom BooleanExpr.ArithmeticBinaryExpr_1_0 returns Atom ComparisonExpr returns Atom ComparisonExpr.ComparisonExpr_1_0 returns Atom LatticeExpr returns Atom LatticeExpr.LatticeBinaryExpr_1_0 returns Atom AdditiveExpr returns Atom AdditiveExpr.ArithmeticBinaryExpr_1_0 returns Atom MultiplicativeExpr returns Atom MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns Atom ExponentialExpr returns Atom ExponentialExpr.ArithmeticBinaryExpr_1_0 returns Atom RangeExpr returns Atom RangeExpr.RangeExpr_1_0 returns Atom UnaryExpr returns Atom CastExpr returns Atom CastExpr.CastExpr_1_0 returns Atom CastExprBody returns Atom Atom returns Atom Constraint: (relation=[Relation|QualifiedName] transitiveClosure?=TRANSITIVE_CLOSURE? (arguments+=Expr arguments+=Expr*)?)
sequence_CastExpr(ISerializationContext, CastExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns CastExpr AssignmentExpr returns CastExpr AssignmentExpr.AssignmentExpr_1_0 returns CastExpr BooleanExpr returns CastExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns CastExpr ComparisonExpr returns CastExpr ComparisonExpr.ComparisonExpr_1_0 returns CastExpr LatticeExpr returns CastExpr LatticeExpr.LatticeBinaryExpr_1_0 returns CastExpr AdditiveExpr returns CastExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns CastExpr MultiplicativeExpr returns CastExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns CastExpr ExponentialExpr returns CastExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns CastExpr RangeExpr returns CastExpr RangeExpr.RangeExpr_1_0 returns CastExpr UnaryExpr returns CastExpr CastExpr returns CastExpr CastExpr.CastExpr_1_0 returns CastExpr CastExprBody returns CastExpr Constraint: (body=CastExpr_CastExpr_1_0 targetType=[Relation|QualifiedName])
sequence_ClassDeclaration(ISerializationContext, ClassDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns ClassDeclaration ClassDeclaration returns ClassDeclaration Constraint: ( abstract?='abstract'? name=Identifier (superTypes+=[Relation|QualifiedName] superTypes+=[Relation|QualifiedName]*)? featureDeclarations+=ReferenceDeclaration* )
sequence_ComparisonExpr(ISerializationContext, ComparisonExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns ComparisonExpr AssignmentExpr returns ComparisonExpr AssignmentExpr.AssignmentExpr_1_0 returns ComparisonExpr BooleanExpr returns ComparisonExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr ComparisonExpr returns ComparisonExpr ComparisonExpr.ComparisonExpr_1_0 returns ComparisonExpr LatticeExpr returns ComparisonExpr LatticeExpr.LatticeBinaryExpr_1_0 returns ComparisonExpr AdditiveExpr returns ComparisonExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr MultiplicativeExpr returns ComparisonExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr ExponentialExpr returns ComparisonExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ComparisonExpr RangeExpr returns ComparisonExpr RangeExpr.RangeExpr_1_0 returns ComparisonExpr UnaryExpr returns ComparisonExpr CastExpr returns ComparisonExpr CastExpr.CastExpr_1_0 returns ComparisonExpr CastExprBody returns ComparisonExpr Constraint: (left=ComparisonExpr_ComparisonExpr_1_0 op=ComparisonOp right=LatticeExpr)
sequence_Conjunction(ISerializationContext, Conjunction) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Conjunction returns Conjunction Constraint: (literals+=Expr literals+=Expr*)
sequence_Consequent(ISerializationContext, Consequent) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Consequent returns Consequent Constraint: (actions+=Action actions+=Action*)
sequence_CountExpr(ISerializationContext, CountExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns CountExpr AssignmentExpr returns CountExpr AssignmentExpr.AssignmentExpr_1_0 returns CountExpr BooleanExpr returns CountExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns CountExpr ComparisonExpr returns CountExpr ComparisonExpr.ComparisonExpr_1_0 returns CountExpr LatticeExpr returns CountExpr LatticeExpr.LatticeBinaryExpr_1_0 returns CountExpr AdditiveExpr returns CountExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns CountExpr MultiplicativeExpr returns CountExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns CountExpr ExponentialExpr returns CountExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns CountExpr RangeExpr returns CountExpr RangeExpr.RangeExpr_1_0 returns CountExpr UnaryExpr returns CountExpr CountExpr returns CountExpr CastExpr returns CountExpr CastExpr.CastExpr_1_0 returns CountExpr CastExprBody returns CountExpr Constraint: body=UnaryExpr
sequence_DatatypeDeclaration(ISerializationContext, DatatypeDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns DatatypeDeclaration DatatypeDeclaration returns DatatypeDeclaration Constraint: name=Identifier
sequence_EnumDeclaration(ISerializationContext, EnumDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns EnumDeclaration EnumDeclaration returns EnumDeclaration Constraint: (name=Identifier (literals+=EnumLiteral literals+=EnumLiteral*)?)
sequence_EnumLiteral(ISerializationContext, Node) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: EnumLiteral returns Node Constraint: name=Identifier
sequence_ExactMultiplicity(ISerializationContext, ExactMultiplicity) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: ReferenceMultiplicity returns ExactMultiplicity Multiplicity returns ExactMultiplicity DefiniteMultiplicity returns ExactMultiplicity ExactMultiplicity returns ExactMultiplicity Constraint: exactValue=INT
sequence_ImportStatement(ISerializationContext, ImportStatement) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns ImportStatement ImportStatement returns ImportStatement Constraint: (importedModule=[Problem|QualifiedName] alias=ID?)
sequence_InfiniteConstant(ISerializationContext, InfiniteConstant) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns InfiniteConstant AssignmentExpr returns InfiniteConstant AssignmentExpr.AssignmentExpr_1_0 returns InfiniteConstant BooleanExpr returns InfiniteConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant ComparisonExpr returns InfiniteConstant ComparisonExpr.ComparisonExpr_1_0 returns InfiniteConstant LatticeExpr returns InfiniteConstant LatticeExpr.LatticeBinaryExpr_1_0 returns InfiniteConstant AdditiveExpr returns InfiniteConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant MultiplicativeExpr returns InfiniteConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant ExponentialExpr returns InfiniteConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns InfiniteConstant RangeExpr returns InfiniteConstant RangeExpr.RangeExpr_1_0 returns InfiniteConstant UnaryExpr returns InfiniteConstant CastExpr returns InfiniteConstant CastExpr.CastExpr_1_0 returns InfiniteConstant CastExprBody returns InfiniteConstant Constant returns InfiniteConstant InfiniteConstant returns InfiniteConstant Constraint: {InfiniteConstant}
sequence_IntConstant(ISerializationContext, IntConstant) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns IntConstant AssignmentExpr returns IntConstant AssignmentExpr.AssignmentExpr_1_0 returns IntConstant BooleanExpr returns IntConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns IntConstant ComparisonExpr returns IntConstant ComparisonExpr.ComparisonExpr_1_0 returns IntConstant LatticeExpr returns IntConstant LatticeExpr.LatticeBinaryExpr_1_0 returns IntConstant AdditiveExpr returns IntConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns IntConstant MultiplicativeExpr returns IntConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns IntConstant ExponentialExpr returns IntConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns IntConstant RangeExpr returns IntConstant RangeExpr.RangeExpr_1_0 returns IntConstant UnaryExpr returns IntConstant CastExpr returns IntConstant CastExpr.CastExpr_1_0 returns IntConstant CastExprBody returns IntConstant Constant returns IntConstant IntConstant returns IntConstant Constraint: intValue=INT
sequence_LatticeExpr(ISerializationContext, LatticeBinaryExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns LatticeBinaryExpr AssignmentExpr returns LatticeBinaryExpr AssignmentExpr.AssignmentExpr_1_0 returns LatticeBinaryExpr BooleanExpr returns LatticeBinaryExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr ComparisonExpr returns LatticeBinaryExpr ComparisonExpr.ComparisonExpr_1_0 returns LatticeBinaryExpr LatticeExpr returns LatticeBinaryExpr LatticeExpr.LatticeBinaryExpr_1_0 returns LatticeBinaryExpr AdditiveExpr returns LatticeBinaryExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr MultiplicativeExpr returns LatticeBinaryExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr ExponentialExpr returns LatticeBinaryExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns LatticeBinaryExpr RangeExpr returns LatticeBinaryExpr RangeExpr.RangeExpr_1_0 returns LatticeBinaryExpr UnaryExpr returns LatticeBinaryExpr CastExpr returns LatticeBinaryExpr CastExpr.CastExpr_1_0 returns LatticeBinaryExpr CastExprBody returns LatticeBinaryExpr Constraint: (left=LatticeExpr_LatticeBinaryExpr_1_0 op=LatticeBinaryOp right=AdditiveExpr)
sequence_LogicConstant(ISerializationContext, LogicConstant) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns LogicConstant AssignmentExpr returns LogicConstant AssignmentExpr.AssignmentExpr_1_0 returns LogicConstant BooleanExpr returns LogicConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant ComparisonExpr returns LogicConstant ComparisonExpr.ComparisonExpr_1_0 returns LogicConstant LatticeExpr returns LogicConstant LatticeExpr.LatticeBinaryExpr_1_0 returns LogicConstant AdditiveExpr returns LogicConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant MultiplicativeExpr returns LogicConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant ExponentialExpr returns LogicConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns LogicConstant RangeExpr returns LogicConstant RangeExpr.RangeExpr_1_0 returns LogicConstant UnaryExpr returns LogicConstant CastExpr returns LogicConstant CastExpr.CastExpr_1_0 returns LogicConstant CastExprBody returns LogicConstant Constant returns LogicConstant LogicConstant returns LogicConstant Constraint: logicValue=LogicValue
sequence_ModalExpr(ISerializationContext, ModalExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns ModalExpr AssignmentExpr returns ModalExpr AssignmentExpr.AssignmentExpr_1_0 returns ModalExpr BooleanExpr returns ModalExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr ComparisonExpr returns ModalExpr ComparisonExpr.ComparisonExpr_1_0 returns ModalExpr LatticeExpr returns ModalExpr LatticeExpr.LatticeBinaryExpr_1_0 returns ModalExpr AdditiveExpr returns ModalExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr MultiplicativeExpr returns ModalExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr ExponentialExpr returns ModalExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns ModalExpr RangeExpr returns ModalExpr RangeExpr.RangeExpr_1_0 returns ModalExpr UnaryExpr returns ModalExpr ModalExpr returns ModalExpr CastExpr returns ModalExpr CastExpr.CastExpr_1_0 returns ModalExpr CastExprBody returns ModalExpr Constraint: (((concreteness=Concreteness modality=Modality?) | (modality=Modality concreteness=Concreteness?)) body=UnaryExpr)
sequence_NegationExpr(ISerializationContext, NegationExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns NegationExpr AssignmentExpr returns NegationExpr AssignmentExpr.AssignmentExpr_1_0 returns NegationExpr BooleanExpr returns NegationExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr ComparisonExpr returns NegationExpr ComparisonExpr.ComparisonExpr_1_0 returns NegationExpr LatticeExpr returns NegationExpr LatticeExpr.LatticeBinaryExpr_1_0 returns NegationExpr AdditiveExpr returns NegationExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr MultiplicativeExpr returns NegationExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr ExponentialExpr returns NegationExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns NegationExpr RangeExpr returns NegationExpr RangeExpr.RangeExpr_1_0 returns NegationExpr UnaryExpr returns NegationExpr NegationExpr returns NegationExpr CastExpr returns NegationExpr CastExpr.CastExpr_1_0 returns NegationExpr CastExprBody returns NegationExpr Constraint: body=UnaryExpr
sequence_NodeAssertionArgument(ISerializationContext, NodeAssertionArgument) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: AssertionArgument returns NodeAssertionArgument NodeAssertionArgument returns NodeAssertionArgument Constraint: node=[Node|QualifiedName]
sequence_NodeDeclaration(ISerializationContext, NodeDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns NodeDeclaration NodeDeclaration returns NodeDeclaration Constraint: (kind=NodeKind? nodes+=EnumLiteral nodes+=EnumLiteral*)
sequence_Parameter(ISerializationContext, Parameter) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Parameter returns Parameter Constraint: (parameterType=[Relation|QualifiedName]? binding=ParameterBinding? name=Identifier)
sequence_PredicateDefinition(ISerializationContext, PredicateDefinition) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns PredicateDefinition PredicateDefinition returns PredicateDefinition Constraint: ( (kind=ErrorPredicateKind | kind=PredicateKind)? name=Identifier (parameters+=Parameter parameters+=Parameter*)? (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? (bodies+=Conjunction bodies+=Conjunction*)? )
sequence_Problem(ISerializationContext, Problem) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Problem returns Problem Constraint: ((kind=ModuleKind name=QualifiedName? statements+=Statement+) | statements+=Statement+)?
sequence_RangeExpr(ISerializationContext, RangeExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns RangeExpr AssignmentExpr returns RangeExpr AssignmentExpr.AssignmentExpr_1_0 returns RangeExpr BooleanExpr returns RangeExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr ComparisonExpr returns RangeExpr ComparisonExpr.ComparisonExpr_1_0 returns RangeExpr LatticeExpr returns RangeExpr LatticeExpr.LatticeBinaryExpr_1_0 returns RangeExpr AdditiveExpr returns RangeExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr MultiplicativeExpr returns RangeExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr ExponentialExpr returns RangeExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns RangeExpr RangeExpr returns RangeExpr RangeExpr.RangeExpr_1_0 returns RangeExpr UnaryExpr returns RangeExpr CastExpr returns RangeExpr CastExpr.CastExpr_1_0 returns RangeExpr CastExprBody returns RangeExpr Constraint: (left=RangeExpr_RangeExpr_1_0 right=UnaryExpr)
sequence_RangeMultiplicity(ISerializationContext, RangeMultiplicity) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: ReferenceMultiplicity returns RangeMultiplicity Multiplicity returns RangeMultiplicity DefiniteMultiplicity returns RangeMultiplicity RangeMultiplicity returns RangeMultiplicity Constraint: (lowerBound=INT upperBound=UpperBound)
sequence_RealConstant(ISerializationContext, RealConstant) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns RealConstant AssignmentExpr returns RealConstant AssignmentExpr.AssignmentExpr_1_0 returns RealConstant BooleanExpr returns RealConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns RealConstant ComparisonExpr returns RealConstant ComparisonExpr.ComparisonExpr_1_0 returns RealConstant LatticeExpr returns RealConstant LatticeExpr.LatticeBinaryExpr_1_0 returns RealConstant AdditiveExpr returns RealConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns RealConstant MultiplicativeExpr returns RealConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns RealConstant ExponentialExpr returns RealConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns RealConstant RangeExpr returns RealConstant RangeExpr.RangeExpr_1_0 returns RealConstant UnaryExpr returns RealConstant CastExpr returns RealConstant CastExpr.CastExpr_1_0 returns RealConstant CastExprBody returns RealConstant Constant returns RealConstant RealConstant returns RealConstant Constraint: realValue=Real
sequence_ReferenceDeclaration(ISerializationContext, ReferenceDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: ReferenceDeclaration returns ReferenceDeclaration Constraint: ( (referenceType=[Relation|NonContainmentQualifiedName] | (kind=ReferenceKind referenceType=[Relation|QualifiedName])) multiplicity=ReferenceMultiplicity? name=Identifier ( opposite=[ReferenceDeclaration|QualifiedName]? (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? )+ )
sequence_RuleDefinition(ISerializationContext, RuleDefinition) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns RuleDefinition RuleDefinition returns RuleDefinition Constraint: ( kind=RuleKind? name=Identifier (parameters+=Parameter parameters+=Parameter*)? (preconditions+=Conjunction preconditions+=Conjunction*)? (consequents+=Consequent consequents+=Consequent*)? )
sequence_ScopeDeclaration(ISerializationContext, ScopeDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Statement returns ScopeDeclaration ScopeDeclaration returns ScopeDeclaration Constraint: (typeScopes+=TypeScope typeScopes+=TypeScope*)
sequence_ShortLogicConstant(ISerializationContext, LogicConstant) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: ShortLogicConstant returns LogicConstant Constraint: logicValue=ShortLogicValue?
sequence_StringConstant(ISerializationContext, StringConstant) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns StringConstant AssignmentExpr returns StringConstant AssignmentExpr.AssignmentExpr_1_0 returns StringConstant BooleanExpr returns StringConstant BooleanExpr.ArithmeticBinaryExpr_1_0 returns StringConstant ComparisonExpr returns StringConstant ComparisonExpr.ComparisonExpr_1_0 returns StringConstant LatticeExpr returns StringConstant LatticeExpr.LatticeBinaryExpr_1_0 returns StringConstant AdditiveExpr returns StringConstant AdditiveExpr.ArithmeticBinaryExpr_1_0 returns StringConstant MultiplicativeExpr returns StringConstant MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns StringConstant ExponentialExpr returns StringConstant ExponentialExpr.ArithmeticBinaryExpr_1_0 returns StringConstant RangeExpr returns StringConstant RangeExpr.RangeExpr_1_0 returns StringConstant UnaryExpr returns StringConstant CastExpr returns StringConstant CastExpr.CastExpr_1_0 returns StringConstant CastExprBody returns StringConstant Constant returns StringConstant StringConstant returns StringConstant Constraint: stringValue=STRING
sequence_TypeScope(ISerializationContext, TypeScope) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: TypeScope returns TypeScope Constraint: (targetType=[Relation|QualifiedName] increment?='+='? multiplicity=DefiniteMultiplicity)
sequence_UnboundedMultiplicity(ISerializationContext, UnboundedMultiplicity) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: ReferenceMultiplicity returns UnboundedMultiplicity Multiplicity returns UnboundedMultiplicity UnboundedMultiplicity returns UnboundedMultiplicity Constraint: {UnboundedMultiplicity}
sequence_VariableOrNodeExpr(ISerializationContext, VariableOrNodeExpr) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: Expr returns VariableOrNodeExpr AssignmentExpr returns VariableOrNodeExpr AssignmentExpr.AssignmentExpr_1_0 returns VariableOrNodeExpr BooleanExpr returns VariableOrNodeExpr BooleanExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr ComparisonExpr returns VariableOrNodeExpr ComparisonExpr.ComparisonExpr_1_0 returns VariableOrNodeExpr LatticeExpr returns VariableOrNodeExpr LatticeExpr.LatticeBinaryExpr_1_0 returns VariableOrNodeExpr AdditiveExpr returns VariableOrNodeExpr AdditiveExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr MultiplicativeExpr returns VariableOrNodeExpr MultiplicativeExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr ExponentialExpr returns VariableOrNodeExpr ExponentialExpr.ArithmeticBinaryExpr_1_0 returns VariableOrNodeExpr RangeExpr returns VariableOrNodeExpr RangeExpr.RangeExpr_1_0 returns VariableOrNodeExpr UnaryExpr returns VariableOrNodeExpr CastExpr returns VariableOrNodeExpr CastExpr.CastExpr_1_0 returns VariableOrNodeExpr CastExprBody returns VariableOrNodeExpr VariableOrNodeExpr returns VariableOrNodeExpr Constraint: variableOrNode=[VariableOrNode|QualifiedName]
sequence_WildcardAssertionArgument(ISerializationContext, WildcardAssertionArgument) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer: Contexts: AssertionArgument returns WildcardAssertionArgument WildcardAssertionArgument returns WildcardAssertionArgument Constraint: {WildcardAssertionArgument}
serializeCrossRef(EObject, CrossReference, EObject, INode, ISerializationDiagnostic.Acceptor) - Method in class tools.refinery.language.serializer.ProblemCrossReferenceSerializer
set(EObject, String, Object, String, INode) - Method in class tools.refinery.language.parser.ProblemEcoreElementFactory
setActualType(DataExprType) - Method in class tools.refinery.language.typesystem.MutableType
setContext(Resource) - Method in class tools.refinery.language.resource.LoadOnDemandResourceDescriptionProvider
setGrammarAccess(ProblemGrammarAccess) - Method in class tools.refinery.language.parser.antlr.ProblemParser
setIdentifierTokenProvider(IdentifierTokenProvider) - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
setInitialHiddenTokens(XtextTokenStream) - Method in class tools.refinery.language.parser.antlr.ProblemParser
setRecursive(boolean) - Method in class tools.refinery.language.parser.antlr.ProblemTokenSource
Shadow - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Shadow - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
SHADOW_PREDICATE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
SHADOW_PREDICATE_TRUE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
SHADOW_RELATION_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
SHADOWING_KEY - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
SHADOWING_KEY_AGGREGATOR - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
SHADOWING_KEY_NODE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
SHADOWING_KEY_PROBLEM - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
SHADOWING_KEY_RELATION - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
shadowingKey() - Method in record class tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey: Returns the value of the shadowingKey record component.
ShadowingKey(QualifiedName, String) - Constructor for record class tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey: Creates an instance of a ShadowingKey record class.
ShadowingKeyAwareSelectableBasedScope - Class in tools.refinery.language.scoping
ShadowingKeyAwareSelectableBasedScope(IScope, ISelectable, Predicate<IEObjectDescription>, EClass, boolean) - Constructor for class tools.refinery.language.scoping.ShadowingKeyAwareSelectableBasedScope
ShortLogicConstantElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicConstantElements
ShortLogicValueElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicValueElements
shouldExport(EObject) - Static method in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
shouldExportSimpleName(EObject) - Method in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
Signature - Record Class in tools.refinery.language.typesystem
Signature(List<FixedType>, FixedType) - Constructor for record class tools.refinery.language.typesystem.Signature: Creates an instance of a Signature record class.
SignatureProvider - Class in tools.refinery.language.typesystem
SignatureProvider() - Constructor for class tools.refinery.language.typesystem.SignatureProvider
singleNewLine(IHiddenRegionFormatter) - Method in class tools.refinery.language.formatting2.ProblemFormatter
SINGLETON_VARIABLE_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
Solidus - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Solidus - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
SolidusReverseSolidus - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
SolidusReverseSolidus - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
StatementElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.StatementElements
STRING_TYPE - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter
StringConstantElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.StringConstantElements
stripRootPrefix(QualifiedName) - Static method in class tools.refinery.language.naming.NamingUtil
Subsets - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Subsets - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
SUM_AGGREGATOR - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter
surroundNewLines(IFormattableDocument, EObject, Procedures.Procedure1<? super IHiddenRegionFormatter>) - Method in class tools.refinery.language.formatting2.ProblemFormatter
synpred1_InternalProblemParser() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
synpred1_InternalProblemParser_fragment() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
synpred2_InternalProblemParser() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
synpred2_InternalProblemParser_fragment() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

T

TermInterpreter - Interface in tools.refinery.language.expressions
toEscapedString(String) - Method in class tools.refinery.language.conversion.QUOTED_IDValueConverter
tokenNames - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
TokenSourceInjectingProblemParser - Class in tools.refinery.language.parser.antlr
TokenSourceInjectingProblemParser() - Constructor for class tools.refinery.language.parser.antlr.TokenSourceInjectingProblemParser
toList() - Method in class tools.refinery.language.scoping.imports.ImportCollection
tools.refinery.language - package tools.refinery.language
tools.refinery.language.conversion - package tools.refinery.language.conversion
tools.refinery.language.documentation - package tools.refinery.language.documentation
tools.refinery.language.expressions - package tools.refinery.language.expressions
tools.refinery.language.formatting2 - package tools.refinery.language.formatting2
tools.refinery.language.library - package tools.refinery.language.library
tools.refinery.language.linking - package tools.refinery.language.linking
tools.refinery.language.naming - package tools.refinery.language.naming
tools.refinery.language.parser - package tools.refinery.language.parser
tools.refinery.language.parser.antlr - package tools.refinery.language.parser.antlr
tools.refinery.language.parser.antlr.internal - package tools.refinery.language.parser.antlr.internal
tools.refinery.language.parser.antlr.lexer - package tools.refinery.language.parser.antlr.lexer
tools.refinery.language.resource - package tools.refinery.language.resource
tools.refinery.language.resource.state - package tools.refinery.language.resource.state
tools.refinery.language.scoping - package tools.refinery.language.scoping
tools.refinery.language.scoping.imports - package tools.refinery.language.scoping.imports
tools.refinery.language.serializer - package tools.refinery.language.serializer
tools.refinery.language.services - package tools.refinery.language.services
tools.refinery.language.typesystem - package tools.refinery.language.typesystem
tools.refinery.language.utils - package tools.refinery.language.utils
tools.refinery.language.validation - package tools.refinery.language.validation
toQualifiedName(String) - Method in class tools.refinery.language.naming.ProblemQualifiedNameConverter: Splits the given string into segments and returns them as a QualifiedName.
toString() - Method in record class tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.scoping.imports.NamedImport: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.scoping.imports.TransitiveImport: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.scoping.ProblemGlobalScopeProvider.LoadedImports: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.typesystem.AggregatorName: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.typesystem.DataExprType: Returns a string representation of this record class.
toString() - Method in class tools.refinery.language.typesystem.InvalidType
toString() - Method in class tools.refinery.language.typesystem.LiteralType
toString() - Method in class tools.refinery.language.typesystem.ModalLiteralType
toString() - Method in class tools.refinery.language.typesystem.MutableType
toString() - Method in class tools.refinery.language.typesystem.NodeType
toString() - Method in record class tools.refinery.language.typesystem.Signature: Returns a string representation of this record class.
toString(Integer) - Method in class tools.refinery.language.conversion.UpperBoundValueConverter
toString(String) - Method in class tools.refinery.language.conversion.IdentifierValueConverter
toString(QualifiedName) - Method in class tools.refinery.language.naming.ProblemQualifiedNameConverter: Converts the given qualified name to a string.
toUriSet() - Method in class tools.refinery.language.scoping.imports.ImportCollection
toValue(String, INode) - Method in class tools.refinery.language.conversion.IdentifierValueConverter
toValue(String, INode) - Method in class tools.refinery.language.conversion.UpperBoundValueConverter
TransitiveImport - Record Class in tools.refinery.language.scoping.imports
TransitiveImport(URI) - Constructor for record class tools.refinery.language.scoping.imports.TransitiveImport: Creates an instance of a TransitiveImport record class.
True - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
True - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
tryCreateVariableForArgument(VariableOrNodeExpr, String, IQualifiedNameConverter, IScope) - Method in class tools.refinery.language.resource.state.ImplicitVariableScope
twoNewLines(IHiddenRegionFormatter) - Method in class tools.refinery.language.formatting2.ProblemFormatter
TYPE_ERROR - Static variable in class tools.refinery.language.validation.ProblemValidator
TYPE_LIKE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
TYPE_LIKE_TRUE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy
TypedModule - Class in tools.refinery.language.typesystem
TypedModule() - Constructor for class tools.refinery.language.typesystem.TypedModule
TypeHashProvider - Class in tools.refinery.language.documentation
TypeHashProvider() - Constructor for class tools.refinery.language.documentation.TypeHashProvider
TypeScopeElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements

U

UnaryExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.UnaryExprElements
UnaryOpElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements
UnboundedMultiplicityElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.UnboundedMultiplicityElements
UNEXPECTED_MODULE_NAME_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
Unknown - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
Unknown - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
UNKNOWN_EXPRESSION_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
UNSUPPORTED_ASSERTION_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator
UNUSED_PARAMETER - Static variable in class tools.refinery.language.validation.ProblemValidator
UNUSED_PARTIAL_RELATION - Static variable in class tools.refinery.language.validation.ProblemValidator
unwrapIfSet() - Method in interface tools.refinery.language.typesystem.ExprType
unwrapIfSet() - Method in interface tools.refinery.language.typesystem.FixedType
unwrapIfSet() - Method in class tools.refinery.language.typesystem.MutableType
updateInternalState(IParseResult, IParseResult) - Method in class tools.refinery.language.resource.ProblemResource
UpperBound() - Method in class tools.refinery.language.conversion.ProblemValueConverterService
UpperBoundElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.UpperBoundElements
UpperBoundValueConverter - Class in tools.refinery.language.conversion
UpperBoundValueConverter() - Constructor for class tools.refinery.language.conversion.UpperBoundValueConverter
uri() - Method in interface tools.refinery.language.scoping.imports.Import
uri() - Method in record class tools.refinery.language.scoping.imports.NamedImport: Returns the value of the uri record component.
uri() - Method in record class tools.refinery.language.scoping.imports.TransitiveImport: Returns the value of the uri record component.

V

VariableOrNodeExprElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.VariableOrNodeExprElements
VerticalLine - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
VerticalLine - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer
VerticalLineVerticalLine - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser
VerticalLineVerticalLine - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

W

WildcardAssertionArgumentElements() - Constructor for class tools.refinery.language.services.ProblemGrammarAccess.WildcardAssertionArgumentElements

Z

ZERO_MULTIPLICITY_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator

A B C D E F G H I L M N O P Q R S T U V W Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form