diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/util')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/util/ParseUtil.xtend | 4 |
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 { | |||
98 | val patternModel = resource.getContents().get(0) as PatternModel; | 98 | val patternModel = resource.getContents().get(0) as PatternModel; |
99 | 99 | ||
100 | EcoreUtil.resolveAll(resource) | 100 | EcoreUtil.resolveAll(resource) |
101 | //resource.validate | 101 | resource.validate |
102 | val res = new LinkedHashMap<String,IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>> | 102 | val res = new LinkedHashMap<String,IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>> |
103 | val patterns = new LinkedList<IQuerySpecification<?>> | 103 | val patterns = new LinkedList<IQuerySpecification<?>> |
104 | for(pattern : patternModel.patterns) { | 104 | for(pattern : patternModel.patterns) { |
@@ -106,7 +106,7 @@ class ParseUtil { | |||
106 | res.put(querySpecification.fullyQualifiedName,querySpecification) | 106 | res.put(querySpecification.fullyQualifiedName,querySpecification) |
107 | patterns += querySpecification | 107 | patterns += querySpecification |
108 | } | 108 | } |
109 | //resource.validate | 109 | resource.validate |
110 | 110 | ||
111 | return res | 111 | return res |
112 | } | 112 | } |