fr.lip6.move.pnml.symmetricnet.terms.impl

Class SortImpl

java.lang.Object

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

org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl

fr.lip6.move.pnml.symmetricnet.terms.impl.SortImpl

All Implemented Interfaces:

Sort, org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder, org.eclipse.emf.ecore.InternalEObject

Direct Known Subclasses:

BuiltInSortImpl, MultisetSortImpl, ProductSortImpl, UserSortImpl

public abstract class SortImpl
extends org.eclipse.emf.ecore.impl.MinimalEObjectImpl
implements Sort

An implementation of the model object 'Sort'.

The following features are implemented:

• Multi
• Container Named Sort
• Container Variable Decl
• Container Product Sort
• Container Type
• Container All
• Container Empty
• Container Partition

Nested Class Summary

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

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

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

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 and Description
protected	SortImpl()

Method Summary

Modifier and Type	Method and Description
org.eclipse.emf.common.notify.NotificationChain	basicSetContainerAll(All newContainerAll, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetContainerEmpty(Empty newContainerEmpty, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetContainerNamedSort(NamedSort newContainerNamedSort, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetContainerPartition(Partition newContainerPartition, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetContainerProductSort(ProductSort newContainerProductSort, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetContainerType(Type newContainerType, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetContainerVariableDecl(VariableDecl newContainerVariableDecl, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetMulti(MultisetSort newMulti, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	eBasicRemoveFromContainerFeature(org.eclipse.emf.common.notify.NotificationChain msgs)
Object	eGet(int featureID, boolean resolve, boolean coreType)
org.eclipse.emf.common.notify.NotificationChain	eInverseAdd(org.eclipse.emf.ecore.InternalEObject otherEnd, int featureID, org.eclipse.emf.common.notify.NotificationChain msgs)
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)
All	getContainerAll()
Empty	getContainerEmpty()
NamedSort	getContainerNamedSort()
Partition	getContainerPartition()
ProductSort	getContainerProductSort()
Type	getContainerType()
VariableDecl	getContainerVariableDecl()
MultisetSort	getMulti()
void	setContainerAll(All newContainerAll)
void	setContainerEmpty(Empty newContainerEmpty)
void	setContainerNamedSort(NamedSort newContainerNamedSort)
void	setContainerPartition(Partition newContainerPartition)
void	setContainerProductSort(ProductSort newContainerProductSort)
void	setContainerType(Type newContainerType)
void	setContainerVariableDecl(VariableDecl newContainerVariableDecl)
void	setMulti(MultisetSort newMulti)
abstract boolean	validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)

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

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

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

eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, 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, 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, toString

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 fr.lip6.move.pnml.symmetricnet.terms.Sort

equalSorts, fromPNML, toPNML, toPNML

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.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

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

eNotificationRequired

Constructor Detail

SortImpl

protected SortImpl()

Method Detail

eStaticClass

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

Overrides:

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

getMulti

public MultisetSort getMulti()

Specified by:

getMulti in interface Sort

Returns:

the value of the 'Multi' container reference.

See Also:

Sort.setMulti(MultisetSort), TermsPackage.getSort_Multi(), MultisetSort.getBasis()

basicSetMulti

public org.eclipse.emf.common.notify.NotificationChain basicSetMulti(MultisetSort newMulti,
                                                                     org.eclipse.emf.common.notify.NotificationChain msgs)

setMulti

public void setMulti(MultisetSort newMulti)

Specified by:

setMulti in interface Sort

Parameters:

newMulti - the new value of the 'Multi' container reference.

See Also:

Sort.getMulti()

getContainerNamedSort

public NamedSort getContainerNamedSort()

Specified by:

getContainerNamedSort in interface Sort

Returns:

the value of the 'Container Named Sort' container reference.

See Also:

Sort.setContainerNamedSort(NamedSort), TermsPackage.getSort_ContainerNamedSort(), NamedSort.getSortdef()

basicSetContainerNamedSort

public org.eclipse.emf.common.notify.NotificationChain basicSetContainerNamedSort(NamedSort newContainerNamedSort,
                                                                                  org.eclipse.emf.common.notify.NotificationChain msgs)

setContainerNamedSort

public void setContainerNamedSort(NamedSort newContainerNamedSort)

Specified by:

setContainerNamedSort in interface Sort

Parameters:

newContainerNamedSort - the new value of the 'Container Named Sort' container reference.

See Also:

Sort.getContainerNamedSort()

getContainerVariableDecl

public VariableDecl getContainerVariableDecl()

Specified by:

getContainerVariableDecl in interface Sort

Returns:

the value of the 'Container Variable Decl' container reference.

See Also:

Sort.setContainerVariableDecl(VariableDecl), TermsPackage.getSort_ContainerVariableDecl(), VariableDecl.getSort()

basicSetContainerVariableDecl

public org.eclipse.emf.common.notify.NotificationChain basicSetContainerVariableDecl(VariableDecl newContainerVariableDecl,
                                                                                     org.eclipse.emf.common.notify.NotificationChain msgs)

setContainerVariableDecl

public void setContainerVariableDecl(VariableDecl newContainerVariableDecl)

Specified by:

setContainerVariableDecl in interface Sort

Parameters:

newContainerVariableDecl - the new value of the 'Container Variable Decl' container reference.

See Also:

Sort.getContainerVariableDecl()

getContainerProductSort

public ProductSort getContainerProductSort()

Specified by:

getContainerProductSort in interface Sort

Returns:

the value of the 'Container Product Sort' container reference.

See Also:

Sort.setContainerProductSort(ProductSort), TermsPackage.getSort_ContainerProductSort(), ProductSort.getElementSort()

basicSetContainerProductSort

public org.eclipse.emf.common.notify.NotificationChain basicSetContainerProductSort(ProductSort newContainerProductSort,
                                                                                    org.eclipse.emf.common.notify.NotificationChain msgs)

setContainerProductSort

public void setContainerProductSort(ProductSort newContainerProductSort)

Specified by:

setContainerProductSort in interface Sort

Parameters:

newContainerProductSort - the new value of the 'Container Product Sort' container reference.

See Also:

Sort.getContainerProductSort()

getContainerType

public Type getContainerType()

Specified by:

getContainerType in interface Sort

Returns:

the value of the 'Container Type' container reference.

See Also:

Sort.setContainerType(Type), TermsPackage.getSort_ContainerType(), Type.getStructure()

basicSetContainerType

public org.eclipse.emf.common.notify.NotificationChain basicSetContainerType(Type newContainerType,
                                                                             org.eclipse.emf.common.notify.NotificationChain msgs)

setContainerType

public void setContainerType(Type newContainerType)

Specified by:

setContainerType in interface Sort

Parameters:

newContainerType - the new value of the 'Container Type' container reference.

See Also:

Sort.getContainerType()

getContainerAll

public All getContainerAll()

Specified by:

getContainerAll in interface Sort

Returns:

the value of the 'Container All' container reference.

See Also:

Sort.setContainerAll(All), TermsPackage.getSort_ContainerAll(), All.getRefsort()

basicSetContainerAll

public org.eclipse.emf.common.notify.NotificationChain basicSetContainerAll(All newContainerAll,
                                                                            org.eclipse.emf.common.notify.NotificationChain msgs)

setContainerAll

public void setContainerAll(All newContainerAll)

Specified by:

setContainerAll in interface Sort

Parameters:

newContainerAll - the new value of the 'Container All' container reference.

See Also:

Sort.getContainerAll()

getContainerEmpty

public Empty getContainerEmpty()

Specified by:

getContainerEmpty in interface Sort

Returns:

the value of the 'Container Empty' container reference.

See Also:

Sort.setContainerEmpty(Empty), TermsPackage.getSort_ContainerEmpty(), Empty.getRefsort()

basicSetContainerEmpty

public org.eclipse.emf.common.notify.NotificationChain basicSetContainerEmpty(Empty newContainerEmpty,
                                                                              org.eclipse.emf.common.notify.NotificationChain msgs)

setContainerEmpty

public void setContainerEmpty(Empty newContainerEmpty)

Specified by:

setContainerEmpty in interface Sort

Parameters:

newContainerEmpty - the new value of the 'Container Empty' container reference.

See Also:

Sort.getContainerEmpty()

getContainerPartition

public Partition getContainerPartition()

Specified by:

getContainerPartition in interface Sort

Returns:

the value of the 'Container Partition' container reference.

See Also:

Sort.setContainerPartition(Partition), TermsPackage.getSort_ContainerPartition(), Partition.getDef()

basicSetContainerPartition

public org.eclipse.emf.common.notify.NotificationChain basicSetContainerPartition(Partition newContainerPartition,
                                                                                  org.eclipse.emf.common.notify.NotificationChain msgs)

setContainerPartition

public void setContainerPartition(Partition newContainerPartition)

Specified by:

setContainerPartition in interface Sort

Parameters:

newContainerPartition - the new value of the 'Container Partition' container reference.

See Also:

Sort.getContainerPartition()

eInverseAdd

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

Overrides:

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

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

eBasicRemoveFromContainerFeature

public org.eclipse.emf.common.notify.NotificationChain eBasicRemoveFromContainerFeature(org.eclipse.emf.common.notify.NotificationChain msgs)

Overrides:

eBasicRemoveFromContainerFeature 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

validateOCL

public abstract boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)

Specified by:

validateOCL in interface Sort