public class PositiveImpl extends HLPNNumberImpl implements Positive
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
EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET
Modifier | Constructor and Description |
---|---|
protected |
PositiveImpl() |
Modifier and Type | Method and Description |
---|---|
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)
-
|
basicSetContainerNumberConstant, eBasicRemoveFromContainerFeature, eGet, eInverseAdd, eInverseRemove, eIsSet, equalSorts, eSet, eUnset, getContainerNumberConstant, setContainerNumberConstant
basicSetContainerAll, basicSetContainerEmpty, basicSetContainerNamedSort, basicSetContainerPartition, basicSetContainerProductSort, basicSetContainerType, basicSetContainerVariableDecl, basicSetMulti, 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
getContainerNumberConstant, setContainerNumberConstant
equalSorts, 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 HLPNNumberImpl
public String toPNML()
toPNML
in interface HLPNNumber
toPNML
in interface Positive
toPNML
in interface BuiltInSort
toPNML
in interface Sort
public void fromPNML(org.apache.axiom.om.OMElement locRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
Positive
fromPNML
in interface HLPNNumber
fromPNML
in interface Positive
fromPNML
in interface BuiltInSort
fromPNML
in interface Sort
InnerBuildException
InvalidIDException
VoidRepositoryException
public void toPNML(FileChannel fc)
toPNML
in interface HLPNNumber
toPNML
in interface Positive
toPNML
in interface BuiltInSort
toPNML
in interface Sort
public boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface HLPNNumber
validateOCL
in interface Positive
validateOCL
in interface BuiltInSort
validateOCL
in interface Sort
validateOCL
in class HLPNNumberImpl
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.