Support for updated partial model representation during generationScope-PS-Refactor

1 files changed, 2 insertions, 2 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/util/ParseUtil.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/util/ParseUtil.xtend
index 90b4f261..b6eddcd2 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/util/ParseUtil.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/util/ParseUtil.xtend
@@ -98,7 +98,7 @@ class ParseUtil {
                 val patternModel = resource.getContents().get(0) as PatternModel;

                 

                 EcoreUtil.resolveAll(resource)

-                //resource.validate

+                resource.validate

                 val res = new LinkedHashMap<String,IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>>

                 val patterns = new LinkedList<IQuerySpecification<?>>

                 for(pattern : patternModel.patterns) {

@@ -106,7 +106,7 @@ class ParseUtil {
                         res.put(querySpecification.fullyQualifiedName,querySpecification)

                         patterns += querySpecification

                 }

-                //resource.validate

+                resource.validate

                 

                 return res

         }