From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 20 Mar 2019 16:09:09 +0100 Subject: Fault tree transformation for partial models WIP --- .../impl/TypeScopeImpl.java | 650 +++++++++++---------- 1 file changed, 328 insertions(+), 322 deletions(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java index 9ae4fe6e..789be159 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java @@ -1,322 +1,328 @@ -/** - * generated by Xtext 2.12.0 - */ -package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; - -import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; -import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification; -import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope; - -import org.eclipse.emf.common.notify.Notification; -import org.eclipse.emf.common.notify.NotificationChain; - -import org.eclipse.emf.ecore.EClass; -import org.eclipse.emf.ecore.InternalEObject; - -import org.eclipse.emf.ecore.impl.ENotificationImpl; -import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; - -/** - * - * An implementation of the model object 'Type Scope'. - * - *

- * The following features are implemented: - *

- * - * - * @generated - */ -public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeScope -{ - /** - * The default value of the '{@link #isSetsNew() Sets New}' attribute. - * - * - * @see #isSetsNew() - * @generated - * @ordered - */ - protected static final boolean SETS_NEW_EDEFAULT = false; - - /** - * The cached value of the '{@link #isSetsNew() Sets New}' attribute. - * - * - * @see #isSetsNew() - * @generated - * @ordered - */ - protected boolean setsNew = SETS_NEW_EDEFAULT; - - /** - * The default value of the '{@link #isSetsSum() Sets Sum}' attribute. - * - * - * @see #isSetsSum() - * @generated - * @ordered - */ - protected static final boolean SETS_SUM_EDEFAULT = false; - - /** - * The cached value of the '{@link #isSetsSum() Sets Sum}' attribute. - * - * - * @see #isSetsSum() - * @generated - * @ordered - */ - protected boolean setsSum = SETS_SUM_EDEFAULT; - - /** - * The cached value of the '{@link #getNumber() Number}' containment reference. - * - * - * @see #getNumber() - * @generated - * @ordered - */ - protected NumberSpecification number; - - /** - * - * - * @generated - */ - protected TypeScopeImpl() - { - super(); - } - - /** - * - * - * @generated - */ - @Override - protected EClass eStaticClass() - { - return ApplicationConfigurationPackage.Literals.TYPE_SCOPE; - } - - /** - * - * - * @generated - */ - public boolean isSetsNew() - { - return setsNew; - } - - /** - * - * - * @generated - */ - public void setSetsNew(boolean newSetsNew) - { - boolean oldSetsNew = setsNew; - setsNew = newSetsNew; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW, oldSetsNew, setsNew)); - } - - /** - * - * - * @generated - */ - public boolean isSetsSum() - { - return setsSum; - } - - /** - * - * - * @generated - */ - public void setSetsSum(boolean newSetsSum) - { - boolean oldSetsSum = setsSum; - setsSum = newSetsSum; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM, oldSetsSum, setsSum)); - } - - /** - * - * - * @generated - */ - public NumberSpecification getNumber() - { - return number; - } - - /** - * - * - * @generated - */ - public NotificationChain basicSetNumber(NumberSpecification newNumber, NotificationChain msgs) - { - NumberSpecification oldNumber = number; - number = newNumber; - if (eNotificationRequired()) - { - ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, oldNumber, newNumber); - if (msgs == null) msgs = notification; else msgs.add(notification); - } - return msgs; - } - - /** - * - * - * @generated - */ - public void setNumber(NumberSpecification newNumber) - { - if (newNumber != number) - { - NotificationChain msgs = null; - if (number != null) - msgs = ((InternalEObject)number).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs); - if (newNumber != null) - msgs = ((InternalEObject)newNumber).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs); - msgs = basicSetNumber(newNumber, msgs); - if (msgs != null) msgs.dispatch(); - } - else if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, newNumber, newNumber)); - } - - /** - * - * - * @generated - */ - @Override - public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) - { - switch (featureID) - { - case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: - return basicSetNumber(null, msgs); - } - return super.eInverseRemove(otherEnd, featureID, msgs); - } - - /** - * - * - * @generated - */ - @Override - public Object eGet(int featureID, boolean resolve, boolean coreType) - { - switch (featureID) - { - case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: - return isSetsNew(); - case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: - return isSetsSum(); - case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: - return getNumber(); - } - return super.eGet(featureID, resolve, coreType); - } - - /** - * - * - * @generated - */ - @Override - public void eSet(int featureID, Object newValue) - { - switch (featureID) - { - case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: - setSetsNew((Boolean)newValue); - return; - case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: - setSetsSum((Boolean)newValue); - return; - case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: - setNumber((NumberSpecification)newValue); - return; - } - super.eSet(featureID, newValue); - } - - /** - * - * - * @generated - */ - @Override - public void eUnset(int featureID) - { - switch (featureID) - { - case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: - setSetsNew(SETS_NEW_EDEFAULT); - return; - case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: - setSetsSum(SETS_SUM_EDEFAULT); - return; - case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: - setNumber((NumberSpecification)null); - return; - } - super.eUnset(featureID); - } - - /** - * - * - * @generated - */ - @Override - public boolean eIsSet(int featureID) - { - switch (featureID) - { - case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: - return setsNew != SETS_NEW_EDEFAULT; - case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: - return setsSum != SETS_SUM_EDEFAULT; - case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: - return number != null; - } - return super.eIsSet(featureID); - } - - /** - * - * - * @generated - */ - @Override - public String toString() - { - if (eIsProxy()) return super.toString(); - - StringBuffer result = new StringBuffer(super.toString()); - result.append(" (setsNew: "); - result.append(setsNew); - result.append(", setsSum: "); - result.append(setsSum); - result.append(')'); - return result.toString(); - } - -} //TypeScopeImpl +/** + * generated by Xtext 2.16.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; + +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; +import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; + +/** + * + * An implementation of the model object 'Type Scope'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeScope +{ + /** + * The default value of the '{@link #isSetsNew() Sets New}' attribute. + * + * + * @see #isSetsNew() + * @generated + * @ordered + */ + protected static final boolean SETS_NEW_EDEFAULT = false; + + /** + * The cached value of the '{@link #isSetsNew() Sets New}' attribute. + * + * + * @see #isSetsNew() + * @generated + * @ordered + */ + protected boolean setsNew = SETS_NEW_EDEFAULT; + + /** + * The default value of the '{@link #isSetsSum() Sets Sum}' attribute. + * + * + * @see #isSetsSum() + * @generated + * @ordered + */ + protected static final boolean SETS_SUM_EDEFAULT = false; + + /** + * The cached value of the '{@link #isSetsSum() Sets Sum}' attribute. + * + * + * @see #isSetsSum() + * @generated + * @ordered + */ + protected boolean setsSum = SETS_SUM_EDEFAULT; + + /** + * The cached value of the '{@link #getNumber() Number}' containment reference. + * + * + * @see #getNumber() + * @generated + * @ordered + */ + protected NumberSpecification number; + + /** + * + * + * @generated + */ + protected TypeScopeImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return ApplicationConfigurationPackage.Literals.TYPE_SCOPE; + } + + /** + * + * + * @generated + */ + @Override + public boolean isSetsNew() + { + return setsNew; + } + + /** + * + * + * @generated + */ + @Override + public void setSetsNew(boolean newSetsNew) + { + boolean oldSetsNew = setsNew; + setsNew = newSetsNew; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW, oldSetsNew, setsNew)); + } + + /** + * + * + * @generated + */ + @Override + public boolean isSetsSum() + { + return setsSum; + } + + /** + * + * + * @generated + */ + @Override + public void setSetsSum(boolean newSetsSum) + { + boolean oldSetsSum = setsSum; + setsSum = newSetsSum; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM, oldSetsSum, setsSum)); + } + + /** + * + * + * @generated + */ + @Override + public NumberSpecification getNumber() + { + return number; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetNumber(NumberSpecification newNumber, NotificationChain msgs) + { + NumberSpecification oldNumber = number; + number = newNumber; + if (eNotificationRequired()) + { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, oldNumber, newNumber); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + @Override + public void setNumber(NumberSpecification newNumber) + { + if (newNumber != number) + { + NotificationChain msgs = null; + if (number != null) + msgs = ((InternalEObject)number).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs); + if (newNumber != null) + msgs = ((InternalEObject)newNumber).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs); + msgs = basicSetNumber(newNumber, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, newNumber, newNumber)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) + { + switch (featureID) + { + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + return basicSetNumber(null, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: + return isSetsNew(); + case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: + return isSetsSum(); + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + return getNumber(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: + setSetsNew((Boolean)newValue); + return; + case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: + setSetsSum((Boolean)newValue); + return; + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + setNumber((NumberSpecification)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: + setSetsNew(SETS_NEW_EDEFAULT); + return; + case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: + setSetsSum(SETS_SUM_EDEFAULT); + return; + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + setNumber((NumberSpecification)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: + return setsNew != SETS_NEW_EDEFAULT; + case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: + return setsSum != SETS_SUM_EDEFAULT; + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + return number != null; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() + { + if (eIsProxy()) return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (setsNew: "); + result.append(setsNew); + result.append(", setsSum: "); + result.append(setsSum); + result.append(')'); + return result.toString(); + } + +} //TypeScopeImpl -- cgit v1.2.3-54-g00ecf