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

Class ModalExprImpl

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.ExprImpl

tools.refinery.language.model.problem.impl.UnaryExprImpl

tools.refinery.language.model.problem.impl.ModalExprImpl

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, Expr, ModalExpr, UnaryExpr

public class ModalExprImpl
extends UnaryExprImpl
implements ModalExpr

An implementation of the model object 'Modal Expr'.

The following features are implemented:

• Concreteness
• Modality

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 Concreteness	concreteness	The cached value of the 'Concreteness' attribute.
protected static final Concreteness	CONCRETENESS_EDEFAULT	The default value of the 'Concreteness' attribute.
protected Modality	modality	The cached value of the 'Modality' attribute.
protected static final Modality	MODALITY_EDEFAULT	The default value of the 'Modality' attribute.

Fields inherited from class tools.refinery.language.model.problem.impl.UnaryExprImpl

body

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	ModalExprImpl()

Method Summary

Modifier and Type	Method	Description
Object	eGet(int featureID, boolean resolve, boolean coreType)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
protected org.eclipse.emf.ecore.EClass	eStaticClass()
void	eUnset(int featureID)
Concreteness	getConcreteness()
Modality	getModality()
void	setConcreteness(Concreteness newConcreteness)
void	setModality(Modality newModality)
String	toString()

Methods inherited from class tools.refinery.language.model.problem.impl.UnaryExprImpl

basicSetBody, eInverseRemove, getBody, setBody

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, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, 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

Methods inherited from interface tools.refinery.language.model.problem.UnaryExpr

getBody, setBody

Field Details

CONCRETENESS_EDEFAULT

protected static final Concreteness CONCRETENESS_EDEFAULT

The default value of the 'Concreteness' attribute.

See Also:

• getConcreteness()

concreteness

protected Concreteness concreteness

The cached value of the 'Concreteness' attribute.

See Also:

• getConcreteness()

MODALITY_EDEFAULT

protected static final Modality MODALITY_EDEFAULT

The default value of the 'Modality' attribute.

See Also:

• getModality()

modality

protected Modality modality

The cached value of the 'Modality' attribute.

See Also:

• getModality()

Constructor Details

ModalExprImpl

protected ModalExprImpl()

Method Details

eStaticClass

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

Overrides:

eStaticClass in class UnaryExprImpl

getConcreteness

public Concreteness getConcreteness()

Specified by:

getConcreteness in interface ModalExpr

Returns:

the value of the 'Concreteness' attribute.

See Also:

• Concreteness
• ModalExpr.setConcreteness(Concreteness)
• ProblemPackage.getModalExpr_Concreteness()

setConcreteness

public void setConcreteness(Concreteness newConcreteness)

Specified by:

setConcreteness in interface ModalExpr

Parameters:

newConcreteness - the new value of the 'Concreteness' attribute.

See Also:

• Concreteness
• ModalExpr.getConcreteness()

getModality

public Modality getModality()

Specified by:

getModality in interface ModalExpr

Returns:

the value of the 'Modality' attribute.

See Also:

• Modality
• ModalExpr.setModality(Modality)
• ProblemPackage.getModalExpr_Modality()

setModality

public void setModality(Modality newModality)

Specified by:

setModality in interface ModalExpr

Parameters:

newModality - the new value of the 'Modality' attribute.

See Also:

• Modality
• ModalExpr.getModality()

eGet

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

Specified by:

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

Overrides:

eGet in class UnaryExprImpl

eSet

public void eSet(int featureID,
 Object newValue)

Specified by:

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

Overrides:

eSet in class UnaryExprImpl

eUnset

public void eUnset(int featureID)

Specified by:

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

Overrides:

eUnset in class UnaryExprImpl

eIsSet

public boolean eIsSet(int featureID)

Specified by:

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

Overrides:

eIsSet in class UnaryExprImpl

toString

public String toString()

Overrides:

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