diff options
Diffstat (limited to 'Framework')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend index 86fc8537..91c6a61a 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | |||
@@ -79,7 +79,11 @@ class Viatra2Logic { | |||
79 | } | 79 | } |
80 | } | 80 | } |
81 | for(query: queries.patterns) { | 81 | for(query: queries.patterns) { |
82 | this.transformQuerySpecification(query,ecore2LogicTrace,viatra2LogicTrace,config) | 82 | try { |
83 | this.transformQuerySpecification(query,ecore2LogicTrace,viatra2LogicTrace,config) | ||
84 | } catch (IllegalArgumentException e){ | ||
85 | throw new IllegalArgumentException('''Unable to translate query: "«query.fullyQualifiedName»".''',e) | ||
86 | } | ||
83 | } | 87 | } |
84 | /*for(d : viatra2LogicTrace.query2Relation.values) { | 88 | /*for(d : viatra2LogicTrace.query2Relation.values) { |
85 | checkDefinition(d) | 89 | checkDefinition(d) |