public class PetriNetHLAPI extends Object implements HLAPIClass
Constructor and Description |
---|
PetriNetHLAPI(PetriNet lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
PetriNetHLAPI(String id,
PNTypeHLAPI type)
This constructor give access to required stuff only (not container if any)
|
PetriNetHLAPI(String id,
PNTypeHLAPI type,
NameHLAPI name)
this constructor allows you to set all 'settable' values
excepted container.
|
PetriNetHLAPI(String id,
PNTypeHLAPI type,
NameHLAPI name,
PetriNetDocHLAPI containerPetriNetDoc)
this constructor allows you to set all 'settable' values, including container if any.
|
PetriNetHLAPI(String id,
PNTypeHLAPI type,
PetriNetDocHLAPI containerPetriNetDoc)
This constructor give access to required stuff only (and container)
|
Modifier and Type | Method and Description |
---|---|
void |
addDeclarationHLAPI(DeclarationHLAPI unit) |
void |
addPagesHLAPI(PageHLAPI unit) |
void |
addToolspecificsHLAPI(ToolInfoHLAPI unit) |
boolean |
equals(PetriNetHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
PetriNet |
getContainedItem()
Return encapsulated object
|
PetriNetDoc |
getContainerPetriNetDoc()
Return the encapsulate Low Level API object.
|
PetriNetDocHLAPI |
getContainerPetriNetDocHLAPI()
This accessor automatically encapsulate an element of the current object.
|
List<Declaration> |
getDeclaration()
Return the encapsulate Low Level API object.
|
List<DeclarationHLAPI> |
getDeclarationHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
String |
getId()
Return the encapsulate Low Level API object.
|
Name |
getName()
Return the encapsulate Low Level API object.
|
NameHLAPI |
getNameHLAPI()
This accessor automatically encapsulate an element of the current object.
|
List<Page> |
getPages()
Return the encapsulate Low Level API object.
|
List<PageHLAPI> |
getPagesHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<ToolInfo> |
getToolspecifics()
Return the encapsulate Low Level API object.
|
List<ToolInfoHLAPI> |
getToolspecificsHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
PNType |
getType()
Return the encapsulate Low Level API object.
|
void |
removeDeclarationHLAPI(DeclarationHLAPI unit) |
void |
removePagesHLAPI(PageHLAPI unit) |
void |
removeToolspecificsHLAPI(ToolInfoHLAPI unit) |
void |
setContainerPetriNetDocHLAPI(PetriNetDocHLAPI elem)
set ContainerPetriNetDoc
|
void |
setIdHLAPI(String elem)
set Id
|
void |
setNameHLAPI(NameHLAPI elem)
set Name
|
void |
setTypeHLAPI(PNType elem)
set Type
|
String |
toPNML()
Returns the PNML xml tree for this object.
|
void |
toPNML(FileChannel fc)
Writes the PNML XML tree of this object into file channel.
|
boolean |
validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics) |
public PetriNetHLAPI(String id, PNTypeHLAPI type, NameHLAPI name) throws InvalidIDException, VoidRepositoryException
public PetriNetHLAPI(String id, PNTypeHLAPI type, NameHLAPI name, PetriNetDocHLAPI containerPetriNetDoc) throws InvalidIDException, VoidRepositoryException
public PetriNetHLAPI(String id, PNTypeHLAPI type) throws InvalidIDException, VoidRepositoryException
public PetriNetHLAPI(String id, PNTypeHLAPI type, PetriNetDocHLAPI containerPetriNetDoc) throws InvalidIDException, VoidRepositoryException
public PetriNetHLAPI(PetriNet lowLevelAPI)
public PetriNet getContainedItem()
getContainedItem
in interface HLAPIClass
public String getId()
public PNType getType()
public Name getName()
public List<ToolInfo> getToolspecifics()
public PetriNetDoc getContainerPetriNetDoc()
public List<Declaration> getDeclaration()
public List<PageHLAPI> getPagesHLAPI()
public NameHLAPI getNameHLAPI()
public List<ToolInfoHLAPI> getToolspecificsHLAPI()
public PetriNetDocHLAPI getContainerPetriNetDocHLAPI()
public List<DeclarationHLAPI> getDeclarationHLAPI()
public void setIdHLAPI(String elem) throws InvalidIDException, VoidRepositoryException
public void setTypeHLAPI(PNType elem)
public void setNameHLAPI(NameHLAPI elem)
public void setContainerPetriNetDocHLAPI(PetriNetDocHLAPI elem)
public void addPagesHLAPI(PageHLAPI unit)
public void removePagesHLAPI(PageHLAPI unit)
public void addToolspecificsHLAPI(ToolInfoHLAPI unit)
public void removeToolspecificsHLAPI(ToolInfoHLAPI unit)
public void addDeclarationHLAPI(DeclarationHLAPI unit)
public void removeDeclarationHLAPI(DeclarationHLAPI unit)
public boolean equals(PetriNetHLAPI item)
public String toPNML()
toPNML
in interface HLAPIClass
HLAPIClass.toPNML(FileChannel)
public void toPNML(FileChannel fc)
toPNML
in interface HLAPIClass
fc
- the file channel into which to write the contentspublic void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
fromPNML
in interface HLAPIClass
subRoot
- the sub-tree to import.idr
- an idreflinker to solve idref.InnerBuildException
- .InvalidIDException
- .VoidRepositoryException
- .public boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface HLAPIClass
diagnostics
- for diagnostic informations.Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.