diff options
author | 2019-05-04 15:31:47 -0400 | |
---|---|---|
committer | 2019-05-04 15:31:47 -0400 | |
commit | 3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56 (patch) | |
tree | bef27ef38448443d5342fa5ea25700fc1b40ea1f /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java | |
parent | Fixed misformalization of (may/must)(X!=Y) for abstract objects (diff) | |
download | VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.tar.gz VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.tar.zst VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.zip |
Added aggregate expressions to logic language on the model level
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java index 1e015974..8475fa72 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java | |||
@@ -64,6 +64,7 @@ public class AssertionAnnotationImpl extends AnnotationImpl implements Assertion | |||
64 | * <!-- end-user-doc --> | 64 | * <!-- end-user-doc --> |
65 | * @generated | 65 | * @generated |
66 | */ | 66 | */ |
67 | @Override | ||
67 | public Assertion getTarget() { | 68 | public Assertion getTarget() { |
68 | if (target != null && target.eIsProxy()) { | 69 | if (target != null && target.eIsProxy()) { |
69 | InternalEObject oldTarget = (InternalEObject)target; | 70 | InternalEObject oldTarget = (InternalEObject)target; |
@@ -105,6 +106,7 @@ public class AssertionAnnotationImpl extends AnnotationImpl implements Assertion | |||
105 | * <!-- end-user-doc --> | 106 | * <!-- end-user-doc --> |
106 | * @generated | 107 | * @generated |
107 | */ | 108 | */ |
109 | @Override | ||
108 | public void setTarget(Assertion newTarget) { | 110 | public void setTarget(Assertion newTarget) { |
109 | if (newTarget != target) { | 111 | if (newTarget != target) { |
110 | NotificationChain msgs = null; | 112 | NotificationChain msgs = null; |