Index

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
 
Attribute() - Constructor for record class tools.refinery.language.semantics.metadata.RelationDetail.Attribute
Creates an instance of a Attribute record class.

B

BASE - Enum constant in enum class tools.refinery.language.semantics.metadata.FunctionDetailKind
 
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

dataType() - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata
Returns the value of the dataType record component.
DecisionTreeValue<A,C> - Interface in tools.refinery.language.semantics.internal
 
DecisionTreeValue.Some<A,C> - Record Class in tools.refinery.language.semantics.internal
 
DecisionTreeValue.Unset<A,C> - 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.FunctionDetailKind
 
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
 
Domain(String) - Constructor for record class tools.refinery.language.semantics.metadata.RelationDetail.Domain
Creates an instance of a Domain record class.

E

equals(Object) - Method in record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
Indicates whether some other object is "equal to" this one.
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.Attribute
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.Domain
Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Function
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.metadata.PredicateDetailKind
 

F

Function(FunctionDetailKind) - Constructor for record class tools.refinery.language.semantics.metadata.RelationDetail.Function
Creates an instance of a Function record class.
FunctionCompiler - Class in tools.refinery.language.semantics.internal.query
 
FunctionCompiler() - Constructor for class tools.refinery.language.semantics.internal.query.FunctionCompiler
 
FunctionDetailKind - Enum Class in tools.refinery.language.semantics.metadata
 

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
 
getPartialFunction(String) - Method in interface tools.refinery.language.semantics.ProblemTrace
 
getPartialFunction(QualifiedName) - Method in interface tools.refinery.language.semantics.ProblemTrace
 
getPartialFunction(Relation) - 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
 
getPartialSymbol(String) - Method in interface tools.refinery.language.semantics.ProblemTrace
 
getPartialSymbol(QualifiedName) - Method in interface tools.refinery.language.semantics.ProblemTrace
 
getPartialSymbol(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(Expr) - Static method in class tools.refinery.language.semantics.SemanticsUtils
 

H

hashCode() - Method in record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
Returns a hash code value for this object.
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.Attribute
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.Domain
Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Function
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
 
isUnset() - Method in interface tools.refinery.language.semantics.internal.DecisionTreeValue
 
isUnset() - Method in record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
 
isUnset() - Method in class tools.refinery.language.semantics.internal.DecisionTreeValue.Unset
 

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.Function
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(A) - Method in interface tools.refinery.language.semantics.internal.DecisionTreeValue
 
merge(A) - Method in record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
 
merge(A) - Method in class tools.refinery.language.semantics.internal.DecisionTreeValue.Unset
 
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.Domain
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, AbstractDomain<A, C>, A) - Static method in interface tools.refinery.language.semantics.internal.MutableSeed
 
of(int, AbstractDomain<A, C>, A, A) - Static method in interface tools.refinery.language.semantics.internal.MutableSeed
 
of(int, TruthValue) - Static method in interface tools.refinery.language.semantics.internal.MutableSeed
 
ofNullable(A) - Static method in interface tools.refinery.language.semantics.internal.DecisionTreeValue
 
Opposite(String, boolean) - Constructor for record class tools.refinery.language.semantics.metadata.RelationDetail.Opposite
Creates an instance of a Opposite record class.
orElse(A) - Method in interface tools.refinery.language.semantics.internal.DecisionTreeValue
 
orElse(A) - Method in record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
 
orElse(A) - Method in class tools.refinery.language.semantics.internal.DecisionTreeValue.Unset
 
orElseNull() - Method in interface tools.refinery.language.semantics.internal.DecisionTreeValue
 
orElseNull() - Method in record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
 
orElseNull() - Method in class tools.refinery.language.semantics.internal.DecisionTreeValue.Unset
 
overwrite(DecisionTreeValue<A, C>) - Method in interface tools.refinery.language.semantics.internal.DecisionTreeValue
 
overwrite(DecisionTreeValue<A, C>) - Method in record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
 
overwrite(DecisionTreeValue<A, C>) - Method in class tools.refinery.language.semantics.internal.DecisionTreeValue.Unset
 
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.Attribute - Record Class 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.Domain - Record Class in tools.refinery.language.semantics.metadata
 
RelationDetail.Function - 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, Visibility, String) - 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.FunctionCompiler
 
setQueryCompiler(QueryCompiler) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
 
SHADOW - Enum constant in enum class tools.refinery.language.semantics.metadata.FunctionDetailKind
 
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
 
Some(A) - Constructor for record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
Creates an instance of a Some record class.

T

toDecisionRule(String, RuleDefinition) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
 
toDomainQuery(String, FunctionDefinition) - Method in class tools.refinery.language.semantics.internal.query.FunctionCompiler
 
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
 
toQuery(String, AbstractDomain<A, C>, FunctionDefinition, PartialRelation) - Method in class tools.refinery.language.semantics.internal.query.FunctionCompiler
 
toRule(String, RuleDefinition) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
 
toString() - Method in record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
Returns a string representation of this record class.
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.Attribute
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.Domain
Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.semantics.metadata.RelationDetail.Function
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
 

U

unset() - Static method in interface tools.refinery.language.semantics.internal.DecisionTreeValue
 
Unset() - Constructor for class tools.refinery.language.semantics.internal.DecisionTreeValue.Unset
 
UNSET - Static variable in interface tools.refinery.language.semantics.internal.DecisionTreeValue
 

V

value() - Method in record class tools.refinery.language.semantics.internal.DecisionTreeValue.Some
Returns the value of the value record component.
valueOf(String) - Static method in enum class tools.refinery.language.semantics.metadata.FunctionDetailKind
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.metadata.FunctionDetailKind
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.
visibility() - Method in record class tools.refinery.language.semantics.metadata.RelationMetadata
Returns the value of the visibility record component.

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