org.processmining.plugins.declareminer.visualizing
Class DGraphConstants

java.lang.Object
  extended by org.jgraph.graph.GraphConstants
      extended by org.processmining.plugins.declareminer.visualizing.DGraphConstants

public class DGraphConstants
extends org.jgraph.graph.GraphConstants

Title:

Description:

Copyright: Copyright (c) 2006

Company:

Version:
1.0
Author:
not attributable

Field Summary
static int ARROW_TECHNICAL_CIRCLE
           
static float[] DASH_1
           
static float[] DASH_2
           
static float[] DASH_3
           
static float[] DASH_NONE
           
static int DEFAULT_LINE_NUMBER
           
static java.lang.String LINE_NUMBER
           
static java.lang.String LINEMIDDLE
          Key for the lineBegin attribute.
static java.lang.String MIDDLE_FILL
           
static java.lang.String MIDDLE_SIZE
           
static java.lang.String MIDDLECOLOR
           
static int NUMBER_ONE
           
static int NUMBER_THREE
           
static int NUMBER_TWO
           
 
Fields inherited from class org.jgraph.graph.GraphConstants
ABSOLUTEX, ABSOLUTEY, ARROW_CIRCLE, ARROW_CLASSIC, ARROW_DIAMOND, ARROW_DOUBLELINE, ARROW_LINE, ARROW_NONE, ARROW_SIMPLE, ARROW_TECHNICAL, AUTOSIZE, BACKGROUND, BEGINFILL, BEGINSIZE, BENDABLE, BORDER, BORDERCOLOR, BOUNDS, CHILDRENSELECTABLE, CONNECTABLE, CONSTRAINED, dash, DASHOFFSET, DASHPATTERN, DEFAULTDECORATIONSIZE, DEFAULTFONT, DEFAULTINSET, DISCONNECTABLE, EDITABLE, ENDFILL, ENDSIZE, EXACTSEGMENTRELATIVE, EXTRALABELPOSITIONS, EXTRALABELS, FONT, FOREGROUND, GRADIENTCOLOR, GROUPOPAQUE, HORIZONTAL_ALIGNMENT, HORIZONTAL_TEXT_POSITION, ICON, INSET, LABELALONGEDGE, LABELENABLED, LABELPOSITION, LINEBEGIN, LINECOLOR, LINEEND, LINESTYLE, LINEWIDTH, LINK, MOVEABLE, MOVEABLEAXIS, MOVEHIDDENCHILDREN, OFFSET, OPAQUE, ORIENTATION, PERMILLE, POINTS, REMOVEALL, REMOVEATTRIBUTES, REPLACEATTRIBUTES, RESIZE, ROUTING, ROUTING_DEFAULT, ROUTING_SIMPLE, SELECTABLE, SELECTION_STROKE, SIZE, SIZEABLE, SIZEABLEAXIS, STYLE_BEZIER, STYLE_ORTHOGONAL, STYLE_SPLINE, VALUE, VERTICAL_ALIGNMENT, VERTICAL_TEXT_POSITION, X_AXIS, Y_AXIS
 
Constructor Summary
DGraphConstants()
           
 
Method Summary
static java.awt.Color falsePermanentColor()
           
static java.awt.Color falseTemporaryColor()
           
static int getLineMiddle(org.jgraph.graph.AttributeMap map)
          Returns the LINEBEGIN attribute from the specified map.
static int getLineNumber(org.jgraph.graph.AttributeMap map)
          Returns the opaque level attribute from the specified map.
static java.awt.Color getMiddleColor(java.util.Map<java.lang.Object,java.lang.Object> map)
          Returns the beginsize attribute from the specified map.
static int getMiddleSize(java.util.Map<java.lang.Object,java.lang.Object> map)
          Returns the opaque level attribute from the specified map.
static boolean isMiddleFill(java.util.Map<java.lang.Object,java.lang.Object> map)
          Returns the beginfill attribute from the specified map.
static void setLineMiddle(java.util.Map<java.lang.Object,java.lang.Object> map, int style)
          Sets the LINEBEGIN attribute in the specified Map to the specified value.
static void setLineNumber(java.util.Map<java.lang.Object,java.lang.Object> map, int level)
          Sets the opaque level attribute in the specified Map to the specified value.
static void setMiddleColor(java.util.Map<java.lang.Object,java.lang.Object> map, java.awt.Color color)
          Sets the beginsize attribute in the specified Map to the specified value.
static void setMiddleFill(java.util.Map<java.lang.Object,java.lang.Object> map, boolean flag)
          Sets the middlefill attribute in the specified Map to the specified value.
static void setMiddleSize(java.util.Map<java.lang.Object,java.lang.Object> map, int size)
          Sets the opaque level attribute in the specified Map to the specified value.
static java.awt.Color truePermamentColor()
           
static java.awt.Color trueTemporaryColor()
           
static java.awt.Color unvalidColor()
           
 
Methods inherited from class org.jgraph.graph.GraphConstants
createAttributes, createAttributes, createAttributes, createAttributes, createAttributesFromModel, getBackground, getBeginSize, getBorder, getBorderColor, getBounds, getDashOffset, getDashPattern, getEndSize, getExtraLabelPositions, getExtraLabels, getFont, getForeground, getGradientColor, getHorizontalAlignment, getHorizontalTextPosition, getIcon, getInset, getLabelPosition, getLineBegin, getLineColor, getLineEnd, getLineStyle, getLineWidth, getLink, getMoveableAxis, getOffset, getOrientation, getPoints, getRemoveAttributes, getROUTING_DEFAULT, getROUTING_SIMPLE, getRouting, getSize, getSizeableAxis, getValue, getVerticalAlignment, getVerticalTextPosition, isAbsoluteX, isAbsoluteY, isAutoSize, isBeginFill, isBendable, isChildrenSelectable, isConnectable, isConstrained, isDisconnectable, isEditable, isEndFill, isExactSegmentLabel, isGroupOpaque, isLabelAlongEdge, isLabelEnabled, isMoveable, isOpaque, isRemoveAll, isResize, isSelectable, isSizeable, merge, replaceKeys, setAbsolute, setAbsoluteX, setAbsoluteY, setAutoSize, setBackground, setBeginFill, setBeginSize, setBendable, setBorder, setBorderColor, setBounds, setChildrenSelectable, setConnectable, setConstrained, setDashOffset, setDashPattern, setDisconnectable, setEditable, setEndFill, setEndSize, setExactSegmentLabel, setExtraLabelPositions, setExtraLabels, setFont, setForeground, setGradientColor, setGroupOpaque, setHorizontalAlignment, setHorizontalTextPosition, setIcon, setInset, setLabelAlongEdge, setLabelEnabled, setLabelPosition, setLineBegin, setLineColor, setLineEnd, setLineStyle, setLineWidth, setLink, setMoveable, setMoveableAxis, setOffset, setOpaque, setOrientation, setPoints, setRemoveAll, setRemoveAttributes, setResize, setRouting, setSelectable, setSize, setSizeable, setSizeableAxis, setValue, setVerticalAlignment, setVerticalTextPosition
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LINEMIDDLE

public static final java.lang.String LINEMIDDLE
Key for the lineBegin attribute. Use instances of Integer as values for this key. Constants defined in this class.

See Also:
Constant Field Values

MIDDLE_SIZE

public static final java.lang.String MIDDLE_SIZE
See Also:
Constant Field Values

MIDDLECOLOR

public static final java.lang.String MIDDLECOLOR
See Also:
Constant Field Values

MIDDLE_FILL

public static final java.lang.String MIDDLE_FILL
See Also:
Constant Field Values

LINE_NUMBER

public static final java.lang.String LINE_NUMBER
See Also:
Constant Field Values

DEFAULT_LINE_NUMBER

public static final int DEFAULT_LINE_NUMBER
See Also:
Constant Field Values

ARROW_TECHNICAL_CIRCLE

public static final int ARROW_TECHNICAL_CIRCLE
See Also:
Constant Field Values

DASH_NONE

public static final float[] DASH_NONE

DASH_1

public static final float[] DASH_1

DASH_2

public static final float[] DASH_2

DASH_3

public static final float[] DASH_3

NUMBER_ONE

public static final int NUMBER_ONE
See Also:
Constant Field Values

NUMBER_TWO

public static final int NUMBER_TWO
See Also:
Constant Field Values

NUMBER_THREE

public static final int NUMBER_THREE
See Also:
Constant Field Values
Constructor Detail

DGraphConstants

public DGraphConstants()
Method Detail

getLineMiddle

public static final int getLineMiddle(org.jgraph.graph.AttributeMap map)
Returns the LINEBEGIN attribute from the specified map. This attribute indicates what sort of decoration should be applied to the beginning of edges when they are rendered.

See Also:
GraphConstants.ARROW_NONE, GraphConstants.ARROW_CLASSIC, GraphConstants.ARROW_TECHNICAL, GraphConstants.ARROW_SIMPLE, GraphConstants.ARROW_CIRCLE, GraphConstants.ARROW_LINE, GraphConstants.ARROW_DOUBLELINE, GraphConstants.ARROW_DIAMOND, ARROW_TECHNICAL_CIRCLE

setLineMiddle

public static final void setLineMiddle(java.util.Map<java.lang.Object,java.lang.Object> map,
                                       int style)
Sets the LINEBEGIN attribute in the specified Map to the specified value. This attribute indicates what sort of decoration should be applied to the beginning of edges when they are rendered.

See Also:
GraphConstants.ARROW_NONE, GraphConstants.ARROW_CLASSIC, GraphConstants.ARROW_TECHNICAL, GraphConstants.ARROW_SIMPLE, GraphConstants.ARROW_CIRCLE, GraphConstants.ARROW_LINE, GraphConstants.ARROW_DOUBLELINE, GraphConstants.ARROW_DIAMOND, ARROW_TECHNICAL_CIRCLE

setMiddleColor

public static final void setMiddleColor(java.util.Map<java.lang.Object,java.lang.Object> map,
                                        java.awt.Color color)
Sets the beginsize attribute in the specified Map to the specified value.


getMiddleColor

public static final java.awt.Color getMiddleColor(java.util.Map<java.lang.Object,java.lang.Object> map)
Returns the beginsize attribute from the specified map.


trueTemporaryColor

public static final java.awt.Color trueTemporaryColor()
Returns:
Color

truePermamentColor

public static final java.awt.Color truePermamentColor()
Returns:
Color

falseTemporaryColor

public static final java.awt.Color falseTemporaryColor()
Returns:
Color

falsePermanentColor

public static final java.awt.Color falsePermanentColor()
Returns:
Color

unvalidColor

public static final java.awt.Color unvalidColor()
Returns:
Color

setLineNumber

public static final void setLineNumber(java.util.Map<java.lang.Object,java.lang.Object> map,
                                       int level)
Sets the opaque level attribute in the specified Map to the specified value.


getLineNumber

public static final int getLineNumber(org.jgraph.graph.AttributeMap map)
Returns the opaque level attribute from the specified map.


setMiddleSize

public static final void setMiddleSize(java.util.Map<java.lang.Object,java.lang.Object> map,
                                       int size)
Sets the opaque level attribute in the specified Map to the specified value.


getMiddleSize

public static final int getMiddleSize(java.util.Map<java.lang.Object,java.lang.Object> map)
Returns the opaque level attribute from the specified map.


setMiddleFill

public static final void setMiddleFill(java.util.Map<java.lang.Object,java.lang.Object> map,
                                       boolean flag)
Sets the middlefill attribute in the specified Map to the specified value.


isMiddleFill

public static final boolean isMiddleFill(java.util.Map<java.lang.Object,java.lang.Object> map)
Returns the beginfill attribute from the specified map.