/** */ package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult; import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage; import org.eclipse.emf.common.notify.Notification; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.impl.ENotificationImpl; /** * * An implementation of the model object 'SMT Unsupported Result'. * *

* The following features are implemented: *

*

* * @generated */ public class SMTUnsupportedResultImpl extends SMTResultImpl implements SMTUnsupportedResult { /** * The default value of the '{@link #getCommand() Command}' attribute. * * * @see #getCommand() * @generated * @ordered */ protected static final String COMMAND_EDEFAULT = null; /** * The cached value of the '{@link #getCommand() Command}' attribute. * * * @see #getCommand() * @generated * @ordered */ protected String command = COMMAND_EDEFAULT; /** * * * @generated */ protected SMTUnsupportedResultImpl() { super(); } /** * * * @generated */ @Override protected EClass eStaticClass() { return SmtLanguagePackage.Literals.SMT_UNSUPPORTED_RESULT; } /** * * * @generated */ public String getCommand() { return command; } /** * * * @generated */ public void setCommand(String newCommand) { String oldCommand = command; command = newCommand; if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_UNSUPPORTED_RESULT__COMMAND, oldCommand, command)); } /** * * * @generated */ @Override public Object eGet(int featureID, boolean resolve, boolean coreType) { switch (featureID) { case SmtLanguagePackage.SMT_UNSUPPORTED_RESULT__COMMAND: return getCommand(); } return super.eGet(featureID, resolve, coreType); } /** * * * @generated */ @Override public void eSet(int featureID, Object newValue) { switch (featureID) { case SmtLanguagePackage.SMT_UNSUPPORTED_RESULT__COMMAND: setCommand((String)newValue); return; } super.eSet(featureID, newValue); } /** * * * @generated */ @Override public void eUnset(int featureID) { switch (featureID) { case SmtLanguagePackage.SMT_UNSUPPORTED_RESULT__COMMAND: setCommand(COMMAND_EDEFAULT); return; } super.eUnset(featureID); } /** * * * @generated */ @Override public boolean eIsSet(int featureID) { switch (featureID) { case SmtLanguagePackage.SMT_UNSUPPORTED_RESULT__COMMAND: return COMMAND_EDEFAULT == null ? command != null : !COMMAND_EDEFAULT.equals(command); } return super.eIsSet(featureID); } /** * * * @generated */ @Override public String toString() { if (eIsProxy()) return super.toString(); StringBuffer result = new StringBuffer(super.toString()); result.append(" (command: "); result.append(command); result.append(')'); return result.toString(); } } //SMTUnsupportedResultImpl