aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-04 16:54:35 -0500
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-04 16:54:35 -0500
commit179e6285cea015d6963a6a1233acc73d3ad30ac7 (patch)
treef2b5f52a883b74dbadef651ef9eb8b85e92e10e9
parentStatistics added (diff)
downloadVIATRA-Generator-179e6285cea015d6963a6a1233acc73d3ad30ac7.tar.gz
VIATRA-Generator-179e6285cea015d6963a6a1233acc73d3ad30ac7.tar.zst
VIATRA-Generator-179e6285cea015d6963a6a1233acc73d3ad30ac7.zip
derived feature referred query searcher expanded
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/QueryLoader.xtend5
1 files changed, 4 insertions, 1 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/QueryLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/QueryLoader.xtend
index 6e725086..73a8ad59 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/QueryLoader.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/QueryLoader.xtend
@@ -117,7 +117,10 @@ class QueryLoader {
117 val QBFAnnotation = feature.EAnnotations.filter[it.source.equals("org.eclipse.viatra.query.querybasedfeature")].head 117 val QBFAnnotation = feature.EAnnotations.filter[it.source.equals("org.eclipse.viatra.query.querybasedfeature")].head
118 if(QBFAnnotation !== null) { 118 if(QBFAnnotation !== null) {
119 val targetFQN = QBFAnnotation.details.get("patternFQN") 119 val targetFQN = QBFAnnotation.details.get("patternFQN")
120 val referredPattern = patterns.filter[it.fullyQualifiedName.equals(targetFQN)].head 120 val referredPattern = patterns.filter[
121 val fqn = it.fullyQualifiedName
122 fqn.equals(targetFQN)
123 ].head
121 if(referredPattern!== null) { 124 if(referredPattern!== null) {
122 res.put(referredPattern, feature) 125 res.put(referredPattern, feature)
123 } 126 }