Index

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

ABSTRACT - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy

ABSTRACT_TRUE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy

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

addLibrary(QualifiedName) - Method in class tools.refinery.language.library.ClasspathBasedLibrary

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

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

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

Annotation - Interface in tools.refinery.language.annotations

ANNOTATION_ISSUE - Static variable in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

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

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

AnnotationContext - Interface in tools.refinery.language.annotations

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

Annotations - Interface in tools.refinery.language.annotations

annotationsFor(EObject) - Method in interface tools.refinery.language.annotations.AnnotationContext

annotationsFor(EObject) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

annotationsFor(EObject) - Method in class tools.refinery.language.annotations.internal.TypedAnnotationContext

AnnotationUtil - Class in tools.refinery.language.annotations.internal

AnnotationValidator - Interface in tools.refinery.language.annotations

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

arrayToPath(String[]) - Static method in class tools.refinery.language.library.LibraryResolutionUtil

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_NAME - Static variable in class tools.refinery.language.utils.BuiltinSymbols

BOOLEAN_TYPE - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter

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

booleanDatatype() - Method in class tools.refinery.language.utils.BuiltinSymbols

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

BUILTIN_ANNOTATIONS_LIBRARY_NAME - Static variable in class tools.refinery.language.library.BuiltinLibrary

BUILTIN_ANNOTATIONS_LIBRARY_URI - Static variable in class tools.refinery.language.library.BuiltinLibrary

BUILTIN_LIBRARY_NAME - Static variable in class tools.refinery.language.library.BuiltinLibrary

BUILTIN_LIBRARY_URI - Static variable in class tools.refinery.language.library.BuiltinLibrary

BUILTIN_STRATEGY_LIBRARY_NAME - Static variable in class tools.refinery.language.library.BuiltinLibrary

BuiltinAnnotationContext - Class in tools.refinery.language.utils

BuiltinAnnotationContext() - Constructor for class tools.refinery.language.utils.BuiltinAnnotationContext

BuiltinAnnotations - Class in tools.refinery.language.annotations

BuiltinAnnotations() - Constructor for class tools.refinery.language.annotations.BuiltinAnnotations

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

canDisableConcretization(Relation) - Static method in class tools.refinery.language.utils.ProblemUtil

canDisableDecision(Relation) - Static method in class tools.refinery.language.utils.ProblemUtil

canEnableConcretization(Relation) - Static method in class tools.refinery.language.utils.ProblemUtil

canEnableDecision(Relation) - Static method in class tools.refinery.language.utils.ProblemUtil

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

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

checkAnnotation(Annotation) - Method in class tools.refinery.language.validation.ProblemAnnotationValidator

checkAnnotationDeclaration(AnnotationDeclaration) - Method in class tools.refinery.language.validation.ProblemAnnotationValidator

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

checkDuplicateAnnotatedElementAnnotations(AnnotatedElement) - Method in class tools.refinery.language.validation.ProblemAnnotationValidator

checkDuplicateProblemAnnotations(Problem) - Method in class tools.refinery.language.validation.ProblemAnnotationValidator

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

checkNodeDeclarationAnnotation(NodeDeclaration) - Method in class tools.refinery.language.validation.ProblemAnnotationValidator

checkOpposite(ReferenceDeclaration) - Method in class tools.refinery.language.validation.ProblemValidator

checkParameter(Parameter) - 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

CLASS_PARAMETER_NAME - Static variable in class tools.refinery.language.documentation.DocumentationCommentParser

ClasspathBasedLibrary - Class in tools.refinery.language.library

ClasspathBasedLibrary() - Constructor for class tools.refinery.language.library.ClasspathBasedLibrary

ClasspathBasedLibrary(Class<?>) - 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

CommercialAt - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

CommercialAt - 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

CompositeAnnotationValidator - Class in tools.refinery.language.annotations.internal

CompositeAnnotationValidator(List<AnnotationValidator>) - Constructor for class tools.refinery.language.annotations.internal.CompositeAnnotationValidator

CompositeLibrary - Class in tools.refinery.language.library.internal

CompositeLibrary(List<RefineryLibrary>) - Constructor for class tools.refinery.language.library.internal.CompositeLibrary

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

computeQualifiedName(URI, List<Path>) - Method in class tools.refinery.language.library.ClasspathBasedLibrary

computeQualifiedName(URI, List<Path>) - Method in class tools.refinery.language.library.internal.CompositeLibrary

computeQualifiedName(URI, List<Path>) - Method in class tools.refinery.language.library.PathLibrary

computeQualifiedName(URI, List<Path>) - Method in interface tools.refinery.language.library.RefineryLibrary

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

ConcretizationSettings - Record Class in tools.refinery.language.utils

ConcretizationSettings(boolean, boolean) - Constructor for record class tools.refinery.language.utils.ConcretizationSettings

Creates an instance of a ConcretizationSettings record class.

concretize() - Method in record class tools.refinery.language.utils.ConcretizationSettings

Returns the value of the concretize record component.

CONCRETIZE - Static variable in class tools.refinery.language.annotations.BuiltinAnnotations

CONCRETIZE_AUTO - Static variable in class tools.refinery.language.annotations.BuiltinAnnotations

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

CONTAINMENT - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy

CONTAINMENT_TRUE - Static variable in class tools.refinery.language.resource.ProblemResourceDescriptionStrategy

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

decide() - Method in record class tools.refinery.language.utils.ConcretizationSettings

Returns the value of the decide record component.

DECIDE - Static variable in class tools.refinery.language.annotations.BuiltinAnnotations

DECIDE_AUTO - Static variable in class tools.refinery.language.annotations.BuiltinAnnotations

Decision - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

Decision - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

DeclarativeAnnotationValidator - Class in tools.refinery.language.annotations

DeclarativeAnnotationValidator() - Constructor for class tools.refinery.language.annotations.DeclarativeAnnotationValidator

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

dfa35 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

dfa4 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

dfa40 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

dfa47 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

dfa53 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

dfa62 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

dfa67 - Variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

dfa77 - 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

DOCUMENTATION - Static variable in class tools.refinery.language.documentation.DocumentationCommentParser

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_ANNOTATION_ISSUE - Static variable in class tools.refinery.language.validation.ProblemAnnotationValidator

DUPLICATE_ARGUMENT_ISSUE - Static variable in class tools.refinery.language.validation.ProblemAnnotationValidator

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

E

emit_AnnotatedStatement___CommaKeyword_1_1_3_0_1_2_0_or_SemicolonKeyword_1_1_3_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_AnnotatedStatement_DeclareKeyword_1_7_1_1_0_q(EObject, ISyntacticSequencerPDAProvider.ISynNavigable, List<INode>) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer

Ambiguous syntax: 'declare'? This ambiguous syntax occurs at: {NodeDeclaration.annotations=} (ambiguity) kind=NodeKind

emit_AnnotatedStatement_FullStopKeyword_1_0_5_1_or___LeftCurlyBracketKeyword_1_0_5_0_0_RightCurlyBracketKeyword_1_0_5_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_AnnotatedStatement_FullStopKeyword_1_1_3_1_or___LeftCurlyBracketKeyword_1_1_3_0_0_RightCurlyBracketKeyword_1_1_3_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_AnnotatedStatement_SemicolonKeyword_1_0_5_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_Annotation___LeftParenthesisKeyword_2_0_RightParenthesisKeyword_2_2__q(EObject, ISyntacticSequencerPDAProvider.ISynNavigable, List<INode>) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer

Ambiguous syntax: ('(' ')')? This ambiguous syntax occurs at: declaration=[AnnotationDeclaration|QualifiedName] (ambiguity) (rule end)

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) element=[NamedElement|QualifiedName] (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) {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=}

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

entryRuleAnnotatedStatement() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

entryRuleAnnotation() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

entryRuleAnnotationArgument() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

entryRuleAnnotationContainer() - 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

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

entryRuleDefiniteMultiplicity() - 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

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

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

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

entryRuleTopLevelAnnotation() - 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

ENUM_PARAMETER_NAME - Static variable in class tools.refinery.language.documentation.DocumentationCommentParser

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.

equals(Object) - Method in record class tools.refinery.language.utils.ConcretizationSettings

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(String, EObject, int, int, String, String...) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

error(String, EObject, EStructuralFeature, int, String, String...) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

error(String, Annotation) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

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

expectType(ValidationMessageAcceptor, Expr, FixedType) - Method in class tools.refinery.language.typesystem.TypedModule

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

FOCUS - Enum constant in enum class tools.refinery.language.utils.ParameterBinding

FOCUS - Static variable in class tools.refinery.language.annotations.BuiltinAnnotations

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_63 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

FOLLOW_64 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

FOLLOW_65 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

FOLLOW_66 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

FOLLOW_67 - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

FOLLOW_68 - 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(Object, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter

format(AnnotationArgument, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter

format(AnnotationContainer, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter

format(Annotation, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter

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(Multiplicity, 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

format(ReferenceDeclaration, IFormattableDocument) - Method in class tools.refinery.language.formatting2.ProblemFormatter

format(TopLevelAnnotation, 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_1_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getAbstractAssignment_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

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

getAggregatorDeclarationAnnotationsAction_1_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getAggregatorKeyword_1_3_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

getAllAnnotations() - Method in interface tools.refinery.language.annotations.Annotations

getAllAnnotations() - Method in class tools.refinery.language.annotations.internal.TypedAnnotations

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.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.NonContainmentQualifiedNameElements

getAlternatives_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getAlternatives_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements

getAlternatives_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getAlternatives_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getAlternatives_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TypeScopeElements

getAlternatives_1_0_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getAlternatives_1_1_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getAlternatives_1_1_3_0_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getAlternatives_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements

getAlternatives_1_4_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getAlternatives_1_7_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getANDAmpersandAmpersandKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements

getANDEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.BooleanBinaryOpElements

getAnnotatedElement() - Method in interface tools.refinery.language.annotations.Annotation

getAnnotatedElement() - Method in interface tools.refinery.language.annotations.Annotations

getAnnotatedElement() - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

getAnnotatedElement() - Method in class tools.refinery.language.annotations.internal.TypedAnnotations

getAnnotatedStatementAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getAnnotatedStatementParserRuleCall_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements

getAnnotatedStatementRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getAnnotation() - Method in interface tools.refinery.language.annotations.Annotation

getAnnotation() - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

getAnnotation(QualifiedName) - Method in interface tools.refinery.language.annotations.Annotations

getAnnotation(QualifiedName) - Method in class tools.refinery.language.annotations.internal.TypedAnnotations

getAnnotationAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getAnnotationAction_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getAnnotationAnnotationParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TopLevelAnnotationElements

getAnnotationArgumentAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getAnnotationArgumentAction_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements

getAnnotationArgumentRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getAnnotationAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TopLevelAnnotationElements

getAnnotationContainerAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getAnnotationContainerAction_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationContainerElements

getAnnotationContainerParserRuleCall_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getAnnotationContainerRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getAnnotationDeclarationAnnotationsAction_1_6_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getAnnotationName() - Method in interface tools.refinery.language.annotations.Annotation

getAnnotationName() - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

getAnnotationParameterScope(EObject) - Method in class tools.refinery.language.scoping.ProblemScopeProvider

getAnnotationRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getAnnotations(QualifiedName) - Method in interface tools.refinery.language.annotations.Annotations

getAnnotations(QualifiedName) - Method in class tools.refinery.language.annotations.internal.TypedAnnotations

getAnnotationsAnnotationContainerParserRuleCall_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumLiteralElements

getAnnotationsAnnotationContainerParserRuleCall_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getAnnotationsAnnotationContainerParserRuleCall_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getAnnotationsAnnotationParserRuleCall_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationContainerElements

getAnnotationsAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumLiteralElements

getAnnotationsAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getAnnotationsAssignment_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getAnnotationsAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationContainerElements

getAnnotationValidator() - Method in class tools.refinery.language.scoping.imports.ImportAdapter

getAnnotationValidators() - Method in class tools.refinery.language.scoping.imports.ImportAdapter

getAntlrTokenFile() - Method in class tools.refinery.language.parser.antlr.ProblemAntlrTokenFileProvider

getANY_OTHERRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getArgumentsAnnotationArgumentParserRuleCall_2_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getArgumentsAnnotationArgumentParserRuleCall_2_1_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

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_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getArgumentsAssignment_2_1_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

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 class tools.refinery.language.library.internal.CompositeLibrary

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

getBodiesAssignment_1_4_7_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getBodiesAssignment_1_4_7_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getBodiesConjunctionParserRuleCall_1_4_7_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getBodiesConjunctionParserRuleCall_1_4_7_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

getBoolean(String) - Method in interface tools.refinery.language.annotations.Annotation

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

getBooleans(String) - Method in interface tools.refinery.language.annotations.Annotation

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

getClassDeclarationAnnotationsAction_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getClassKeyword_1_0_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_0_4_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getCommaKeyword_1_1_3_0_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getCommaKeyword_1_1_3_0_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_1_4_4_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getCommaKeyword_1_4_6_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getCommaKeyword_1_5_5_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getCommaKeyword_1_6_5_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getCommaKeyword_1_7_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getCommaKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements

getCommaKeyword_2_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getCommaKeyword_3_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements

getCommaKeyword_4_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getCommercialAtKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationContainerElements

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

getConcretizationSettings(Relation) - Method in class tools.refinery.language.utils.BuiltinAnnotationContext

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_1_5_8_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getConsequentsAssignment_1_5_8_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getConsequentsConsequentParserRuleCall_1_5_8_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getConsequentsConsequentParserRuleCall_1_5_8_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

getContext() - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

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

getDatatypeDeclarationAnnotationsAction_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getDatatypeKeyword_1_2_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

getDeclarationAnnotationDeclarationCrossReference_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getDeclarationAnnotationDeclarationQualifiedNameParserRuleCall_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getDeclarationAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getDeclareKeyword_1_7_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getDeclareKeyword_1_7_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

getDocumentation(QualifiedName) - Method in class tools.refinery.language.library.ClasspathBasedLibrary

getDocumentation(QualifiedName) - Method in class tools.refinery.language.library.internal.CompositeLibrary

getDocumentation(QualifiedName) - Method in interface tools.refinery.language.library.RefineryLibrary

getDouble(String) - Method in interface tools.refinery.language.annotations.Annotation

getDoubles(String) - Method in interface tools.refinery.language.annotations.Annotation

getDuplicateAnnotations() - Method in class tools.refinery.language.annotations.internal.TypedAnnotations

getDuplicateParameters() - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

getElementAssignment() - Method in class tools.refinery.language.services.ProblemGrammarAccess.VariableOrNodeExprElements

getElementNamedElementCrossReference_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.VariableOrNodeExprElements

getElementNamedElementQualifiedNameParserRuleCall_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.VariableOrNodeExprElements

getEnumDeclarationAnnotationsAction_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getEnumKeyword_1_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_1_5_8_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getEqualsSignKeyword_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements

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_1_0_4_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getExternKeyword_1_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getExternKeyword_1_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_1_0_5_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFeatureDeclarationsReferenceDeclarationParserRuleCall_1_0_5_0_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFirstRuleName() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

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_0_5_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFullStopKeyword_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.RealElements

getFullStopKeyword_1_1_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFullStopKeyword_1_2_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFullStopKeyword_1_3_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFullStopKeyword_1_4_8() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFullStopKeyword_1_5_9() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFullStopKeyword_1_6_7() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFullStopKeyword_1_7_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getFullStopKeyword_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements

getFullStopKeyword_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TopLevelAnnotationElements

getFullStopKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements

getFullStopKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements

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.AnnotatedStatementElements

getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements

getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationContainerElements

getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

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.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.EnumLiteralElements

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.NonContainmentQualifiedNameElements

getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

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.ScopeDeclarationElements

getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ShortLogicConstantElements

getGroup() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TopLevelAnnotationElements

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.NonContainmentQualifiedNameElements

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.AnnotationArgumentElements

getGroup_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationContainerElements

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.AnnotatedStatementElements

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_0_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_0_4_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_0_5_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_0_5_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements

getGroup_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getGroup_1_1_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements

getGroup_1_1_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_1_3_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_1_3_0_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_1_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AssertionElements

getGroup_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_1_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_4_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_4_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_4_4_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_4_6() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_4_6_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_4_7() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_4_7_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_5_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_5_5_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_5_7() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_5_7_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_5_8() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_5_8_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_6() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_6_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_6_5_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_7() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_7_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_1_7_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getGroup_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getGroup_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ImportStatementElements

getGroup_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.QualifiedNameElements

getGroup_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ScopeDeclarationElements

getGroup_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getGroup_2_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getGroup_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements

getGroup_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements

getGroup_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements

getGroup_4_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getGroup_4_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getGroup_4_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

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

getInteger(String) - Method in interface tools.refinery.language.annotations.Annotation

getIntegers(String) - Method in interface tools.refinery.language.annotations.Annotation

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_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements

getKindAssignment_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getKindAssignment_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getKindAssignment_1_4_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getKindAssignment_1_4_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getKindAssignment_1_5_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getKindAssignment_1_7_1_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getKindErrorPredicateKindEnumRuleCall_1_4_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getKindModuleKindEnumRuleCall_0_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements

getKindNodeKindEnumRuleCall_1_7_1_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getKindParameterKindEnumRuleCall_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getKindPredicateKindEnumRuleCall_1_4_1_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getKindReferenceKindEnumRuleCall_1_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getKindRuleKindEnumRuleCall_1_5_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_1_0_5_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getLeftCurlyBracketKeyword_1_1_3_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_1_4_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getLeftParenthesisKeyword_1_5_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getLeftParenthesisKeyword_1_6_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getLeftParenthesisKeyword_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements

getLeftParenthesisKeyword_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

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_1_4_7_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getLessThanSignHyphenMinusGreaterThanSignKeyword_1_5_7_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getLibraries() - Method in class tools.refinery.language.scoping.imports.ImportAdapter

getLibrary() - 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_1_1_3_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getLiteralsAssignment_1_1_3_0_1_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getLiteralsEnumLiteralParserRuleCall_1_1_3_0_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getLiteralsEnumLiteralParserRuleCall_1_1_3_0_1_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

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

getMessageAcceptor() - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

getMINUSEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements

getMINUSHyphenMinusKeyword_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.UnaryOpElements

getMissingParameterNames() - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

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

getMULTIEnumLiteralDeclaration_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.NodeKindElements

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_2() - 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_2_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_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ProblemElements

getNameAssignment_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumLiteralElements

getNameAssignment_1_0_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameAssignment_1_1_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameAssignment_1_2_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameAssignment_1_3_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameAssignment_1_4_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameAssignment_1_5_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameAssignment_1_6_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getNameAssignment_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getNameIdentifierParserRuleCall_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.EnumLiteralElements

getNameIdentifierParserRuleCall_1_0_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameIdentifierParserRuleCall_1_1_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameIdentifierParserRuleCall_1_2_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameIdentifierParserRuleCall_1_3_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameIdentifierParserRuleCall_1_4_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameIdentifierParserRuleCall_1_5_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameIdentifierParserRuleCall_1_6_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNameIdentifierParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getNameIdentifierParserRuleCall_3_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

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

getNextParameter() - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

getNode(String) - Method in interface tools.refinery.language.annotations.Annotation

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

getNodeDeclarationAnnotationsAction_1_7_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

getNodes(String) - Method in interface tools.refinery.language.annotations.Annotation

getNodesAssignment_1_7_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNodesAssignment_1_7_3_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNodesEnumLiteralParserRuleCall_1_7_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getNodesEnumLiteralParserRuleCall_1_7_3_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

getNumberSignKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.TopLevelAnnotationElements

getNumberSignKeyword_1_6_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_4_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getOppositeKeyword_3() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements

getOppositeKeyword_4_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getOppositeReferenceDeclarationCrossReference_4_0_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getOppositeReferenceDeclarationQualifiedNameParserRuleCall_4_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

getParameter(EObject) - Method in class tools.refinery.language.annotations.internal.TypedAnnotationContext

getParameter(AnnotationArgument) - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

getParameterAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getParameterAssignment_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements

getParameterBinding(Parameter) - Method in class tools.refinery.language.utils.BuiltinAnnotationContext

getParameterKindAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getParameterKindRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getParameterParameterCrossReference_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements

getParameterParameterIdentifierParserRuleCall_1_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements

getParameterRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getParameters() - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

getParametersAssignment_1_4_4_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersAssignment_1_4_4_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersAssignment_1_5_5_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersAssignment_1_5_5_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersAssignment_1_6_5_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersAssignment_1_6_5_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersParameterParserRuleCall_1_4_4_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersParameterParserRuleCall_1_4_4_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersParameterParserRuleCall_1_5_5_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersParameterParserRuleCall_1_5_5_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersParameterParserRuleCall_1_6_5_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParametersParameterParserRuleCall_1_6_5_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getParameterTypeAssignment_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getParameterTypeRelationCrossReference_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getParameterTypeRelationQualifiedNameParserRuleCall_1_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterElements

getPARTIALEnumLiteralDeclaration_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements

getPARTIALPartialKeyword_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ConcretenessElements

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_1_5_7_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getPreconditionsAssignment_1_5_7_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getPreconditionsConjunctionParserRuleCall_1_5_7_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getPreconditionsConjunctionParserRuleCall_1_5_7_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getPREDEnumLiteralDeclaration() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterKindElements

getPredicateDefinitionAnnotationsAction_1_4_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getPredicateKindAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getPredicateKindRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getPredKeyword_1_4_1_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getPredKeyword_1_6_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getPREDPredKeyword_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterKindElements

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

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_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getReferenceTypeAssignment_1_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getReferenceTypeRelationCrossReference_1_0_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getReferenceTypeRelationCrossReference_1_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getReferenceTypeRelationNonContainmentQualifiedNameParserRuleCall_1_0_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getReferenceTypeRelationQualifiedNameParserRuleCall_1_1_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getRelation(String) - Method in interface tools.refinery.language.annotations.Annotation

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

getRelations(String) - Method in interface tools.refinery.language.annotations.Annotation

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_1_0_5_0_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getRightCurlyBracketKeyword_1_1_3_0_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_1_4_5() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getRightParenthesisKeyword_1_5_6() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getRightParenthesisKeyword_1_6_6() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getRightParenthesisKeyword_2_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

getRightParenthesisKeyword_3_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.CastExprBodyElements

getRightParenthesisKeyword_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AtomElements

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.AnnotatedStatementElements

getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements

getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationContainerElements

getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationElements

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.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.DefiniteMultiplicityElements

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.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.ParameterElements

getRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ParameterKindElements

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.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.TopLevelAnnotationElements

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

getRuleDefinitionAnnotationsAction_1_5_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getRuleKeyword_1_5_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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_3() - 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_1_0_5_0_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSemicolonKeyword_1_1_3_0_1_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSemicolonKeyword_1_4_7_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSemicolonKeyword_1_5_7_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSemicolonKeyword_1_5_8_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSHADOWEnumLiteralDeclaration_1() - 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_1_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

getString(String) - Method in interface tools.refinery.language.annotations.Annotation

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

getStrings(String) - Method in interface tools.refinery.language.annotations.Annotation

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_1_4_6_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSubsetsKeyword_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.IdentifierElements

getSubsetsKeyword_4_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getSuggestedLibraries() - Method in class tools.refinery.language.library.ClasspathBasedLibrary

getSuggestedLibraries() - Method in class tools.refinery.language.library.internal.CompositeLibrary

getSuggestedLibraries() - Method in interface tools.refinery.language.library.RefineryLibrary

getSuperSetsAssignment_1_4_6_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperSetsAssignment_1_4_6_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperSetsAssignment_4_1_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getSuperSetsAssignment_4_1_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getSuperSetsReferenceDeclarationCrossReference_1_4_6_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperSetsReferenceDeclarationCrossReference_1_4_6_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperSetsReferenceDeclarationCrossReference_4_1_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getSuperSetsReferenceDeclarationCrossReference_4_1_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getSuperSetsReferenceDeclarationQualifiedNameParserRuleCall_1_4_6_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperSetsReferenceDeclarationQualifiedNameParserRuleCall_1_4_6_2_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperSetsReferenceDeclarationQualifiedNameParserRuleCall_4_1_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getSuperSetsReferenceDeclarationQualifiedNameParserRuleCall_4_1_2_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.ReferenceDeclarationElements

getSuperTypesAssignment_1_0_4_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperTypesAssignment_1_0_4_2_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperTypesRelationCrossReference_1_0_4_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperTypesRelationCrossReference_1_0_4_2_1_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperTypesRelationQualifiedNameParserRuleCall_1_0_4_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

getSuperTypesRelationQualifiedNameParserRuleCall_1_0_4_2_1_0_1() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotatedStatementElements

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

getTopLevelAnnotationAccess() - Method in class tools.refinery.language.services.ProblemGrammarAccess

getTopLevelAnnotationParserRuleCall_4() - Method in class tools.refinery.language.services.ProblemGrammarAccess.StatementElements

getTopLevelAnnotationRule() - Method in class tools.refinery.language.services.ProblemGrammarAccess

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

getTyping(Annotation) - Method in class tools.refinery.language.annotations.internal.TypedAnnotationContext

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_4() - 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

getValue(String) - Method in interface tools.refinery.language.annotations.Annotation

getValue(String) - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

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

getValueAssignment_2() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements

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

getValueExprParserRuleCall_2_0() - Method in class tools.refinery.language.services.ProblemGrammarAccess.AnnotationArgumentElements

getValues(String) - Method in interface tools.refinery.language.annotations.Annotation

getValues(String) - Method in class tools.refinery.language.annotations.internal.TypedAnnotation

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

getVariableOrNodeElementScope(EObject) - Method in class tools.refinery.language.scoping.ProblemScopeProvider

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

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

hasAnnotation(QualifiedName) - Method in interface tools.refinery.language.annotations.Annotations

hasAnnotation(QualifiedName) - Method in class tools.refinery.language.annotations.internal.TypedAnnotations

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.

hashCode() - Method in record class tools.refinery.language.utils.ConcretizationSettings

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

ID_REGEX_STRING - Static variable in class tools.refinery.language.naming.NamingUtil

Identifier() - Method in class tools.refinery.language.conversion.ProblemValueConverterService

IDENTIFIER_REGEX_STRING - Static variable in class tools.refinery.language.naming.NamingUtil

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

info(String, EObject, int, int, String, String...) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

info(String, EObject, EStructuralFeature, int, String, String...) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

info(String, Annotation) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

init(IGrammarAccess) - Method in class tools.refinery.language.serializer.ProblemSyntacticSequencer

initialize(IAcceptor<PreferenceKey>) - Method in class tools.refinery.language.validation.ProblemConfigurableIssueCodesProvider

INSIGNIFICANT_INDEX - Static variable in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

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_NAME - Static variable in class tools.refinery.language.utils.BuiltinSymbols

INT_TYPE - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter

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

intDatatype() - Method in class tools.refinery.language.utils.BuiltinSymbols

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_NODE_ANNOTATION_ISSUE - Static variable in class tools.refinery.language.validation.ProblemAnnotationValidator

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

INVALID_PARAMETER_ISSUE - Static variable in class tools.refinery.language.validation.ProblemAnnotationValidator

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

isConcretizeByDefault(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

isDecideByDefault(Relation) - Static method in class tools.refinery.language.utils.ProblemUtil

isDeclaredNode(Node) - Static method in class tools.refinery.language.utils.ProblemUtil

isDerivedStatePredicate(EObject) - 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

LibraryResolutionUtil - Class in tools.refinery.language.library

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

LONE - Enum constant in enum class tools.refinery.language.utils.ParameterBinding

LONE - Static variable in class tools.refinery.language.annotations.BuiltinAnnotations

lookup() - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

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_AnnotatedStatement___CommaKeyword_1_1_3_0_1_2_0_or_SemicolonKeyword_1_1_3_0_1_2_1__q - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer

match_AnnotatedStatement_DeclareKeyword_1_7_1_1_0_q - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer

match_AnnotatedStatement_FullStopKeyword_1_0_5_1_or___LeftCurlyBracketKeyword_1_0_5_0_0_RightCurlyBracketKeyword_1_0_5_0_2__ - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer

match_AnnotatedStatement_FullStopKeyword_1_1_3_1_or___LeftCurlyBracketKeyword_1_1_3_0_0_RightCurlyBracketKeyword_1_1_3_0_2__ - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer

match_AnnotatedStatement_SemicolonKeyword_1_0_5_0_1_1_q - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer

match_Annotation___LeftParenthesisKeyword_2_0_RightParenthesisKeyword_2_2__q - Variable in class tools.refinery.language.serializer.ProblemSyntacticSequencer

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

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

mCommercialAt() - 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_ARGUMENT_ISSUE - Static variable in class tools.refinery.language.validation.ProblemAnnotationValidator

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

mNumberSign() - 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

MULTI - Enum constant in enum class tools.refinery.language.utils.ParameterBinding

MULTI - Static variable in class tools.refinery.language.annotations.BuiltinAnnotations

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

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

NumberSign - Static variable in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

NumberSign - Static variable in class tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

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

OPTIONAL - Static variable in class tools.refinery.language.annotations.BuiltinAnnotations

P

ParameterBinding - Enum Class in tools.refinery.language.utils

parameterBindingAnnotationsAreForbidden(RuleDefinition) - Static method in class tools.refinery.language.utils.ProblemUtil

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

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

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

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

prependNewLines(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

ProblemAnnotationValidator - Class in tools.refinery.language.validation

ProblemAnnotationValidator() - Constructor for class tools.refinery.language.validation.ProblemAnnotationValidator

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.AnnotatedStatementElements - Class in tools.refinery.language.services

ProblemGrammarAccess.AnnotationArgumentElements - Class in tools.refinery.language.services

ProblemGrammarAccess.AnnotationContainerElements - Class in tools.refinery.language.services

ProblemGrammarAccess.AnnotationElements - 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.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.DefiniteMultiplicityElements - 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.NodeKindElements - Class in tools.refinery.language.services

ProblemGrammarAccess.NonContainmentIdentifierElements - Class in tools.refinery.language.services

ProblemGrammarAccess.NonContainmentQualifiedNameElements - Class in tools.refinery.language.services

ProblemGrammarAccess.ParameterElements - Class in tools.refinery.language.services

ProblemGrammarAccess.ParameterKindElements - 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.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.TopLevelAnnotationElements - 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

qualifiedNameToPath(QualifiedName) - Static method in class tools.refinery.language.library.LibraryResolutionUtil

qualifiedNameToPath(QualifiedName, String) - Static method in class tools.refinery.language.library.LibraryResolutionUtil

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_ID_REGEX_STRING - Static variable in class tools.refinery.language.naming.NamingUtil

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_NAME - Static variable in class tools.refinery.language.utils.BuiltinSymbols

REAL_TYPE - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter

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

realDatatype() - Method in class tools.refinery.language.utils.BuiltinSymbols

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

REFERENCE_SOURCE_PARAMETER_NAME - Static variable in class tools.refinery.language.documentation.DocumentationCommentParser

REFERENCE_TARGET_PARAMETER_NAME - Static variable in class tools.refinery.language.documentation.DocumentationCommentParser

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

register(EValidatorRegistrar) - Method in class tools.refinery.language.validation.ProblemAnnotationValidator

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

REPEATABLE - Static variable in class tools.refinery.language.annotations.BuiltinAnnotations

resolveAndCacheQualifiedName(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.internal.CompositeLibrary

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

ruleAnnotatedStatement() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

ruleAnnotation() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

ruleAnnotationArgument() - Method in class tools.refinery.language.parser.antlr.internal.InternalProblemParser

ruleAnnotationContainer() - 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

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

ruleDefiniteMultiplicity() - 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

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

ruleParameterKind() - 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

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

ruleTopLevelAnnotation() - 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_AnnotatedStatement(ISerializationContext, AggregatorDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Statement returns AggregatorDeclaration AnnotatedStatement returns AggregatorDeclaration Constraint: (annotations=AnnotatedStatement_AggregatorDeclaration_1_3_0 name=Identifier)

sequence_AnnotatedStatement(ISerializationContext, AnnotationDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Statement returns AnnotationDeclaration AnnotatedStatement returns AnnotationDeclaration Constraint: (annotations=AnnotatedStatement_AnnotationDeclaration_1_6_0 name=Identifier (parameters+=Parameter parameters+=Parameter*)?)

sequence_AnnotatedStatement(ISerializationContext, ClassDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Statement returns ClassDeclaration AnnotatedStatement returns ClassDeclaration Constraint: ( annotations=AnnotatedStatement_ClassDeclaration_1_0_0 abstract?='abstract'? name=Identifier (superTypes+=[Relation|QualifiedName] superTypes+=[Relation|QualifiedName]*)? featureDeclarations+=ReferenceDeclaration* )

sequence_AnnotatedStatement(ISerializationContext, DatatypeDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Statement returns DatatypeDeclaration AnnotatedStatement returns DatatypeDeclaration Constraint: (annotations=AnnotatedStatement_DatatypeDeclaration_1_2_0 name=Identifier)

sequence_AnnotatedStatement(ISerializationContext, EnumDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Statement returns EnumDeclaration AnnotatedStatement returns EnumDeclaration Constraint: (annotations=AnnotatedStatement_EnumDeclaration_1_1_0 name=Identifier (literals+=EnumLiteral literals+=EnumLiteral*)?)

sequence_AnnotatedStatement(ISerializationContext, NodeDeclaration) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Statement returns NodeDeclaration AnnotatedStatement returns NodeDeclaration Constraint: (annotations=AnnotatedStatement_NodeDeclaration_1_7_0 kind=NodeKind? nodes+=EnumLiteral nodes+=EnumLiteral*)

sequence_AnnotatedStatement(ISerializationContext, PredicateDefinition) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Statement returns PredicateDefinition AnnotatedStatement returns PredicateDefinition Constraint: ( annotations=AnnotatedStatement_PredicateDefinition_1_4_0 (kind=ErrorPredicateKind | kind=PredicateKind)? name=Identifier (parameters+=Parameter parameters+=Parameter*)? (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? (bodies+=Conjunction bodies+=Conjunction*)? )

sequence_AnnotatedStatement(ISerializationContext, RuleDefinition) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Statement returns RuleDefinition AnnotatedStatement returns RuleDefinition Constraint: ( annotations=AnnotatedStatement_RuleDefinition_1_5_0 kind=RuleKind? name=Identifier (parameters+=Parameter parameters+=Parameter*)? (preconditions+=Conjunction preconditions+=Conjunction*)? (consequents+=Consequent consequents+=Consequent*)? )

sequence_Annotation(ISerializationContext, Annotation) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Annotation returns Annotation Constraint: (declaration=[AnnotationDeclaration|QualifiedName] (arguments+=AnnotationArgument arguments+=AnnotationArgument*)?)

sequence_AnnotationArgument(ISerializationContext, AnnotationArgument) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: AnnotationArgument returns AnnotationArgument Constraint: (parameter=[Parameter|Identifier]? value=Expr)

sequence_AnnotationContainer(ISerializationContext, AnnotationContainer) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: AnnotatedStatement.ClassDeclaration_1_0_0 returns AnnotationContainer AnnotatedStatement.EnumDeclaration_1_1_0 returns AnnotationContainer AnnotatedStatement.DatatypeDeclaration_1_2_0 returns AnnotationContainer AnnotatedStatement.AggregatorDeclaration_1_3_0 returns AnnotationContainer AnnotatedStatement.PredicateDefinition_1_4_0 returns AnnotationContainer AnnotatedStatement.RuleDefinition_1_5_0 returns AnnotationContainer AnnotatedStatement.AnnotationDeclaration_1_6_0 returns AnnotationContainer AnnotatedStatement.NodeDeclaration_1_7_0 returns AnnotationContainer AnnotationContainer returns AnnotationContainer Constraint: annotations+=Annotation*

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_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_EnumLiteral(ISerializationContext, Node) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: EnumLiteral returns Node Constraint: (annotations=AnnotationContainer 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_Parameter(ISerializationContext, Parameter) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Parameter returns Parameter Constraint: (annotations=AnnotationContainer (kind=ParameterKind | parameterType=[Relation|QualifiedName])? name=Identifier)

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: ( annotations=AnnotationContainer (referenceType=[Relation|NonContainmentQualifiedName] | (kind=ReferenceKind referenceType=[Relation|QualifiedName])) multiplicity=ReferenceMultiplicity? name=Identifier ( opposite=[ReferenceDeclaration|QualifiedName]? (superSets+=[ReferenceDeclaration|QualifiedName] superSets+=[ReferenceDeclaration|QualifiedName]*)? )+ )

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_TopLevelAnnotation(ISerializationContext, TopLevelAnnotation) - Method in class tools.refinery.language.serializer.ProblemSemanticSequencer

Contexts: Statement returns TopLevelAnnotation TopLevelAnnotation returns TopLevelAnnotation Constraint: annotation=Annotation

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: element=[NamedElement|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_ANNOTATION - 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

SINGLE - Enum constant in enum class tools.refinery.language.utils.ParameterBinding

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_NAME - Static variable in class tools.refinery.language.utils.BuiltinSymbols

STRING_TYPE - Static variable in class tools.refinery.language.expressions.BuiltinTermInterpreter

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

stringDatatype() - Method in class tools.refinery.language.utils.BuiltinSymbols

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

toBoolean(Expr) - Static method in class tools.refinery.language.annotations.internal.AnnotationUtil

toDouble(Expr) - Static method in class tools.refinery.language.annotations.internal.AnnotationUtil

toEscapedString(String) - Method in class tools.refinery.language.conversion.QUOTED_IDValueConverter

toInteger(Expr) - Static method in class tools.refinery.language.annotations.internal.AnnotationUtil

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

toNode(Expr) - Static method in class tools.refinery.language.annotations.internal.AnnotationUtil

tools.refinery.language - package tools.refinery.language

tools.refinery.language.annotations - package tools.refinery.language.annotations

tools.refinery.language.annotations.internal - package tools.refinery.language.annotations.internal

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.library.internal - package tools.refinery.language.library.internal

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

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

toQualifiedName(String) - Method in class tools.refinery.language.naming.ProblemQualifiedNameConverter

Splits the given string into segments and returns them as a QualifiedName.

toRelation(Expr) - Static method in class tools.refinery.language.annotations.internal.AnnotationUtil

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() - Method in record class tools.refinery.language.utils.ConcretizationSettings

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.

toString(Expr) - Static method in class tools.refinery.language.annotations.internal.AnnotationUtil

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

TypedAnnotation - Class in tools.refinery.language.annotations.internal

TypedAnnotationContext - Class in tools.refinery.language.annotations.internal

TypedAnnotationContext() - Constructor for class tools.refinery.language.annotations.internal.TypedAnnotationContext

TypedAnnotations - Class in tools.refinery.language.annotations.internal

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_ISSUE - Static variable in class tools.refinery.language.validation.ProblemValidator

UNUSED_PARTIAL_RELATION_ISSUE - 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

validate(Annotation, AnnotationContext, ValidationMessageAcceptor) - Method in interface tools.refinery.language.annotations.AnnotationValidator

validate(Annotation, AnnotationContext, ValidationMessageAcceptor) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

validate(Annotation, AnnotationContext, ValidationMessageAcceptor) - Method in class tools.refinery.language.annotations.internal.CompositeAnnotationValidator

ValidateAnnotation - Annotation Interface in tools.refinery.language.annotations

ValidateAnnotations - Annotation Interface in tools.refinery.language.annotations

VALIDATOR_FAILED_ISSUE - Static variable in class tools.refinery.language.validation.ProblemAnnotationValidator

value() - Element in annotation interface tools.refinery.language.annotations.ValidateAnnotation

value() - Element in annotation interface tools.refinery.language.annotations.ValidateAnnotations

valueOf(String) - Static method in enum class tools.refinery.language.utils.ParameterBinding

Returns the enum constant of this class with the specified name.

values() - Static method in enum class tools.refinery.language.utils.ParameterBinding

Returns an array containing the constants of this enum class, in the order they are declared.

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

warning(String, EObject, int, int, String, String...) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

warning(String, EObject, EStructuralFeature, int, String, String...) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

warning(String, Annotation) - Method in class tools.refinery.language.annotations.DeclarativeAnnotationValidator

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