aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-08-17 17:26:52 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-08-17 17:26:52 +0200
commit49023517b9aea7d07bc6525df335e062f70ea242 (patch)
treef713f279180ecfe0ed37fe2293fc2b44d7e4610d /Solvers/VIATRA-Solver
parentTransitive closure support (diff)
downloadVIATRA-Generator-49023517b9aea7d07bc6525df335e062f70ea242.tar.gz
VIATRA-Generator-49023517b9aea7d07bc6525df335e062f70ea242.tar.zst
VIATRA-Generator-49023517b9aea7d07bc6525df335e062f70ea242.zip
null check before mapping value of a reference
Diffstat (limited to 'Solvers/VIATRA-Solver')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend8
1 files changed, 4 insertions, 4 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend
index 080ad963..8e5e0661 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend
@@ -2,6 +2,8 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic
2 2
3import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic 3import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic
4import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace 4import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace
5import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput
6import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement 7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory 8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration 9import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration
@@ -15,11 +17,9 @@ import java.util.List
15import java.util.Map 17import java.util.Map
16import org.eclipse.emf.common.util.Enumerator 18import org.eclipse.emf.common.util.Enumerator
17import org.eclipse.emf.ecore.EObject 19import org.eclipse.emf.ecore.EObject
20import org.eclipse.emf.ecore.resource.Resource
18 21
19import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* 22import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.*
20import org.eclipse.emf.ecore.resource.Resource
21import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput
22import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes
23 23
24class InstanceModel2PartialInterpretation { 24class InstanceModel2PartialInterpretation {
25 val extension LogiclanguageFactory factory = LogiclanguageFactory.eINSTANCE 25 val extension LogiclanguageFactory factory = LogiclanguageFactory.eINSTANCE
@@ -87,8 +87,8 @@ class InstanceModel2PartialInterpretation {
87 } 87 }
88 } else { 88 } else {
89 val target = source.eGet(reference) as EObject 89 val target = source.eGet(reference) as EObject
90 val targetElement = target.lookup(object2DefinedElement)
91 if(target !== null) { 90 if(target !== null) {
91 val targetElement = target.lookup(object2DefinedElement)
92 translateLink(interpretation,sourceElement,targetElement) 92 translateLink(interpretation,sourceElement,targetElement)
93 } 93 }
94 } 94 }