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 |
---|---|
Place |
PtnetFactory.createPlace()
Returns a new object of class 'Place'
|
Place |
PTMarking.getContainerPlace()
Returns the value of the 'Container Place' container reference.
|
Modifier and Type | Method and Description |
---|---|
void |
PTMarking.setContainerPlace(Place value)
Sets the value of the '
Container Place ' container reference |
Modifier and Type | Method and Description |
---|---|
Place |
PlaceHLAPI.getContainedItem()
Return encapsulated object
|
Place |
PTMarkingHLAPI.getContainerPlace()
Return the encapsulate Low Level API object.
|
Constructor and Description |
---|
PlaceHLAPI(Place lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
Modifier and Type | Method and Description |
---|---|
Place |
PtnetFactoryImpl.createPlace() |
Place |
PTMarkingImpl.getContainerPlace() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
PTMarkingImpl.basicSetContainerPlace(Place newContainerPlace,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
PTMarkingImpl.setContainerPlace(Place newContainerPlace) |
Modifier and Type | Method and Description |
---|---|
T |
PtnetSwitch.casePlace(Place object)
Returns the result of interpreting the object as an instance of 'Place'
|
boolean |
PtnetValidator.validatePlace(Place place,
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.