fr.lip6.move.pnml.symmetricnet.finiteIntRanges

Interface FiniteIntRangeOperator

All Superinterfaces:

BuiltInOperator, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier, Operator, Term

All Known Subinterfaces:

GreaterThan, GreaterThanOrEqual, LessThan, LessThanOrEqual

All Known Implementing Classes:

FiniteIntRangeOperatorImpl, GreaterThanImpl, GreaterThanOrEqualImpl, LessThanImpl, LessThanOrEqualImpl

public interface FiniteIntRangeOperator
extends BuiltInOperator

A representation of the model object 'Finite Int Range Operator'.

See Also:

FiniteIntRangesPackage.getFiniteIntRangeOperator()

Method Summary

Modifier and Type	Method and Description
void	fromPNML(org.apache.axiom.om.OMElement locRoot, IdRefLinker idr)
String	toPNML()
void	toPNML(FileChannel fc)
boolean	validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)

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

Method Detail

toPNML

String toPNML()

Specified by:

toPNML in interface BuiltInOperator

Specified by:

toPNML in interface Operator

Specified by:

toPNML in interface Term

fromPNML

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

Specified by:

fromPNML in interface BuiltInOperator

Specified by:

fromPNML in interface Operator

Specified by:

fromPNML in interface Term

Throws:

InnerBuildException

InvalidIDException

VoidRepositoryException

toPNML

void toPNML(FileChannel fc)

Specified by:

toPNML in interface BuiltInOperator

Specified by:

toPNML in interface Operator

Specified by:

toPNML in interface Term

validateOCL

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

Specified by:

validateOCL in interface BuiltInOperator

Specified by:

validateOCL in interface Operator

Specified by:

validateOCL in interface Term