|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.exporting.petrinet.cpnexport.ManagerLayout
public class ManagerLayout
The layout manager maintains the grahical parameters that apply for the generation of CPN simulation models.
Field Summary | |
---|---|
static int |
DEFAULT_SCALE_FACTOR
The default setting for the scale factor |
static int |
DEFAULT_STRETCH_FACTOR
the default setting for the stretch factor |
Method Summary | |
---|---|
java.lang.String |
getCpnValidName(java.lang.String name)
Returns a cpn valid name. |
static ManagerLayout |
getInstance()
Retrieves the only instance of this Layout manager (Singleton pattern). |
javax.swing.JPanel |
getOptionsPanel()
Creates GUI panel containg the available layout settings, ready to display in some settings dialog. |
int |
getPlaceFusionOffset_X()
Offset specifying the displacement of the fusion name tag for the place on the x axis. |
int |
getPlaceFusionOffset_Y()
Offset specifying the displacement of the fusion name tag for the place on the y axis. |
int |
getPlaceInitMarkOffset_X()
Offset specifying the displacement of the initial marking label for the place on the x axis. |
int |
getPlaceInitMarkOffset_Y()
Offset specifying the displacement of the initial marking label for a place on the y axis. |
int |
getPlacePortOffset_X()
Offset specifying the displacement of the port type tag for the place on the x axis. |
int |
getPlacePortOffset_Y()
Offset specifying the displacement of the port type tag for the place on the y axis. |
int |
getPlaceTypeOffset_X()
Offset specifying the displacement of the type label for the place on the x axis. |
int |
getPlaceTypeOffset_Y()
Offset specifying the displacement of the type label for a place on the y axis. |
int |
getScaleFactor()
Constant factor used to scale the nodes further away from each other. |
int |
getStretchFactor()
Constant factor used to scale the nodes further away from each other. |
int |
getTransitionChannelOffset_X()
Offset specifying the displacement of the channel specification for a transition on the x axis (not used). |
int |
getTransitionChannelOffset_Y()
Offset specifying the displacement of the channel specification for a transition on the y axis (not used). |
int |
getTransitionCodeOffset_X()
Offset specifying the displacement of the code specification for a transition on the x axis (that is input, output, action). |
int |
getTransitionCodeOffset_Y()
Offset specifying the displacement of the code specification for a transition on the y axis (that is input, output, action). |
int |
getTransitionConditionOffset_X()
Offset specifying the displacement of the guard condition label for a transition on the x axis. |
int |
getTransitionConditionOffset_Y()
Offset specifying the displacement of the guard condition label for a transition on the y axis. |
int |
getTransitionSubpageinfoOffset_X()
Offset specifying the displacement of the subpage tag for a transition on the x axis). |
int |
getTransitionSubpageinfoOffset_Y()
Offset specifying the displacement of the subpage tag for a transition on the y axis. |
int |
getTransitionTimeOffset_X()
Offset specifying the displacement of the time delay label for a transition on the x axis. |
int |
getTransitionTimeOffset_Y()
Offset specifying the displacement of the time delay label for a transition on the y axis. |
static java.lang.String |
negativeEnotationCheck(double number)
The scientific notation of a double with E and a minus sign can not be directly used in cpn. |
java.lang.String |
replaceSpecialCharacters(java.lang.String name)
Replaces every character other than a letter, a number, an apostrophe, or an underscore with an underscore. |
java.lang.String |
replaceStartNumbers(java.lang.String name)
Inserts a character at the beginning of the given string if it starts by a number. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final int DEFAULT_SCALE_FACTOR
public static final int DEFAULT_STRETCH_FACTOR
Method Detail |
---|
public int getPlaceTypeOffset_X()
public int getPlaceTypeOffset_Y()
public int getPlaceInitMarkOffset_X()
public int getPlaceInitMarkOffset_Y()
public int getPlacePortOffset_X()
public int getPlacePortOffset_Y()
public int getPlaceFusionOffset_X()
public int getPlaceFusionOffset_Y()
public int getTransitionConditionOffset_X()
public int getTransitionConditionOffset_Y()
public int getTransitionTimeOffset_X()
public int getTransitionTimeOffset_Y()
public int getTransitionCodeOffset_X()
public int getTransitionCodeOffset_Y()
public int getTransitionChannelOffset_X()
public int getTransitionChannelOffset_Y()
public int getTransitionSubpageinfoOffset_X()
public int getTransitionSubpageinfoOffset_Y()
public int getScaleFactor()
public int getStretchFactor()
public java.lang.String getCpnValidName(java.lang.String name)
name
- String the original name
public java.lang.String replaceSpecialCharacters(java.lang.String name)
name
- the string to be replaced
public java.lang.String replaceStartNumbers(java.lang.String name)
name
- the string to be replaced
public static java.lang.String negativeEnotationCheck(double number)
number
- double the number for which we want to check whether it contains an
E with a minus sign
public static ManagerLayout getInstance()
public javax.swing.JPanel getOptionsPanel()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |