public class ConstraintGraphRenderer
extends de.ims.icarus.plugins.jgraph.layout.GraphRenderer
Modifier and Type | Field and Description |
---|---|
static java.awt.Dimension |
disjunctionNodeSize |
protected java.lang.String |
disjunctionString |
protected char |
disjunctionSymbol |
protected java.lang.String |
negationString |
protected char |
negationSymbol |
protected ConstraintGraphPresenter |
presenter |
protected java.lang.StringBuilder |
sb |
protected de.ims.icarus.util.HtmlUtils.HtmlTableBuilder |
tableBuilder |
Constructor and Description |
---|
ConstraintGraphRenderer() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
convertValueToString(de.ims.icarus.plugins.jgraph.layout.GraphOwner owner,
java.lang.Object cell) |
com.mxgraph.util.mxRectangle |
getPreferredSizeForCell(de.ims.icarus.plugins.jgraph.layout.GraphOwner owner,
java.lang.Object cell) |
java.lang.String |
getToolTipForCell(de.ims.icarus.plugins.jgraph.layout.GraphOwner owner,
java.lang.Object cell) |
void |
install(java.lang.Object target) |
protected java.lang.String |
normalize(java.lang.String s) |
void |
uninstall(java.lang.Object target) |
contains, drawImageImpl, getImageObserver, getImageSize, hitSwimlaneContent, intersects, setImageObserver
createFillPaint, createStroke, createTemporaryGraphics, drawCell, drawImage, drawImage, drawLabel, fillShape, fillShape, getGraphics, getRendererPane, getShape, getTextShape, paintPolyline, paintRectangle, putShape, putTextShape, setGraphics
protected de.ims.icarus.util.HtmlUtils.HtmlTableBuilder tableBuilder
protected java.lang.StringBuilder sb
public static final java.awt.Dimension disjunctionNodeSize
protected char disjunctionSymbol
protected java.lang.String disjunctionString
protected char negationSymbol
protected java.lang.String negationString
protected ConstraintGraphPresenter presenter
public void install(java.lang.Object target)
Installable.install(java.lang.Object)
public void uninstall(java.lang.Object target)
Installable.uninstall(java.lang.Object)
protected java.lang.String normalize(java.lang.String s)
public java.lang.String convertValueToString(de.ims.icarus.plugins.jgraph.layout.GraphOwner owner, java.lang.Object cell)
convertValueToString
in class de.ims.icarus.plugins.jgraph.layout.GraphRenderer
public java.lang.String getToolTipForCell(de.ims.icarus.plugins.jgraph.layout.GraphOwner owner, java.lang.Object cell)
getToolTipForCell
in class de.ims.icarus.plugins.jgraph.layout.GraphRenderer
public com.mxgraph.util.mxRectangle getPreferredSizeForCell(de.ims.icarus.plugins.jgraph.layout.GraphOwner owner, java.lang.Object cell)
getPreferredSizeForCell
in class de.ims.icarus.plugins.jgraph.layout.GraphRenderer