Package tools.refinery.language.model.problem.impl

Class AssertionImpl

java.lang.Object

org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

tools.refinery.language.model.problem.impl.ProblemEObjectImpl

tools.refinery.language.model.problem.impl.AssertionImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder, org.eclipse.emf.ecore.InternalEObject, AbstractAssertion, Assertion, Statement

public class AssertionImpl
extends ProblemEObjectImpl
implements Assertion

An implementation of the model object 'Assertion'.

The following features are implemented:

• Arguments
• Relation
• Value
• Default

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container.Dynamic

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl

Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EScannableAdapterList

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

Fields

Modifier and Type	Field	Description
protected org.eclipse.emf.common.util.EList<AssertionArgument>	arguments	The cached value of the 'Arguments' containment reference list.
protected boolean	default_	The cached value of the 'Default' attribute.
protected static final boolean	DEFAULT_EDEFAULT	The default value of the 'Default' attribute.
protected Relation	relation	The cached value of the 'Relation' reference.
protected Expr	value	The cached value of the 'Value' containment reference.

Fields inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eContainer

Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET

Fields inherited from interface org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder

NIL

Fields inherited from interface org.eclipse.emf.ecore.InternalEObject

EOPPOSITE_FEATURE_BASE

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AssertionImpl()

Method Summary

Modifier and Type	Method	Description
Relation	basicGetRelation()
org.eclipse.emf.common.notify.NotificationChain	basicSetValue(Expr newValue, org.eclipse.emf.common.notify.NotificationChain msgs)
int	eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass)
int	eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass)
Object	eGet(int featureID, boolean resolve, boolean coreType)
org.eclipse.emf.common.notify.NotificationChain	eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd, int featureID, org.eclipse.emf.common.notify.NotificationChain msgs)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
protected org.eclipse.emf.ecore.EClass	eStaticClass()
void	eUnset(int featureID)
org.eclipse.emf.common.util.EList<AssertionArgument>	getArguments()
Relation	getRelation()
Expr	getValue()
boolean	isDefault()
void	setDefault(boolean newDefault)
void	setRelation(Relation newRelation)
void	setValue(Expr newValue)
String	toString()

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eBasicSetContainer, eInternalContainer

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

dynamicGet, dynamicSet, dynamicUnset, eAdapters, eBasicAdapterArray, eBasicAdapterListeners, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, eBasicSetAdapterListeners, eBasicSetContainer, eBasicSetContainerFeatureID, eBasicSetSettings, eBasicSettings, eClass, eContainerFeatureID, eContents, eCrossReferences, eDeliver, eDirectResource, eDynamicClass, eHasSettings, eIsProxy, eProperties, eProxyURI, eSetClass, eSetDeliver, eSetDirectResource, eSetProxyURI, eSettings

Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, eDynamicBasicRemoveFromContainer, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInternalResource, eInverseAdd, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eURIFragmentSegment, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues

Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

eNotificationRequired, eNotify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.ecore.InternalEObject

eNotificationRequired

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Field Details

arguments

protected org.eclipse.emf.common.util.EList<AssertionArgument> arguments

The cached value of the 'Arguments' containment reference list.

See Also:

• getArguments()

relation

protected Relation relation

The cached value of the 'Relation' reference.

See Also:

• getRelation()

value

protected Expr value

The cached value of the 'Value' containment reference.

See Also:

• getValue()

DEFAULT_EDEFAULT

protected static final boolean DEFAULT_EDEFAULT

The default value of the 'Default' attribute.

See Also:

• isDefault()
• Constant Field Values

default_

protected boolean default_

The cached value of the 'Default' attribute.

See Also:

• isDefault()

Constructor Details

AssertionImpl

protected AssertionImpl()

Method Details

eStaticClass

protected org.eclipse.emf.ecore.EClass eStaticClass()

Overrides:

eStaticClass in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

getArguments

public org.eclipse.emf.common.util.EList<AssertionArgument> getArguments()

Specified by:

getArguments in interface AbstractAssertion

Returns:

the value of the 'Arguments' containment reference list.

See Also:

• ProblemPackage.getAbstractAssertion_Arguments()

getRelation

public Relation getRelation()

Specified by:

getRelation in interface AbstractAssertion

Returns:

the value of the 'Relation' reference.

See Also:

• AbstractAssertion.setRelation(Relation)
• ProblemPackage.getAbstractAssertion_Relation()

basicGetRelation

public Relation basicGetRelation()

setRelation

public void setRelation(Relation newRelation)

Specified by:

setRelation in interface AbstractAssertion

Parameters:

newRelation - the new value of the 'Relation' reference.

See Also:

• AbstractAssertion.getRelation()

getValue

public Expr getValue()

Specified by:

getValue in interface AbstractAssertion

Returns:

the value of the 'Value' containment reference.

See Also:

• AbstractAssertion.setValue(Expr)
• ProblemPackage.getAbstractAssertion_Value()

basicSetValue

public org.eclipse.emf.common.notify.NotificationChain basicSetValue(Expr newValue,
 org.eclipse.emf.common.notify.NotificationChain msgs)

setValue

public void setValue(Expr newValue)

Specified by:

setValue in interface AbstractAssertion

Parameters:

newValue - the new value of the 'Value' containment reference.

See Also:

• AbstractAssertion.getValue()

isDefault

public boolean isDefault()

Specified by:

isDefault in interface Assertion

Returns:

the value of the 'Default' attribute.

See Also:

• Assertion.setDefault(boolean)
• ProblemPackage.getAssertion_Default()

setDefault

public void setDefault(boolean newDefault)

Specified by:

setDefault in interface Assertion

Parameters:

newDefault - the new value of the 'Default' attribute.

See Also:

• Assertion.isDefault()

eInverseRemove

public org.eclipse.emf.common.notify.NotificationChain eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd,
 int featureID,
 org.eclipse.emf.common.notify.NotificationChain msgs)

Overrides:

eInverseRemove in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eGet

public Object eGet(int featureID,
 boolean resolve,
 boolean coreType)

Specified by:

eGet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eGet in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eSet

public void eSet(int featureID,
 Object newValue)

Specified by:

eSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eSet in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eUnset

public void eUnset(int featureID)

Specified by:

eUnset in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eUnset in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eIsSet

public boolean eIsSet(int featureID)

Specified by:

eIsSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eIsSet in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eBaseStructuralFeatureID

public int eBaseStructuralFeatureID(int derivedFeatureID,
 Class<?> baseClass)

Specified by:

eBaseStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eBaseStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eDerivedStructuralFeatureID

public int eDerivedStructuralFeatureID(int baseFeatureID,
 Class<?> baseClass)

Specified by:

eDerivedStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eDerivedStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

toString

public String toString()

Overrides:

toString in class org.eclipse.emf.ecore.impl.BasicEObjectImpl