|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectatt.grappa.Element
att.grappa.Node
org.processmining.framework.models.ModelGraphVertex
org.processmining.framework.models.petrinet.PNNode
org.processmining.framework.models.petrinet.Place
org.processmining.exporting.petrinet.cpnexport.ColoredPlace
public class ColoredPlace
A place being part of a high-level Petri net simulation model.
ColoredPetriNet
,
ColoredTransition
,
ColoredEdge
Field Summary |
---|
Fields inherited from class org.processmining.framework.models.ModelGraphVertex |
---|
identifier, object2, value, visualObject |
Fields inherited from class att.grappa.Node |
---|
defaultNamePrefix |
Fields inherited from class att.grappa.Element |
---|
counter, highlight, linewidth, object, printAllAttributes, printDefaultAttributes, usePrintList, visible |
Fields inherited from interface att.grappa.GrappaConstants |
---|
_NO_TYPE, ANONYMOUS_PREFIX, BBOX_ATTR, BBOX_HASH, BOX_SHAPE, BOX_TYPE, CLUSTERRANK_ATTR, COLOR_ATTR, COLOR_HASH, COLOR_TYPE, CUSTOM_ATTR, CUSTOM_HASH, CUSTOM_SHAPE, DELETION_MASK, DIAMOND_SHAPE, DIR_ATTR, DIR_HASH, DIR_TYPE, DISTORTION_ATTR, DISTORTION_HASH, DOUBLE_TYPE, DOUBLECIRCLE_SHAPE, DOUBLEOCTAGON_SHAPE, EDGE, EGG_SHAPE, FILLCOLOR_ATTR, FILLCOLOR_HASH, FONTCOLOR_ATTR, FONTCOLOR_HASH, FONTNAME_ATTR, FONTNAME_HASH, FONTSIZE_ATTR, FONTSIZE_HASH, FONTSTYLE_ATTR, FONTSTYLE_HASH, FONTSTYLE_TYPE, GRAPPA_BACKGROUND_COLOR_ATTR, GRAPPA_BACKGROUND_COLOR_HASH, GRAPPA_DELETION_STYLE_ATTR, GRAPPA_DELETION_STYLE_HASH, GRAPPA_FONTSIZE_ADJUSTMENT_ATTR, GRAPPA_FONTSIZE_ADJUSTMENT_HASH, GRAPPA_SELECTION_STYLE_ATTR, GRAPPA_SELECTION_STYLE_HASH, GRAPPA_SHAPE, HASHLIST_TYPE, HEIGHT_ATTR, HEIGHT_HASH, HEXAGON_SHAPE, HIGHLIGHT_MASK, HIGHLIGHT_OFF, HIGHLIGHT_ON, HIGHLIGHT_TOGGLE, HOUSE_SHAPE, IDENTXFRM, IMAGE_ATTR, IMAGE_HASH, INTEGER_TYPE, INVERTEDHOUSE_SHAPE, INVERTEDTRAPEZIUM_SHAPE, INVERTEDTRIANGLE_SHAPE, LABEL_ATTR, LABEL_HASH, LINE_SHAPE, LINE_TYPE, LOG10, LP_ATTR, LP_HASH, MARGIN_ATTR, MARGIN_HASH, MCIRCLE_SHAPE, MCLIMIT_ATTR, MCLIMIT_HASH, MDIAMOND_SHAPE, MINBOX_ATTR, MINBOX_HASH, MINLEN_ATTR, MINLEN_HASH, MINSIZE_ATTR, MINSIZE_HASH, MRECORD_SHAPE, MSQUARE_SHAPE, NBSP, NEW_LINE, NO_SHAPE, NODE, NODESEP_ATTR, NODESEP_HASH, OCTAGON_SHAPE, ORIENTATION_ATTR, ORIENTATION_HASH, OVAL_SHAPE, PACKAGE_PREFIX, PARALLELOGRAM_SHAPE, PATCH_ATTR, PATCH_HASH, PENTAGON_SHAPE, PERIPHERIES_ATTR, PERIPHERIES_HASH, PERIPHERY_GAP, PKG_LOWER, PKG_UPLOW, PKG_UPPER, PLAINTEXT_SHAPE, POINT_TYPE, PointsPerInch, POLYGON_SHAPE, POS_ATTR, POS_HASH, PRINTLIST_ATTR, PRINTLIST_HASH, RANKDIR_ATTR, RANKDIR_HASH, RANKSEP_ATTR, RANKSEP_HASH, RECORD_SHAPE, RECTS_ATTR, RECTS_HASH, ROTATION_ATTR, ROTATION_HASH, ROUNDEDBOX_SHAPE, SELECTION_MASK, SHAPE_ATTR, SHAPE_HASH, SHAPE_MASK, SHAPE_TYPE, SIDES_ATTR, SIDES_HASH, SIZE_ATTR, SIZE_HASH, SIZE_TYPE, SKEW_ATTR, SKEW_HASH, STRING_TYPE, STYLE_ATTR, STYLE_HASH, STYLE_TYPE, SUBGRAPH, SYSTEM, TAG_ATTR, TAG_HASH, TIP_ATTR, TIP_HASH, TRAPEZIUM_SHAPE, TRIANGLE_SHAPE, TRIPLEOCTAGON_SHAPE, TYPES_SHIFT, WEIGHT_ATTR, WEIGHT_HASH, WIDTH_ATTR, WIDTH_HASH |
Constructor Summary | |
---|---|
ColoredPlace(Place template,
ColoredPetriNet net)
The constructor creates a ColoredPlace from an ordinary place. |
|
ColoredPlace(Place template,
ColoredPetriNet net,
int x,
int y,
int w,
int h)
The constructor creates a ColoredPlace from an ordinary place, but the position, width and heigth have to be provided |
|
ColoredPlace(java.lang.String name,
ColoredPetriNet net)
Constructor to create a ColoredPlace without having a template place. |
|
ColoredPlace(java.lang.String name,
PetriNet net,
int x,
int y,
int w,
int h)
Constructor to create a ColoredPlace without having a template place. |
Method Summary | |
---|---|
java.lang.String |
getCpnID()
Returns the cpnID for this place. |
int |
getHeight()
Retrieves the height of this node. |
java.lang.String |
getInitMark()
Retrieves the initial marking of this place. |
java.lang.String |
getNameFusionPlace()
Retrieves the name of the fusion place. |
java.lang.String |
getPlaceType()
Retrieves the place type of this place. |
int |
getWidth()
Retrieves the width of this node. |
int |
getXCoordinate()
Retrieves the x coordinate of the center point. |
int |
getYCoordinate()
Retrieves the y coordinate of the center point. |
int |
hashCode()
Make a deep copy of the object. |
void |
setCpnID(java.lang.String id)
Sets the cpnID for this place. |
void |
setHeight(int value)
Sets the height of this node. |
void |
setInitMark(java.lang.String init)
Sets the initial marking of this place. |
void |
setNameFusionPlace(java.lang.String name)
Sets the name of the fusion place (in cpn) |
void |
setPlaceType(java.lang.String type)
Sets the place type of this place. |
void |
setWidth(int value)
Sets the width of this node. |
void |
setXCoordinate(int value)
Sets the x coordinate of the center point. |
void |
setYCoordinate(int value)
Sets the y coordinate of the center point. |
void |
write(java.io.BufferedWriter bw,
ColoredTransition topTransition)
Writes this place to the cpn-file. |
Methods inherited from class org.processmining.framework.models.petrinet.Place |
---|
addToken, clone, compareTo, equals, getNumber, getNumberOfTokens, getNumberOfTokens, getRandomAvailableToken, getRandomAvailableToken, hasIdentifier, removeAllTokens, removeToken, removeToken, setNumber |
Methods inherited from class org.processmining.framework.models.ModelGraphVertex |
---|
getIdentifier, getIncidentEdges, getInEdgesIterator, getNeighbors, getOutEdgesIterator, getPredecessors, getSuccessors, getValue, getVerticesOnlyPredecessor, getVerticesOnlySuccessor, getVerticesPredecessorAndSuccessor, setIdentifier, setValue, toString |
Methods inherited from class att.grappa.Node |
---|
addEdge, attributeType, edgeElements, findInEdgeByKey, findOutEdgeByKey, getCenterPoint, getInEdges, getOutEdges, getType, inDegree, inEdgeElements, isNode, outDegree, outEdgeElements, printNode, removeEdge |
Methods inherited from class att.grappa.Element |
---|
addTag, attrNotOfInterest, attrOfInterest, bdfs, buildShape, canonString, canonValue, clearBBox, delete, getAttribute, getAttributePairs, getAttributeValue, getDefaultAttribute, getDefaultAttribute, getGraph, getGrappaNexus, getId, getIdKey, getLocalAttribute, getLocalAttributeKeys, getLocalAttributePairs, getName, getSubgraph, getThisAttribute, getThisAttributeValue, hasAttributeForKey, hasDefaultTag, hasDefaultTags, hasLocalTag, hasLocalTags, hasTag, hasTags, isEdge, isOfInterest, isSubgraph, listAttrsOfInterest, printElement, removeTag, removeTags, setAttribute, setAttribute, setDefaultAttribute, setDefaultAttribute, setDefaultAttribute, setDefaultAttribute, setIdKey, setSubgraph, setUserAttributeType, typeString |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ColoredPlace(java.lang.String name, ColoredPetriNet net)
name
- the identifier is to be passed to super classnet
- the Petri net it belongs to (to be passed to super class)public ColoredPlace(java.lang.String name, PetriNet net, int x, int y, int w, int h)
name
- the identifier is to be passed to super classnet
- the Petri net it belongs to (to be passed to super class)x
- The x coordinate of the center point for this placey
- The y coordinate of the center point for this placew
- The width of this placeh
- The height of this placepublic ColoredPlace(Place template, ColoredPetriNet net)
template
- place (whose identifier is to be passed to super class)net
- the Petri net it belongs to (to be passed to super class)public ColoredPlace(Place template, ColoredPetriNet net, int x, int y, int w, int h)
template
- Place Place (whose identifier is to be passed to super class)net
- ColoredPetriNet The Petri net it belongs to (to be passed to the super class)x
- int The x coordinate of the center point for this placey
- int The y coordinate of the center point for this placew
- int The width of this placeh
- int The height of this placeMethod Detail |
---|
public void write(java.io.BufferedWriter bw, ColoredTransition topTransition) throws java.io.IOException
bw
- BufferedWriter used to stream the data to the file.topTransition
- the transition that is the top of the subpage in which
this place is located. Null if no such top transition exists.
java.io.IOException
public java.lang.String getCpnID()
public void setCpnID(java.lang.String id)
id
- String the cpnID.public void setNameFusionPlace(java.lang.String name)
name
- String the name of the fusion place or ""
if this place
does not need to be a fusion placepublic java.lang.String getPlaceType()
public java.lang.String getInitMark()
public int getXCoordinate()
public int getYCoordinate()
public int getWidth()
public int getHeight()
public java.lang.String getNameFusionPlace()
""
if this place
does not need to be a fusion place.public void setPlaceType(java.lang.String type)
type
- the place typepublic void setInitMark(java.lang.String init)
init
- the initial markingpublic void setXCoordinate(int value)
value
- the new x coordinate to be assignedpublic void setYCoordinate(int value)
value
- the new y coordinate to be assignedpublic void setWidth(int value)
value
- the new width to be assignedpublic void setHeight(int value)
value
- the new height to be assignedpublic int hashCode()
ColoredPetriNet.clone()
method will update the
refernce correspondingly.
hashCode
in class Place
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |