1 files changed, 14 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
index 630fad51..d1d57189 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexer.xtend
@@ -11,6 +11,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference

+import java.math.BigDecimal

 

 abstract class TypeIndexer {

         public def CharSequence getRequiredQueries()

@@ -34,5 +35,18 @@ abstract class TypeIndexer {
         public def dispatch CharSequence referInstanceOfByReference(StringTypeReference reference, Modality modality, String variableName) {

                 '''StringElement(«variableName»);'''

         }

+        public def dispatch CharSequence referPrimitiveValue(String variableName, Boolean value) {

+                '''BooleanElement.value(«variableName»,«value»);'''

+        }

+        public def dispatch CharSequence referPrimitiveValue(String variableName, Integer value) {

+                '''IntegerElement.value(«variableName»,«value»);'''

+        }

+        public def dispatch CharSequence referPrimitiveValue(String variableName, BigDecimal value) {

+                '''RealElement.value(«variableName»,«value»);'''

+        }

+        ///TODO: de-escaping string literals

+        public def dispatch CharSequence referPrimitiveValue(String variableName, String value) {

+                '''StringElement.value(«variableName»,"«value»");'''

+        }

 

 }
\ No newline at end of file