public class CyclicEnumerationImpl extends FiniteEnumerationImpl implements CyclicEnumeration
org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl
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
elements
EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET
Modifier | Constructor and Description |
---|---|
protected |
CyclicEnumerationImpl() |
Modifier and Type | Method and Description |
---|---|
boolean |
equalSorts(Sort sort)
Returns true if this sort and argument sort are actually semantically the
same sort, even in two different objects.
|
protected org.eclipse.emf.ecore.EClass |
eStaticClass() |
void |
fromPNML(org.apache.axiom.om.OMElement locRoot,
IdRefLinker idr)
set values to conform PNML document
|
String |
toPNML()
Return the string containing the pnml output
|
void |
toPNML(FileChannel fc)
Return the string containing the pnml output
|
boolean |
validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
-
|
eGet, eInverseAdd, eInverseRemove, eIsSet, eSet, eUnset, getElements
basicSetContainerAll, basicSetContainerEmpty, basicSetContainerNamedSort, basicSetContainerPartition, basicSetContainerProductSort, basicSetContainerType, basicSetContainerVariableDecl, basicSetMulti, eBasicRemoveFromContainerFeature, getContainerAll, getContainerEmpty, getContainerNamedSort, getContainerPartition, getContainerProductSort, getContainerType, getContainerVariableDecl, getMulti, setContainerAll, setContainerEmpty, setContainerNamedSort, setContainerPartition, setContainerProductSort, setContainerType, setContainerVariableDecl, setMulti
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
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
eNotificationRequired, eNotify
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getElements
getContainerAll, getContainerEmpty, getContainerNamedSort, getContainerPartition, getContainerProductSort, getContainerType, getContainerVariableDecl, getMulti, setContainerAll, setContainerEmpty, setContainerNamedSort, setContainerPartition, setContainerProductSort, setContainerType, setContainerVariableDecl, setMulti
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
protected org.eclipse.emf.ecore.EClass eStaticClass()
eStaticClass
in class FiniteEnumerationImpl
public String toPNML()
toPNML
in interface CyclicEnumeration
toPNML
in interface FiniteEnumeration
toPNML
in interface BuiltInSort
toPNML
in interface Sort
toPNML
in class FiniteEnumerationImpl
public void fromPNML(org.apache.axiom.om.OMElement locRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
FiniteEnumeration
fromPNML
in interface CyclicEnumeration
fromPNML
in interface FiniteEnumeration
fromPNML
in interface BuiltInSort
fromPNML
in interface Sort
fromPNML
in class FiniteEnumerationImpl
InnerBuildException
InvalidIDException
VoidRepositoryException
public void toPNML(FileChannel fc)
toPNML
in interface CyclicEnumeration
toPNML
in interface FiniteEnumeration
toPNML
in interface BuiltInSort
toPNML
in interface Sort
toPNML
in class FiniteEnumerationImpl
public boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface CyclicEnumeration
validateOCL
in interface FiniteEnumeration
validateOCL
in interface BuiltInSort
validateOCL
in interface Sort
validateOCL
in class FiniteEnumerationImpl
public boolean equalSorts(Sort sort)
Sort
Ex: two FiniteEnumerations F1 = {1,4,6} and F2 = {1,4,6} or two Integers I1 and I2.
Note : the implementation available for MultisetSort is not complete. In particular, we just test equality of the references or of the enclosing NamedSorts (if any). You should consider overriding it in that case.
equalSorts
in interface Sort
equalSorts
in class FiniteEnumerationImpl
sort
- the sort to which we compare this one.Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.