aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend5
1 files changed, 4 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend
index 7792eccb..b400652f 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend
@@ -103,7 +103,10 @@ class RelationDefinitionIndexer {
103 constraint.getVariableInTuple(1).canonizeName, 103 constraint.getVariableInTuple(1).canonizeName,
104 modality.toMustMay) 104 modality.toMustMay)
105 } else if (key instanceof EAttribute) { 105 } else if (key instanceof EAttribute) {
106 return '''// attribute reference omitted'''//base.referRelationByName() 106 return base.referAttributeByName(key,
107 constraint.getVariableInTuple(0).canonizeName,
108 constraint.getVariableInTuple(1).canonizeName,
109 modality.toMustMay)
107 } else throw new UnsupportedOperationException('''unknown key: «key.class»''') 110 } else throw new UnsupportedOperationException('''unknown key: «key.class»''')
108 } else { 111 } else {
109 throw new UnsupportedOperationException() 112 throw new UnsupportedOperationException()