Index (refinery-language-semantics 0.1.4-SNAPSHOT API)

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

A

addTrace(EObject, Throwable) - Static method in exception class tools.refinery.language.semantics.TracedException
arity() - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata: Returns the value of the arity record component.
ATOM - Enum constant in enum class tools.refinery.language.semantics.metadata.NodeKind

B

BASE - Enum constant in enum class tools.refinery.language.semantics.metadata.PredicateDetailKind

C

Class(boolean, String) - Constructor for record class tools.refinery.language.semantics.metadata.RelationDetail.Class: Creates an instance of a Class record class.
collectMutableRelations(Collection<Problem>) - Method in class tools.refinery.language.semantics.internal.MutableRelationCollector
collectMutableRelations(Problem) - Method in class tools.refinery.language.semantics.internal.MutableRelationCollector
color() - Method in record class tools.refinery.language.semantics.metadata.NodeMetadata: Returns the value of the color record component.
color() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Class: Returns the value of the color record component.
Computed(String) - Constructor for record class tools.refinery.language.semantics.metadata.RelationDetail.Computed: Creates an instance of a Computed record class.
configureStoreBuilder(ModelStoreBuilder) - Method in class tools.refinery.language.semantics.ModelInitializer
createFreshlyNamedMetadata(int) - Method in class tools.refinery.language.semantics.metadata.NodeMetadataFactory
createModel(Problem, ModelStoreBuilder) - Method in class tools.refinery.language.semantics.ModelInitializer

D

DecisionTreeValue - Enum Class in tools.refinery.language.semantics.internal
DEFAULT - Enum constant in enum class tools.refinery.language.semantics.metadata.NodeKind
DEFINED - Enum constant in enum class tools.refinery.language.semantics.metadata.PredicateDetailKind
detail() - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata: Returns the value of the detail record component.
doCreateMetadata(int, String, String, NodeKind) - Method in class tools.refinery.language.semantics.metadata.NodeMetadataFactory

E

equals(Object) - Method in record class tools.refinery.language.semantics.metadata.NodeMetadata: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.semantics.metadata.NodesMetadata: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Class: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Computed: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Opposite: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Predicate: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Reference: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata: Indicates whether some other object is "equal to" this one.
ERROR - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
ERROR - Enum constant in enum class tools.refinery.language.semantics.metadata.PredicateDetailKind

F

FALSE - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
fromTruthValue(TruthValue) - Static method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue

G

getElement(Problem, IScope, QualifiedName, Class<T>) - Method in class tools.refinery.language.semantics.SemanticsUtils
getInverseRelationTrace() - Method in interface tools.refinery.language.semantics.ProblemTrace
getInverseRuleDefinitionTrace() - Method in interface tools.refinery.language.semantics.ProblemTrace
getLocalElement(Problem, QualifiedName, Class<T>, EClass) - Method in class tools.refinery.language.semantics.SemanticsUtils
getMessage() - Method in exception class tools.refinery.language.semantics.TracedException
getMetamodel() - Method in interface tools.refinery.language.semantics.ProblemTrace
getModelSeed() - Method in class tools.refinery.language.semantics.ModelInitializer
getNameWithoutRootPrefix(EObject) - Method in class tools.refinery.language.semantics.SemanticsUtils
getNextName(String) - Method in class tools.refinery.language.semantics.NodeNameProvider
getNodeId(String) - Method in interface tools.refinery.language.semantics.ProblemTrace
getNodeId(QualifiedName) - Method in interface tools.refinery.language.semantics.ProblemTrace
getNodeId(Node) - Method in interface tools.refinery.language.semantics.ProblemTrace
getNodesMetadata(Model, Concreteness) - Method in class tools.refinery.language.semantics.metadata.MetadataCreator
getNodeTrace() - Method in interface tools.refinery.language.semantics.ProblemTrace
getPartialRelation(String) - Method in interface tools.refinery.language.semantics.ProblemTrace
getPartialRelation(QualifiedName) - Method in interface tools.refinery.language.semantics.ProblemTrace
getPartialRelation(Relation) - Method in interface tools.refinery.language.semantics.ProblemTrace
getProblem() - Method in interface tools.refinery.language.semantics.ProblemTrace
getProblemTrace() - Method in class tools.refinery.language.semantics.ModelInitializer
getRelation(AnyPartialSymbol) - Method in interface tools.refinery.language.semantics.ProblemTrace
getRelationsMetadata() - Method in class tools.refinery.language.semantics.metadata.MetadataCreator
getRelationTrace() - Method in interface tools.refinery.language.semantics.ProblemTrace
getRuleDefinition(Rule) - Method in interface tools.refinery.language.semantics.ProblemTrace
getSimpleName(int) - Method in record class tools.refinery.language.semantics.metadata.NodesMetadata
getSourceElement() - Method in exception class tools.refinery.language.semantics.TracedException
getTruthValue() - Method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
getTruthValue(Expr) - Static method in class tools.refinery.language.semantics.SemanticsUtils
getTruthValueOrElse(TruthValue) - Method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue

H

hashCode() - Method in record class tools.refinery.language.semantics.metadata.NodeMetadata: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.semantics.metadata.NodesMetadata: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Class: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Computed: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Opposite: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Predicate: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Reference: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata: Returns a hash code value for this object.

I

initialize(ProblemTrace, Concreteness, Model) - Method in class tools.refinery.language.semantics.metadata.NodeMetadataFactory
isAbstract() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Class: Returns the value of the isAbstract record component.
isContainer() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Opposite: Returns the value of the isContainer record component.
isContainment() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Reference: Returns the value of the isContainment record component.
isKeepShadowPredicates() - Method in class tools.refinery.language.semantics.ModelInitializer
isMutable(Relation) - Method in class tools.refinery.language.semantics.internal.MutableRelationCollector
isPreserveNewNodes() - Method in class tools.refinery.language.semantics.SolutionSerializer

K

kind() - Method in record class tools.refinery.language.semantics.metadata.NodeMetadata: Returns the value of the kind record component.
kind() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Predicate: Returns the value of the kind record component.

L

list() - Method in record class tools.refinery.language.semantics.metadata.NodesMetadata: Returns the value of the list record component.

M

maybeGetElement(Problem, IScope, QualifiedName, Class<T>) - Method in class tools.refinery.language.semantics.SemanticsUtils
maybeGetLocalElement(Problem, QualifiedName, Class<T>, EClass) - Method in class tools.refinery.language.semantics.SemanticsUtils
merge(TruthValue) - Method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
mergeValue(Tuple, T) - Method in interface tools.refinery.language.semantics.internal.MutableSeed
Metadata - Interface in tools.refinery.language.semantics.metadata
MetadataCreator - Class in tools.refinery.language.semantics.metadata
MetadataCreator() - Constructor for class tools.refinery.language.semantics.metadata.MetadataCreator
ModelInitializer - Class in tools.refinery.language.semantics
ModelInitializer() - Constructor for class tools.refinery.language.semantics.ModelInitializer
MULTI - Enum constant in enum class tools.refinery.language.semantics.metadata.NodeKind
MutableRelationCollector - Class in tools.refinery.language.semantics.internal
MutableRelationCollector() - Constructor for class tools.refinery.language.semantics.internal.MutableRelationCollector
MutableSeed<T> - Interface in tools.refinery.language.semantics.internal

N

name() - Method in interface tools.refinery.language.semantics.metadata.Metadata
name() - Method in record class tools.refinery.language.semantics.metadata.NodeMetadata: Returns the value of the name record component.
name() - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata: Returns the value of the name record component.
nodeExists(int) - Method in class tools.refinery.language.semantics.metadata.NodeMetadataFactory
NodeKind - Enum Class in tools.refinery.language.semantics.metadata
NodeMetadata - Record Class in tools.refinery.language.semantics.metadata
NodeMetadata(String, String, NodeKind, String) - Constructor for record class tools.refinery.language.semantics.metadata.NodeMetadata: Creates an instance of a NodeMetadata record class.
NodeMetadataFactory - Class in tools.refinery.language.semantics.metadata
NodeMetadataFactory() - Constructor for class tools.refinery.language.semantics.metadata.NodeMetadataFactory
NodeNameProvider - Class in tools.refinery.language.semantics
NodeNameProvider() - Constructor for class tools.refinery.language.semantics.NodeNameProvider
NodesMetadata - Record Class in tools.refinery.language.semantics.metadata
NodesMetadata(List<NodeMetadata>) - Constructor for record class tools.refinery.language.semantics.metadata.NodesMetadata: Creates an instance of a NodesMetadata record class.

O

of() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Computed: Returns the value of the of record component.
of() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Opposite: Returns the value of the of record component.
of(int, TruthValue) - Static method in interface tools.refinery.language.semantics.internal.MutableSeed
Opposite(String, boolean) - Constructor for record class tools.refinery.language.semantics.metadata.RelationDetail.Opposite: Creates an instance of a Opposite record class.
overwrite(DecisionTreeValue) - Method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
overwriteValues(MutableSeed<T>) - Method in interface tools.refinery.language.semantics.internal.MutableSeed

P

parameterNames() - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata: Returns the value of the parameterNames record component.
Predicate(PredicateDetailKind) - Constructor for record class tools.refinery.language.semantics.metadata.RelationDetail.Predicate: Creates an instance of a Predicate record class.
PredicateDetailKind - Enum Class in tools.refinery.language.semantics.metadata
ProblemTrace - Interface in tools.refinery.language.semantics

Q

QueryCompiler - Class in tools.refinery.language.semantics.internal.query
QueryCompiler() - Constructor for class tools.refinery.language.semantics.internal.query.QueryCompiler

R

readProblem(Problem) - Method in class tools.refinery.language.semantics.ModelInitializer
Reference(boolean) - Constructor for record class tools.refinery.language.semantics.metadata.RelationDetail.Reference: Creates an instance of a Reference record class.
RelationDetail - Interface in tools.refinery.language.semantics.metadata
RelationDetail.Class - Record Class in tools.refinery.language.semantics.metadata
RelationDetail.Computed - Record Class in tools.refinery.language.semantics.metadata
RelationDetail.Opposite - Record Class in tools.refinery.language.semantics.metadata
RelationDetail.Predicate - Record Class in tools.refinery.language.semantics.metadata
RelationDetail.Reference - Record Class in tools.refinery.language.semantics.metadata
RelationMetadata - Record Class in tools.refinery.language.semantics.metadata
RelationMetadata(String, String, int, List<String>, RelationDetail) - Constructor for record class tools.refinery.language.semantics.metadata.RelationMetadata: Creates an instance of a RelationMetadata record class.
RuleCompiler - Class in tools.refinery.language.semantics.internal.query
RuleCompiler() - Constructor for class tools.refinery.language.semantics.internal.query.RuleCompiler

S

SemanticsUtils - Class in tools.refinery.language.semantics
SemanticsUtils() - Constructor for class tools.refinery.language.semantics.SemanticsUtils
serializeSolution(ProblemTrace, Model) - Method in class tools.refinery.language.semantics.SolutionSerializer
serializeSolution(ProblemTrace, Model, URI) - Method in class tools.refinery.language.semantics.SolutionSerializer
setAllMissing(T) - Method in interface tools.refinery.language.semantics.internal.MutableSeed
setIfMissing(Tuple, T) - Method in interface tools.refinery.language.semantics.internal.MutableSeed
setKeepNonExistingObjects(boolean) - Method in class tools.refinery.language.semantics.ModelInitializer
setKeepShadowPredicates(boolean) - Method in class tools.refinery.language.semantics.ModelInitializer
setPreserveNewNodes(boolean) - Method in class tools.refinery.language.semantics.metadata.MetadataCreator
setPreserveNewNodes(boolean) - Method in class tools.refinery.language.semantics.SolutionSerializer
setProblem(Problem) - Method in class tools.refinery.language.semantics.NodeNameProvider
setProblemTrace(ProblemTrace) - Method in class tools.refinery.language.semantics.internal.query.QueryCompiler
setProblemTrace(ProblemTrace) - Method in class tools.refinery.language.semantics.metadata.MetadataCreator
setQueryCompiler(QueryCompiler) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
SHADOW - Enum constant in enum class tools.refinery.language.semantics.metadata.PredicateDetailKind
simpleName() - Method in interface tools.refinery.language.semantics.metadata.Metadata
simpleName() - Method in record class tools.refinery.language.semantics.metadata.NodeMetadata: Returns the value of the simpleName record component.
simpleName() - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata: Returns the value of the simpleName record component.
SolutionSerializer - Class in tools.refinery.language.semantics
SolutionSerializer() - Constructor for class tools.refinery.language.semantics.SolutionSerializer

T

toDecisionRule(String, RuleDefinition) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
tools.refinery.language.semantics - package tools.refinery.language.semantics
tools.refinery.language.semantics.internal - package tools.refinery.language.semantics.internal
tools.refinery.language.semantics.internal.query - package tools.refinery.language.semantics.internal.query
tools.refinery.language.semantics.metadata - package tools.refinery.language.semantics.metadata
toPropagationRules(String, RuleDefinition, ConcretenessSpecification) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
toQuery(String, PredicateDefinition) - Method in class tools.refinery.language.semantics.internal.query.QueryCompiler
toRule(String, RuleDefinition) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
toString() - Method in record class tools.refinery.language.semantics.metadata.NodeMetadata: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.semantics.metadata.NodesMetadata: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Class: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Computed: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Opposite: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Predicate: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Reference: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata: Returns a string representation of this record class.
TracedException - Exception Class in tools.refinery.language.semantics
TracedException(EObject) - Constructor for exception class tools.refinery.language.semantics.TracedException
TracedException(EObject, String) - Constructor for exception class tools.refinery.language.semantics.TracedException
TracedException(EObject, String, Throwable) - Constructor for exception class tools.refinery.language.semantics.TracedException
TracedException(EObject, Throwable) - Constructor for exception class tools.refinery.language.semantics.TracedException
TRUE - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue

U

UNKNOWN - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
UNSET - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue

V

valueOf(String) - Static method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.semantics.metadata.NodeKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.semantics.metadata.PredicateDetailKind: Returns the enum constant of this class with the specified name.
values() - Static method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.semantics.metadata.NodeKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.semantics.metadata.PredicateDetailKind: Returns an array containing the constants of this enum class, in the order they are declared.

W

wrapException(TranslationException) - Method in interface tools.refinery.language.semantics.ProblemTrace

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