|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.uni_paderborn.fujaba.preferences.AbstractPreferences
de.uni_paderborn.fujaba.layout.options.LayoutPreferences
Contains all options of Mr Layout.
Field Summary | |
static java.lang.String |
SHOW_ROLE_NAMES
No comment provided by developer, please add a comment to improve documentation. |
Method Summary | |
static LayoutPreferences |
get()
This method provides the user the singleton instance of this class. |
int |
getHorizDist()
Get the horizDist attribute of the LayoutPreferences object |
int |
getMinimumWidth()
Get the minimumWidth attribute of the LayoutPreferences object |
int |
getNumberIterations()
How many iterations should the spring embedder do. |
double |
getStretchFactor()
A multiplier for the edge stretching. |
int |
getVertDist()
Get the vertDist attribute of the LayoutPreferences object |
int |
getWhichActivityDiagramLayout()
Get the whichActivityDiagramLayout attribute of the LayoutPreferences object |
int |
getWhichLayout()
Get the whichLayout attribute of the LayoutPreferences object |
boolean |
isCollapseClasses()
CollapseClasses indicates if classes should be collapsed initially when adding to class diagram. |
boolean |
isShowRoleNames()
Get the showRoleNames attribute of the GeneralPreferences object |
void |
setCollapseClasses(boolean value)
CollapseClasses indicates if classes should be collapsed initially when adding to class diagram. |
void |
setDefaults()
Set the default values for all options. |
void |
setHorizDist(int value)
Sets the horizDist attribute of the LayoutPreferences object |
void |
setHorizDist(java.lang.String newDist)
Sets the horizDist attribute of the LayoutPreferences object |
void |
setMinimumWidth(int value)
Sets the minimumWidth attribute of the LayoutPreferences object |
void |
setMinimumWidth(java.lang.String newWidth)
Sets the minimumWidth attribute of the LayoutPreferences object |
void |
setNumberIterations(int value)
How many iterations should the spring embedder do. |
void |
setNumberIterations(java.lang.String newIterations)
How many iterations should the spring embedder do. |
void |
setShowRoleNames(boolean value)
Sets the showRoleNames attribute of the GeneralPreferences object |
void |
setStretchFactor(double value)
A multiplier for the edge stretching. |
void |
setStretchFactor(java.lang.String newStretchFactor)
A multiplier for the edge stretching. |
void |
setVertDist(int value)
Sets the vertDist attribute of the LayoutPreferences object |
void |
setVertDist(java.lang.String newDist)
Sets the vertDist attribute of the LayoutPreferences object |
void |
setWhichActivityDiagramLayout(int value)
Sets the whichActivityDiagramLayout attribute of the LayoutPreferences object |
void |
setWhichLayout(int value)
Sets the whichLayout attribute of the LayoutPreferences object |
Methods inherited from class de.uni_paderborn.fujaba.preferences.AbstractPreferences |
addPropertyChangeListener, isModified, removePropertyChangeListener, setModified |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String SHOW_ROLE_NAMES
Method Detail |
public static LayoutPreferences get()
public void setDefaults()
setDefaults
in class AbstractPreferences
public boolean isCollapseClasses()
public void setCollapseClasses(boolean value)
value
- public void setShowRoleNames(boolean value)
value
- The new showRoleNames valuepublic boolean isShowRoleNames()
public int getWhichActivityDiagramLayout()
public void setWhichActivityDiagramLayout(int value)
value
- The new whichActivityDiagramLayout valuepublic int getWhichLayout()
public void setWhichLayout(int value)
value
- The new whichLayout valuepublic int getHorizDist()
public void setHorizDist(int value)
value
- The new horizDist valuepublic void setHorizDist(java.lang.String newDist)
newDist
- The new horizDist valuepublic int getVertDist()
public void setVertDist(int value)
value
- The new vertDist valuepublic void setVertDist(java.lang.String newDist)
newDist
- The new vertDist valuepublic int getMinimumWidth()
public void setMinimumWidth(int value)
value
- The new vertDist valuepublic void setMinimumWidth(java.lang.String newWidth)
newWidth
- The new minimumWidth valuepublic int getNumberIterations()
public void setNumberIterations(int value)
value
- The new numberIterations valuepublic void setNumberIterations(java.lang.String newIterations)
newIterations
- The new numberIterations valuepublic double getStretchFactor()
public void setStretchFactor(double value)
value
- The new stretchFactor valuepublic void setStretchFactor(java.lang.String newStretchFactor)
newStretchFactor
- The new stretchFactor value
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |