diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend index ce902353..0821db47 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | |||
@@ -151,7 +151,7 @@ class Viatra2Logic { | |||
151 | val parameterName = '''parameter «vParam.name»''' | 151 | val parameterName = '''parameter «vParam.name»''' |
152 | val parameterType = getType(vParam,types,ecore2LogicTrace) | 152 | val parameterType = getType(vParam,types,ecore2LogicTrace) |
153 | if(parameterType === null) { | 153 | if(parameterType === null) { |
154 | throw new AssertionError('''null type for parameter «vParam.name»''') | 154 | throw new AssertionError('''null type for parameter «vParam.name» in pattern «pquery.fullyQualifiedName»''') |
155 | } | 155 | } |
156 | val lParam = createVar(parameterName,parameterType) | 156 | val lParam = createVar(parameterName,parameterType) |
157 | viatra2LogicTrace.parameter2Variable.put(pquery->vParam,lParam) | 157 | viatra2LogicTrace.parameter2Variable.put(pquery->vParam,lParam) |
@@ -450,6 +450,8 @@ class Viatra2Logic { | |||
450 | return LogicReal | 450 | return LogicReal |
451 | } else if(c == Boolean) { | 451 | } else if(c == Boolean) { |
452 | return LogicBool | 452 | return LogicBool |
453 | } else if(c == String) { | ||
454 | return LogicString | ||
453 | } else if(c.superclass == java.lang.Enum){ | 455 | } else if(c.superclass == java.lang.Enum){ |
454 | val enums = ecore2Logic.allEnumsInScope(ecore2LogicTrace.trace) | 456 | val enums = ecore2Logic.allEnumsInScope(ecore2LogicTrace.trace) |
455 | for(enum : enums) { | 457 | for(enum : enums) { |