fr.lip6.move.pnml.symmetricnet.booleans

Interface Or

All Superinterfaces:

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

All Known Implementing Classes:

OrImpl

public interface Or
extends BooleanOperator

A representation of the model object 'Or'.

See Also:

BooleansPackage.getOr()

Method Summary

Modifier and Type	Method and Description
void	fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) set values to conform PNML document
String	toPNML() Return the string containing the pnml output
void	toPNML(FileChannel fc) Write the PNML xml tree of this object into file
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()

Return the string containing the pnml output

Specified by:

toPNML in interface BooleanOperator

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 subRoot,
              IdRefLinker idr)
       throws InnerBuildException,
              InvalidIDException,
              VoidRepositoryException

set values to conform PNML document

Specified by:

fromPNML in interface BooleanOperator

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)

Write the PNML xml tree of this object into file

Specified by:

toPNML in interface BooleanOperator

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 BooleanOperator

Specified by:

validateOCL in interface BuiltInOperator

Specified by:

validateOCL in interface Operator

Specified by:

validateOCL in interface Term