diff options
author | 2019-05-27 16:41:23 -0400 | |
---|---|---|
committer | 2019-05-27 16:41:23 -0400 | |
commit | 18767ac9962932a496833c5971d3157e468c172e (patch) | |
tree | 3b257ef4f83c77be1c3f6158d266ad59af35d3f5 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner | |
parent | modify generation to log metrics measurements (diff) | |
download | VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.tar.gz VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.tar.zst VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.zip |
fix the null pointer error when trying reproducing the generation procedure
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend index 38633c07..d1b29f01 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend | |||
@@ -63,9 +63,12 @@ class ScopePropagator { | |||
63 | def public propagateAdditionToType(PartialTypeInterpratation t) { | 63 | def public propagateAdditionToType(PartialTypeInterpratation t) { |
64 | // println('''Adding to «(t as PartialComplexTypeInterpretation).interpretationOf.name»''') | 64 | // println('''Adding to «(t as PartialComplexTypeInterpretation).interpretationOf.name»''') |
65 | val targetScope = type2Scope.get(t) | 65 | val targetScope = type2Scope.get(t) |
66 | targetScope.removeOne | 66 | if(targetScope != null){ |
67 | val sups = superScopes.get(targetScope) | 67 | targetScope.removeOne |
68 | sups.forEach[removeOne] | 68 | val sups = superScopes.get(targetScope) |
69 | sups.forEach[removeOne] | ||
70 | } | ||
71 | |||
69 | if(this.partialInterpretation.minNewElements > 0) { | 72 | if(this.partialInterpretation.minNewElements > 0) { |
70 | this.partialInterpretation.minNewElements = this.partialInterpretation.minNewElements-1 | 73 | this.partialInterpretation.minNewElements = this.partialInterpretation.minNewElements-1 |
71 | } | 74 | } |