From 857ed1780bb693bc7bbdf09086b77a48b3b093df Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Wed, 20 May 2020 00:25:14 +0200 Subject: adding numbers to gml visualization --- .../visualisation/PartialInterpretation2Gml.xtend | 26 +++++++++++++++++++++- 1 file changed, 25 insertions(+), 1 deletion(-) (limited to 'Solvers') 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 190b5c94..1e9cdcbe 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 @@ -11,6 +11,9 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par import java.util.HashMap import java.util.Map import java.util.Set +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement class PartialInterpretation2Gml { def private getElements(PartialInterpretation model) { @@ -106,10 +109,31 @@ class PartialInterpretation2Gml { ''' } - def protected transormTitle(DefinedElement object) { + def protected dispatch transormTitle(DefinedElement object) { if(object.name!= null)object.name.replace("\"", "") else "null" } + def protected dispatch transormTitle(IntegerElement object) { + if(object.valueSet) { + object.value.toString + } else { + "?" + } + } + def protected dispatch transormTitle(RealElement object) { + if(object.valueSet) { + object.value.toString + } else { + "?" + } + } + def protected dispatch transormTitle(StringElement object) { + if(object.valueSet) { + object.value.toString + } else { + "?" + } + } def protected transformLink( PartialRelationInterpretation reference, -- cgit v1.2.3-54-g00ecf