Package | Description |
---|---|
fr.lip6.move.pnml.pnmlcoremodel.hlapi |
Modifier and Type | Method and Description |
---|---|
NodeGraphicsHLAPI |
DimensionHLAPI.getContainerDNodeGraphicsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
LineHLAPI.getContainerNodeGraphicsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
FillHLAPI.getContainerNodeGraphicsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
PositionHLAPI.getContainerPNodeGraphicsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
TransitionNodeHLAPI.getNodegraphicsHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
TransitionHLAPI.getNodegraphicsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
RefTransitionHLAPI.getNodegraphicsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
RefPlaceHLAPI.getNodegraphicsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
PlaceNodeHLAPI.getNodegraphicsHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
PlaceHLAPI.getNodegraphicsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
PageHLAPI.getNodegraphicsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NodeGraphicsHLAPI |
NodeHLAPI.getNodegraphicsHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
NodeGraphicsHLAPI.equals(NodeGraphicsHLAPI item) |
void |
DimensionHLAPI.setContainerDNodeGraphicsHLAPI(NodeGraphicsHLAPI elem)
set ContainerDNodeGraphics
|
void |
LineHLAPI.setContainerNodeGraphicsHLAPI(NodeGraphicsHLAPI elem)
set ContainerNodeGraphics
|
void |
FillHLAPI.setContainerNodeGraphicsHLAPI(NodeGraphicsHLAPI elem)
set ContainerNodeGraphics
|
void |
PositionHLAPI.setContainerPNodeGraphicsHLAPI(NodeGraphicsHLAPI elem)
set ContainerPNodeGraphics
|
void |
TransitionNodeHLAPI.setNodegraphicsHLAPI(NodeGraphicsHLAPI elem)
set Nodegraphics
|
void |
TransitionHLAPI.setNodegraphicsHLAPI(NodeGraphicsHLAPI elem)
set Nodegraphics
|
void |
RefTransitionHLAPI.setNodegraphicsHLAPI(NodeGraphicsHLAPI elem)
set Nodegraphics
|
void |
RefPlaceHLAPI.setNodegraphicsHLAPI(NodeGraphicsHLAPI elem)
set Nodegraphics
|
void |
PlaceNodeHLAPI.setNodegraphicsHLAPI(NodeGraphicsHLAPI elem)
set Nodegraphics
|
void |
PlaceHLAPI.setNodegraphicsHLAPI(NodeGraphicsHLAPI elem)
set Nodegraphics
|
void |
PageHLAPI.setNodegraphicsHLAPI(NodeGraphicsHLAPI elem)
set Nodegraphics
|
void |
NodeHLAPI.setNodegraphicsHLAPI(NodeGraphicsHLAPI elem)
set Nodegraphics
|
Constructor and Description |
---|
DimensionHLAPI(Integer x,
Integer y,
NodeGraphicsHLAPI containerDNodeGraphics)
this constructor allows you to set all 'settable' values, including container if any.
|
FillHLAPI(CSS2ColorHLAPI color,
CSS2ColorHLAPI gradientcolor,
GradientHLAPI gradientrotation,
URI image,
NodeGraphicsHLAPI containerNodeGraphics)
this constructor allows you to set all 'settable' values, including container if any.
|
FillHLAPI(NodeGraphicsHLAPI containerNodeGraphics)
This constructor give access to required stuff only (and container)
|
LineHLAPI(CSS2ColorHLAPI color,
LineShapeHLAPI shape,
Integer width,
LineStyleHLAPI style,
NodeGraphicsHLAPI containerNodeGraphics)
this constructor allows you to set all 'settable' values, including container if any.
|
LineHLAPI(NodeGraphicsHLAPI containerNodeGraphics)
This constructor give access to required stuff only (and container)
|
PageHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics)
this constructor allows you to set all 'settable' values
excepted container.
|
PageHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
PageHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PetriNetHLAPI containerPetriNet)
this constructor allows you to set all 'settable' values, including container if any.
|
PlaceHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics)
this constructor allows you to set all 'settable' values
excepted container.
|
PlaceHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
PositionHLAPI(Integer x,
Integer y,
NodeGraphicsHLAPI containerPNodeGraphics)
this constructor allows you to set all 'settable' values, including container if any.
|
RefPlaceHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PlaceNodeHLAPI ref)
this constructor allows you to set all 'settable' values
excepted container.
|
RefPlaceHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PlaceNodeHLAPI ref,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
RefTransitionHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
TransitionNodeHLAPI ref)
this constructor allows you to set all 'settable' values
excepted container.
|
RefTransitionHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
TransitionNodeHLAPI ref,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
TransitionHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics)
this constructor allows you to set all 'settable' values
excepted container.
|
TransitionHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.