diff options
| author |  OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-15 02:49:32 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-15 02:49:32 +0200 |
| commit | b4c8096ba1d7f5152b64203565226b6b41699653 (patch) | |
| tree | 10c4303dc91e30073fb35ec536e8e37d939e49a1 /Framework | |
| parent | Literals from the problem are added to the initial set of primitive (diff) | |
| download | VIATRA-Generator-b4c8096ba1d7f5152b64203565226b6b41699653.tar.gz VIATRA-Generator-b4c8096ba1d7f5152b64203565226b6b41699653.tar.zst VIATRA-Generator-b4c8096ba1d7f5152b64203565226b6b41699653.zip | |
Added support for string attributes when mapping metamodels
Diffstat (limited to 'Framework')
2 files changed, 2 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend index 74f82a13..206fbde1 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend | |||
| @@ -111,6 +111,7 @@ class EAttributeMapper_RelationsOverTypes implements EAttributeMapper { | |||
| 111 | else if(attribute.EType.name.equals("EBoolean")) return LogicBool | 111 | else if(attribute.EType.name.equals("EBoolean")) return LogicBool |
| 112 | else if(attribute.EType.name.equals("EDouble") || | 112 | else if(attribute.EType.name.equals("EDouble") || |
| 113 | attribute.EType.name.equals("EFloat")) return LogicReal | 113 | attribute.EType.name.equals("EFloat")) return LogicReal |
| 114 | else if(attribute.EType.name.equals("EDouble")) return LogicString | ||
| 114 | else throw new UnsupportedOperationException('''Unsupported attribute type: «attribute.EType.name»''') | 115 | else throw new UnsupportedOperationException('''Unsupported attribute type: «attribute.EType.name»''') |
| 115 | } | 116 | } |
| 116 | 117 | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend index ba1b9fd6..d09f77af 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | |||
| @@ -120,6 +120,7 @@ public class LogicProblemBuilder{ | |||
| 120 | def public LogicBool() { createBoolTypeReference } | 120 | def public LogicBool() { createBoolTypeReference } |
| 121 | def public LogicInt() { createIntTypeReference } | 121 | def public LogicInt() { createIntTypeReference } |
| 122 | def public LogicReal() { createRealTypeReference } | 122 | def public LogicReal() { createRealTypeReference } |
| 123 | def public LogicString() { createStringTypeReference } | ||
| 123 | def toTypeReference(TypeDescriptor descriptor) { | 124 | def toTypeReference(TypeDescriptor descriptor) { |
| 124 | if(descriptor instanceof TypeReference) { return EcoreUtil.copy(descriptor); } | 125 | if(descriptor instanceof TypeReference) { return EcoreUtil.copy(descriptor); } |
| 125 | else if(descriptor instanceof Type) { return createComplexTypeReference => [referred = descriptor]} | 126 | else if(descriptor instanceof Type) { return createComplexTypeReference => [referred = descriptor]} |