diff options
author | 2020-05-11 22:03:54 +0200 | |
---|---|---|
committer | 2020-05-11 22:03:54 +0200 | |
commit | 09c0f7bd18e6cec7f8e37bd2bcac9849636d33d1 (patch) | |
tree | 0b51ffc70d41ff11e17036c2957275cff024a9e1 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner | |
parent | fix for inverse references (diff) | |
download | VIATRA-Generator-09c0f7bd18e6cec7f8e37bd2bcac9849636d33d1.tar.gz VIATRA-Generator-09c0f7bd18e6cec7f8e37bd2bcac9849636d33d1.tar.zst VIATRA-Generator-09c0f7bd18e6cec7f8e37bd2bcac9849636d33d1.zip |
Bigliteral serialization in xmi transformation fixed
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner')
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend index 2b42a8b1..190b5c94 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend | |||
@@ -107,7 +107,7 @@ class PartialInterpretation2Gml { | |||
107 | } | 107 | } |
108 | 108 | ||
109 | def protected transormTitle(DefinedElement object) { | 109 | def protected transormTitle(DefinedElement object) { |
110 | if(object.name!= null)object.name | 110 | if(object.name!= null)object.name.replace("\"", "") |
111 | else "null" | 111 | else "null" |
112 | } | 112 | } |
113 | 113 | ||