public interface PetriNet
extends org.eclipse.emf.ecore.EObject
The following features are supported:
HlcorestructurePackage.getPetriNet()
Modifier and Type | Method and Description |
---|---|
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
set values to conform PNML document
|
PetriNetDoc |
getContainerPetriNetDoc()
Returns the value of the 'Container Petri Net Doc' container reference.
|
List<Declaration> |
getDeclaration()
Returns the value of the 'Declaration' containment reference list.
|
String |
getId()
Returns the value of the 'Id' attribute.
|
Name |
getName()
Returns the value of the 'Name' containment reference.
|
List<Page> |
getPages()
Returns the value of the 'Pages' containment reference list.
|
List<ToolInfo> |
getToolspecifics()
Returns the value of the 'Toolspecifics' containment reference list.
|
PNType |
getType()
Returns the value of the 'Type' attribute.
|
void |
setContainerPetriNetDoc(PetriNetDoc value)
Sets the value of the '
Container Petri Net Doc ' container reference |
void |
setId(String value)
Sets the value of the '
Id ' attribute |
void |
setName(Name value)
Sets the value of the '
Name ' containment reference |
void |
setType(PNType value)
Sets the value of the '
Type ' 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) |
String getId()
""
.
If the meaning of the 'Id' attribute isn't clear, there really should be more of a description here...
setId(String)
,
HlcorestructurePackage.getPetriNet_Id()
void setId(String value)
Id
' attribute.
value
- the new value of the 'Id' attribute.getId()
PNType getType()
"http://www.pnml.org/version-2009/grammar/highlevelnet"
.
The literals are from the enumeration PNType
.
If the meaning of the 'Type' attribute isn't clear, there really should be more of a description here...
PNType
,
setType(PNType)
,
HlcorestructurePackage.getPetriNet_Type()
List<Page> getPages()
Page
.
It is bidirectional and its opposite is 'Container Petri Net
'.
If the meaning of the 'Pages' containment reference list isn't clear, there really should be more of a description here...
HlcorestructurePackage.getPetriNet_Pages()
,
Page.getContainerPetriNet()
Name getName()
Container Name Petri Net
'.
If the meaning of the 'Name' containment reference isn't clear, there really should be more of a description here...
setName(Name)
,
HlcorestructurePackage.getPetriNet_Name()
,
Name.getContainerNamePetriNet()
void setName(Name value)
Name
' containment reference.
value
- the new value of the 'Name' containment reference.getName()
List<ToolInfo> getToolspecifics()
ToolInfo
.
It is bidirectional and its opposite is 'Container Petri Net
'.
If the meaning of the 'Toolspecifics' containment reference list isn't clear, there really should be more of a description here...
HlcorestructurePackage.getPetriNet_Toolspecifics()
,
ToolInfo.getContainerPetriNet()
PetriNetDoc getContainerPetriNetDoc()
Nets
'.
If the meaning of the 'Container Petri Net Doc' container reference isn't clear, there really should be more of a description here...
setContainerPetriNetDoc(PetriNetDoc)
,
HlcorestructurePackage.getPetriNet_ContainerPetriNetDoc()
,
PetriNetDoc.getNets()
void setContainerPetriNetDoc(PetriNetDoc value)
Container Petri Net Doc
' container reference.
value
- the new value of the 'Container Petri Net Doc' container reference.getContainerPetriNetDoc()
List<Declaration> getDeclaration()
Declaration
.
It is bidirectional and its opposite is 'Container Declaration Petri Net
'.
If the meaning of the 'Declaration' containment reference list isn't clear, there really should be more of a description here...
HlcorestructurePackage.getPetriNet_Declaration()
,
Declaration.getContainerDeclarationPetriNet()
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.