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/logiclanguage/impl/SymbolicValueImpl.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/logiclanguage/impl/SymbolicValueImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicValueImpl.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicValueImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicValueImpl.java index 59e1a7d3..4c505cd6 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicValueImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicValueImpl.java | |||
@@ -81,6 +81,7 @@ public class SymbolicValueImpl extends TermImpl implements SymbolicValue { | |||
81 | * <!-- end-user-doc --> | 81 | * <!-- end-user-doc --> |
82 | * @generated | 82 | * @generated |
83 | */ | 83 | */ |
84 | @Override | ||
84 | public SymbolicDeclaration getSymbolicReference() { | 85 | public SymbolicDeclaration getSymbolicReference() { |
85 | if (symbolicReference != null && symbolicReference.eIsProxy()) { | 86 | if (symbolicReference != null && symbolicReference.eIsProxy()) { |
86 | InternalEObject oldSymbolicReference = (InternalEObject)symbolicReference; | 87 | InternalEObject oldSymbolicReference = (InternalEObject)symbolicReference; |
@@ -107,6 +108,7 @@ public class SymbolicValueImpl extends TermImpl implements SymbolicValue { | |||
107 | * <!-- end-user-doc --> | 108 | * <!-- end-user-doc --> |
108 | * @generated | 109 | * @generated |
109 | */ | 110 | */ |
111 | @Override | ||
110 | public void setSymbolicReference(SymbolicDeclaration newSymbolicReference) { | 112 | public void setSymbolicReference(SymbolicDeclaration newSymbolicReference) { |
111 | SymbolicDeclaration oldSymbolicReference = symbolicReference; | 113 | SymbolicDeclaration oldSymbolicReference = symbolicReference; |
112 | symbolicReference = newSymbolicReference; | 114 | symbolicReference = newSymbolicReference; |
@@ -119,6 +121,7 @@ public class SymbolicValueImpl extends TermImpl implements SymbolicValue { | |||
119 | * <!-- end-user-doc --> | 121 | * <!-- end-user-doc --> |
120 | * @generated | 122 | * @generated |
121 | */ | 123 | */ |
124 | @Override | ||
122 | public EList<Term> getParameterSubstitutions() { | 125 | public EList<Term> getParameterSubstitutions() { |
123 | if (parameterSubstitutions == null) { | 126 | if (parameterSubstitutions == null) { |
124 | parameterSubstitutions = new EObjectContainmentEList<Term>(Term.class, this, LogiclanguagePackage.SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS); | 127 | parameterSubstitutions = new EObjectContainmentEList<Term>(Term.class, this, LogiclanguagePackage.SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS); |