diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend | 7 |
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{ | |||
177 | else if(label == this.logicBooleanTrue) return true | 177 | else if(label == this.logicBooleanTrue) return true |
178 | else if(label == this.logicBooleanFalse) return false | 178 | else if(label == this.logicBooleanFalse) return false |
179 | else if(this.alloyAtom2LogicElement.containsKey(label)) return label.lookup(alloyAtom2LogicElement) | 179 | else if(this.alloyAtom2LogicElement.containsKey(label)) return label.lookup(alloyAtom2LogicElement) |
180 | else if(label.isString) return parseString(label) | ||
180 | else throw new IllegalArgumentException('''Unknown atom label: "«label»"!''') | 181 | else throw new IllegalArgumentException('''Unknown atom label: "«label»"!''') |
181 | } | 182 | } |
182 | def private isNumber(String s) { | 183 | def private isNumber(String s) { |
@@ -187,6 +188,12 @@ class AlloyModelInterpretation implements LogicModelInterpretation{ | |||
187 | return false | 188 | return false |
188 | } | 189 | } |
189 | } | 190 | } |
191 | def private isString(String label) { | ||
192 | label.startsWith("\"") && label.endsWith("\"") | ||
193 | } | ||
194 | def private parseString(String label) { | ||
195 | label.substring(1,label.length-1) | ||
196 | } | ||
190 | 197 | ||
191 | override getAllIntegersInStructure() { | 198 | override getAllIntegersInStructure() { |
192 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | 199 | throw new UnsupportedOperationException("TODO: auto-generated method stub") |