Package tools.refinery.language.semantics

Interface ProblemTrace

public interface ProblemTrace

Method Summary

Modifier and Type	Method	Description
Map<AnyPartialSymbol,Relation>	getInverseRelationTrace()
Map<Rule,RuleDefinition>	getInverseRuleDefinitionTrace()
Metamodel	getMetamodel()
int	getNodeId(String qualifiedName)
int	getNodeId(org.eclipse.xtext.naming.QualifiedName qualifiedName)
int	getNodeId(Node node)
org.eclipse.collections.api.map.primitive.ObjectIntMap<Node>	getNodeTrace()
default AnyPartialFunction	getPartialFunction(String qualifiedName)
default AnyPartialFunction	getPartialFunction(org.eclipse.xtext.naming.QualifiedName qualifiedName)
default AnyPartialFunction	getPartialFunction(Relation relation)
default PartialRelation	getPartialRelation(String qualifiedName)
default PartialRelation	getPartialRelation(org.eclipse.xtext.naming.QualifiedName qualifiedName)
default PartialRelation	getPartialRelation(Relation relation)
AnyPartialSymbol	getPartialSymbol(String qualifiedName)
AnyPartialSymbol	getPartialSymbol(org.eclipse.xtext.naming.QualifiedName qualifiedName)
AnyPartialSymbol	getPartialSymbol(Relation relation)
Problem	getProblem()
Relation	getRelation(AnyPartialSymbol partialSymbol)
Map<Relation,AnyPartialSymbol>	getRelationTrace()
RuleDefinition	getRuleDefinition(Rule rule)
RuntimeException	wrapException(TranslationException translationException)

Method Details

getProblem

Problem getProblem()

getMetamodel

Metamodel getMetamodel()

getNodeTrace

org.eclipse.collections.api.map.primitive.ObjectIntMap<Node> getNodeTrace()

getNodeId

int getNodeId(Node node)

getNodeId

int getNodeId(org.eclipse.xtext.naming.QualifiedName qualifiedName)

getNodeId

int getNodeId(String qualifiedName)

getRelationTrace

Map<Relation,AnyPartialSymbol> getRelationTrace()

getInverseRelationTrace

Map<AnyPartialSymbol,Relation> getInverseRelationTrace()

getRelation

Relation getRelation(AnyPartialSymbol partialSymbol)

getInverseRuleDefinitionTrace

Map<Rule,RuleDefinition> getInverseRuleDefinitionTrace()

getRuleDefinition

RuleDefinition getRuleDefinition(Rule rule)

wrapException

RuntimeException wrapException(TranslationException translationException)

getPartialSymbol

AnyPartialSymbol getPartialSymbol(Relation relation)

getPartialSymbol

AnyPartialSymbol getPartialSymbol(org.eclipse.xtext.naming.QualifiedName qualifiedName)

getPartialSymbol

AnyPartialSymbol getPartialSymbol(String qualifiedName)

getPartialRelation

default PartialRelation getPartialRelation(Relation relation)

getPartialRelation

default PartialRelation getPartialRelation(org.eclipse.xtext.naming.QualifiedName qualifiedName)

getPartialRelation

default PartialRelation getPartialRelation(String qualifiedName)

getPartialFunction

default AnyPartialFunction getPartialFunction(Relation relation)

getPartialFunction

default AnyPartialFunction getPartialFunction(org.eclipse.xtext.naming.QualifiedName qualifiedName)

getPartialFunction

default AnyPartialFunction getPartialFunction(String qualifiedName)