fr.lip6.move.pnml.symmetricnet.cyclicEnumerations

Interface CyclicEnumOperator

All Superinterfaces:

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

All Known Subinterfaces:

Predecessor, Successor

All Known Implementing Classes:

CyclicEnumOperatorImpl, PredecessorImpl, SuccessorImpl

public interface CyclicEnumOperator
extends BuiltInOperator

A representation of the model object 'Cyclic Enum Operator'.

See Also:

CyclicEnumerationsPackage.getCyclicEnumOperator()

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