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()
PartialRelation	getPartialRelation(String qualifiedName)
PartialRelation	getPartialRelation(org.eclipse.xtext.naming.QualifiedName qualifiedName)
PartialRelation	getPartialRelation(Relation relation)
Problem	getProblem()
Relation	getRelation(AnyPartialSymbol partialSymbol)
Map<Relation,PartialRelation>	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,PartialRelation> 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)

getPartialRelation

PartialRelation getPartialRelation(Relation relation)

getPartialRelation

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

getPartialRelation

PartialRelation getPartialRelation(String qualifiedName)