fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl

Class GreaterThanOrEqualImpl

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

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

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

fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.FiniteIntRangeOperatorImpl

fr.lip6.move.pnml.symmetricnet.finiteIntRanges.impl.GreaterThanOrEqualImpl

All Implemented Interfaces:

FiniteIntRangeOperator, GreaterThanOrEqual, BuiltInOperator, Operator, Term, org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder, org.eclipse.emf.ecore.InternalEObject

public class GreaterThanOrEqualImpl
extends FiniteIntRangeOperatorImpl
implements GreaterThanOrEqual

An implementation of the model object 'Greater Than Or Equal'.

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

input, output, subterm

Fields inherited from class fr.lip6.move.pnml.symmetricnet.terms.impl.TermImpl

sort

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

Method Summary

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

Methods inherited from class fr.lip6.move.pnml.symmetricnet.terms.impl.OperatorImpl

basicGetOutput, eGet, eInverseAdd, eInverseRemove, eIsSet, eSet, eUnset, getInput, getOutput, getSubterm, setOutput

Methods inherited from class fr.lip6.move.pnml.symmetricnet.terms.impl.TermImpl

basicGetSort, basicSetContainerCondition, basicSetContainerHLAnnotation, basicSetContainerHLMarking, basicSetContainerNamedOperator, basicSetContainerOperator, basicSetContainerPartitionElement, eBasicRemoveFromContainerFeature, getContainerCondition, getContainerHLAnnotation, getContainerHLMarking, getContainerNamedOperator, getContainerOperator, getContainerPartitionElement, getSort, setContainerCondition, setContainerHLAnnotation, setContainerHLMarking, setContainerNamedOperator, setContainerOperator, setContainerPartitionElement, setSort

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

getInput, getOutput, getSubterm, setOutput

Methods inherited from interface fr.lip6.move.pnml.symmetricnet.terms.Term

getContainerCondition, getContainerHLAnnotation, getContainerHLMarking, getContainerNamedOperator, getContainerOperator, getContainerPartitionElement, getSort, setContainerCondition, setContainerHLAnnotation, setContainerHLMarking, setContainerNamedOperator, setContainerOperator, setContainerPartitionElement, setSort

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

GreaterThanOrEqualImpl

protected GreaterThanOrEqualImpl()

Method Detail

eStaticClass

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

Overrides:

eStaticClass in class FiniteIntRangeOperatorImpl

toPNML

public String toPNML()

Return the string containing the pnml output

Specified by:

toPNML in interface FiniteIntRangeOperator

Specified by:

toPNML in interface GreaterThanOrEqual

Specified by:

toPNML in interface BuiltInOperator

Specified by:

toPNML in interface Operator

Specified by:

toPNML in interface Term

fromPNML

public void fromPNML(org.apache.axiom.om.OMElement locRoot,
                     IdRefLinker idr)
              throws InnerBuildException,
                     InvalidIDException,
                     VoidRepositoryException

Description copied from interface: GreaterThanOrEqual

set values to conform PNML document

Specified by:

fromPNML in interface FiniteIntRangeOperator

Specified by:

fromPNML in interface GreaterThanOrEqual

Specified by:

fromPNML in interface BuiltInOperator

Specified by:

fromPNML in interface Operator

Specified by:

fromPNML in interface Term

Throws:

InnerBuildException

InvalidIDException

VoidRepositoryException

toPNML

public void toPNML(FileChannel fc)

Return the string containing the pnml output

Specified by:

toPNML in interface FiniteIntRangeOperator

Specified by:

toPNML in interface GreaterThanOrEqual

Specified by:

toPNML in interface BuiltInOperator

Specified by:

toPNML in interface Operator

Specified by:

toPNML in interface Term

validateOCL

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

-

Specified by:

validateOCL in interface FiniteIntRangeOperator

Specified by:

validateOCL in interface GreaterThanOrEqual

Specified by:

validateOCL in interface BuiltInOperator

Specified by:

validateOCL in interface Operator

Specified by:

validateOCL in interface Term

Specified by:

validateOCL in class FiniteIntRangeOperatorImpl