fr.lip6.move.pnml.pthlpng.booleans

Interface Bool

All Superinterfaces:

BuiltInSort, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier, Sort

All Known Implementing Classes:

BoolImpl

public interface Bool
extends BuiltInSort

A representation of the model object 'Bool'.

See Also:

BooleansPackage.getBool()

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.pthlpng.terms.Sort

equalSorts, getContainerAll, getContainerEmpty, getContainerNamedSort, getContainerPartition, getContainerProductSort, getContainerType, getContainerVariableDecl, getMulti, setContainerAll, setContainerEmpty, setContainerNamedSort, setContainerPartition, setContainerProductSort, setContainerType, setContainerVariableDecl, setMulti

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 BuiltInSort

Specified by:

toPNML in interface Sort

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 BuiltInSort

Specified by:

fromPNML in interface Sort

Throws:

InnerBuildException

InvalidIDException

VoidRepositoryException

toPNML

void toPNML(FileChannel fc)

Write the PNML xml tree of this object into file

Specified by:

toPNML in interface BuiltInSort

Specified by:

toPNML in interface Sort

validateOCL

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

Specified by:

validateOCL in interface BuiltInSort

Specified by:

validateOCL in interface Sort