diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-07 02:41:05 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-07 02:41:05 +0200 |
commit | 28a7fda89898ec9d32d97efe7a0e111f36a8cf87 (patch) | |
tree | 7638c7a5876ff02250c4014cf60b2d8140ad1544 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu | |
parent | Adjustments to FamilyTree and Pledge Case studies (diff) | |
download | VIATRA-Generator-28a7fda89898ec9d32d97efe7a0e111f36a8cf87.tar.gz VIATRA-Generator-28a7fda89898ec9d32d97efe7a0e111f36a8cf87.tar.zst VIATRA-Generator-28a7fda89898ec9d32d97efe7a0e111f36a8cf87.zip |
viatra parsing fixes
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | 1 |
1 files changed, 1 insertions, 0 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 a098945d..74e03f71 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 | |||
@@ -144,6 +144,7 @@ class Viatra2Logic { | |||
144 | it.target = lRelation | 144 | it.target = lRelation |
145 | it.patternFullyQualifiedName = pquery.fullyQualifiedName | 145 | it.patternFullyQualifiedName = pquery.fullyQualifiedName |
146 | it.patternPQuery = pquery | 146 | it.patternPQuery = pquery |
147 | it.optimizedDisjunction = viatra2LogicTrace.query2Disjunction.get(pquery) | ||
147 | ] | 148 | ] |
148 | viatra2LogicTrace.query2Annotation.put(pquery,annotation) | 149 | viatra2LogicTrace.query2Annotation.put(pquery,annotation) |
149 | ecore2LogicTrace.output.annotations += annotation | 150 | ecore2LogicTrace.output.annotations += annotation |