1 files changed, 7 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend
index abedf9e4..95216835 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend
@@ -177,6 +177,7 @@ class AlloyModelInterpretation implements LogicModelInterpretation{
                 else if(label == this.logicBooleanTrue) return true

                 else if(label == this.logicBooleanFalse) return false

                 else if(this.alloyAtom2LogicElement.containsKey(label)) return label.lookup(alloyAtom2LogicElement)

+                else if(label.isString) return parseString(label)

                 else throw new IllegalArgumentException('''Unknown atom label: "«label»"!''')

         }

         def private isNumber(String s) {

@@ -187,6 +188,12 @@ class AlloyModelInterpretation implements LogicModelInterpretation{
                         return false

                 }

         }

+        def private isString(String label) {

+                label.startsWith("\"") && label.endsWith("\"")

+        }

+        def private parseString(String label) {

+                label.substring(1,label.length-1)

+        }

         

         override getAllIntegersInStructure() {

                 throw new UnsupportedOperationException("TODO: auto-generated method stub")