/**
*/
package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult;
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 Sat Result'.
*
*
* The following features are implemented:
*
* - {@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl#isSat Sat}
* - {@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl#isUnsat Unsat}
* - {@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl#isUnknown Unknown}
*
*
*
* @generated
*/
public class SMTSatResultImpl extends SMTResultImpl implements SMTSatResult
{
/**
* The default value of the '{@link #isSat() Sat}' attribute.
*
*
* @see #isSat()
* @generated
* @ordered
*/
protected static final boolean SAT_EDEFAULT = false;
/**
* The cached value of the '{@link #isSat() Sat}' attribute.
*
*
* @see #isSat()
* @generated
* @ordered
*/
protected boolean sat = SAT_EDEFAULT;
/**
* The default value of the '{@link #isUnsat() Unsat}' attribute.
*
*
* @see #isUnsat()
* @generated
* @ordered
*/
protected static final boolean UNSAT_EDEFAULT = false;
/**
* The cached value of the '{@link #isUnsat() Unsat}' attribute.
*
*
* @see #isUnsat()
* @generated
* @ordered
*/
protected boolean unsat = UNSAT_EDEFAULT;
/**
* The default value of the '{@link #isUnknown() Unknown}' attribute.
*
*
* @see #isUnknown()
* @generated
* @ordered
*/
protected static final boolean UNKNOWN_EDEFAULT = false;
/**
* The cached value of the '{@link #isUnknown() Unknown}' attribute.
*
*
* @see #isUnknown()
* @generated
* @ordered
*/
protected boolean unknown = UNKNOWN_EDEFAULT;
/**
*
*
* @generated
*/
protected SMTSatResultImpl()
{
super();
}
/**
*
*
* @generated
*/
@Override
protected EClass eStaticClass()
{
return SmtLanguagePackage.Literals.SMT_SAT_RESULT;
}
/**
*
*
* @generated
*/
public boolean isSat()
{
return sat;
}
/**
*
*
* @generated
*/
public void setSat(boolean newSat)
{
boolean oldSat = sat;
sat = newSat;
if (eNotificationRequired())
eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_SAT_RESULT__SAT, oldSat, sat));
}
/**
*
*
* @generated
*/
public boolean isUnsat()
{
return unsat;
}
/**
*
*
* @generated
*/
public void setUnsat(boolean newUnsat)
{
boolean oldUnsat = unsat;
unsat = newUnsat;
if (eNotificationRequired())
eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_SAT_RESULT__UNSAT, oldUnsat, unsat));
}
/**
*
*
* @generated
*/
public boolean isUnknown()
{
return unknown;
}
/**
*
*
* @generated
*/
public void setUnknown(boolean newUnknown)
{
boolean oldUnknown = unknown;
unknown = newUnknown;
if (eNotificationRequired())
eNotify(new ENotificationImpl(this, Notification.SET, SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN, oldUnknown, unknown));
}
/**
*
*
* @generated
*/
@Override
public Object eGet(int featureID, boolean resolve, boolean coreType)
{
switch (featureID)
{
case SmtLanguagePackage.SMT_SAT_RESULT__SAT:
return isSat();
case SmtLanguagePackage.SMT_SAT_RESULT__UNSAT:
return isUnsat();
case SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN:
return isUnknown();
}
return super.eGet(featureID, resolve, coreType);
}
/**
*
*
* @generated
*/
@Override
public void eSet(int featureID, Object newValue)
{
switch (featureID)
{
case SmtLanguagePackage.SMT_SAT_RESULT__SAT:
setSat((Boolean)newValue);
return;
case SmtLanguagePackage.SMT_SAT_RESULT__UNSAT:
setUnsat((Boolean)newValue);
return;
case SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN:
setUnknown((Boolean)newValue);
return;
}
super.eSet(featureID, newValue);
}
/**
*
*
* @generated
*/
@Override
public void eUnset(int featureID)
{
switch (featureID)
{
case SmtLanguagePackage.SMT_SAT_RESULT__SAT:
setSat(SAT_EDEFAULT);
return;
case SmtLanguagePackage.SMT_SAT_RESULT__UNSAT:
setUnsat(UNSAT_EDEFAULT);
return;
case SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN:
setUnknown(UNKNOWN_EDEFAULT);
return;
}
super.eUnset(featureID);
}
/**
*
*
* @generated
*/
@Override
public boolean eIsSet(int featureID)
{
switch (featureID)
{
case SmtLanguagePackage.SMT_SAT_RESULT__SAT:
return sat != SAT_EDEFAULT;
case SmtLanguagePackage.SMT_SAT_RESULT__UNSAT:
return unsat != UNSAT_EDEFAULT;
case SmtLanguagePackage.SMT_SAT_RESULT__UNKNOWN:
return unknown != UNKNOWN_EDEFAULT;
}
return super.eIsSet(featureID);
}
/**
*
*
* @generated
*/
@Override
public String toString()
{
if (eIsProxy()) return super.toString();
StringBuffer result = new StringBuffer(super.toString());
result.append(" (sat: ");
result.append(sat);
result.append(", unsat: ");
result.append(unsat);
result.append(", unknown: ");
result.append(unknown);
result.append(')');
return result.toString();
}
} //SMTSatResultImpl