public interface PetriNetDoc
extends org.eclipse.emf.ecore.EObject
The following features are supported:
PtnetPackage.getPetriNetDoc()
Modifier and Type | Method and Description |
---|---|
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
set values to conform PNML document
|
List<PetriNet> |
getNets()
Returns the value of the 'Nets' containment reference list.
|
String |
getXmlns()
Returns the value of the 'Xmlns' attribute.
|
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) |
List<PetriNet> getNets()
PetriNet
.
It is bidirectional and its opposite is 'Container Petri Net Doc
'.
If the meaning of the 'Nets' containment reference list isn't clear, there really should be more of a description here...
PtnetPackage.getPetriNetDoc_Nets()
,
PetriNet.getContainerPetriNetDoc()
String getXmlns()
"http://www.pnml.org/version-2009/grammar/pnml"
.
If the meaning of the 'Xmlns' attribute isn't clear, there really should be more of a description here...
PtnetPackage.getPetriNetDoc_Xmlns()
String toPNML()
void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
void toPNML(FileChannel fc)
boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.