Package | Description |
---|---|
fr.lip6.move.pnml.ptnet | |
fr.lip6.move.pnml.ptnet.hlapi | |
fr.lip6.move.pnml.ptnet.impl | |
fr.lip6.move.pnml.ptnet.util |
Modifier and Type | Method and Description |
---|---|
PetriNet |
PtnetFactory.createPetriNet()
Returns a new object of class 'Petri Net'
|
PetriNet |
Name.getContainerNamePetriNet()
Returns the value of the 'Container Name Petri Net' container reference.
|
PetriNet |
ToolInfo.getContainerPetriNet()
Returns the value of the 'Container Petri Net' container reference.
|
PetriNet |
Page.getContainerPetriNet()
Returns the value of the 'Container Petri Net' container reference.
|
Modifier and Type | Method and Description |
---|---|
List<PetriNet> |
PetriNetDoc.getNets()
Returns the value of the 'Nets' containment reference list.
|
Modifier and Type | Method and Description |
---|---|
void |
Name.setContainerNamePetriNet(PetriNet value)
Sets the value of the '
Container Name Petri Net ' container reference |
void |
ToolInfo.setContainerPetriNet(PetriNet value)
Sets the value of the '
Container Petri Net ' container reference |
void |
Page.setContainerPetriNet(PetriNet value)
Sets the value of the '
Container Petri Net ' container reference |
Modifier and Type | Method and Description |
---|---|
PetriNet |
PetriNetHLAPI.getContainedItem()
Return encapsulated object
|
PetriNet |
NameHLAPI.getContainerNamePetriNet()
Return the encapsulate Low Level API object.
|
PetriNet |
ToolInfoHLAPI.getContainerPetriNet()
Return the encapsulate Low Level API object.
|
PetriNet |
PageHLAPI.getContainerPetriNet()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<PetriNet> |
PetriNetDocHLAPI.getNets()
Return the encapsulate Low Level API object.
|
Constructor and Description |
---|
PetriNetHLAPI(PetriNet lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.common.util.EList<PetriNet> |
PetriNetDocImpl.nets
The cached value of the '
Nets ' containment reference list |
Modifier and Type | Method and Description |
---|---|
PetriNet |
PtnetFactoryImpl.createPetriNet() |
PetriNet |
NameImpl.getContainerNamePetriNet() |
PetriNet |
ToolInfoImpl.getContainerPetriNet() |
PetriNet |
PageImpl.getContainerPetriNet() |
Modifier and Type | Method and Description |
---|---|
List<PetriNet> |
PetriNetDocImpl.getNets() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
NameImpl.basicSetContainerNamePetriNet(PetriNet newContainerNamePetriNet,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ToolInfoImpl.basicSetContainerPetriNet(PetriNet newContainerPetriNet,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
PageImpl.basicSetContainerPetriNet(PetriNet newContainerPetriNet,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
NameImpl.setContainerNamePetriNet(PetriNet newContainerNamePetriNet) |
void |
ToolInfoImpl.setContainerPetriNet(PetriNet newContainerPetriNet) |
void |
PageImpl.setContainerPetriNet(PetriNet newContainerPetriNet) |
Modifier and Type | Method and Description |
---|---|
T |
PtnetSwitch.casePetriNet(PetriNet object)
Returns the result of interpreting the object as an instance of 'Petri Net'
|
boolean |
PtnetValidator.validatePetriNet(PetriNet petriNet,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.