edu.neu.ccs.jpf
Class ActivityIcon

java.lang.Object
  extended byedu.neu.ccs.jpf.ActivityIcon

public class ActivityIcon
extends Object

Provides JComponents that display icons for the input, action, and output displays in MethodGUI.

Since:
2.2.0
Version:
2.7.0

Nested Class Summary
static class ActivityIcon.ActionIcon
          Icon representing execution of an action.
static class ActivityIcon.InputIcon
          Icon representing an input parameter.
static class ActivityIcon.OutputIcon
          Icon representing output.
 
Field Summary
static Color actionColor
          Color of action arrow.
static int arcDiameter
          The arc diameter.
static int arcInset
          The arc inset.
static int arcRadius
          The arc radius.
static int arcStartAngle
          The arc start angle.
static int arcTotalAngle
          The arc total angle.
static int arcXCorner
          The arc box x-corner.
static int arcXStart
          The x-position of the start of the arc.
static int arcYCorner
          The arc box y-corner.
static int arcYStart
          The y-position of the start of the arc.
static int arrowsize
          The arrow size.
private static Rectangle2D.Double box
          The common shape for the box.
static Color boxColor
          Color of the box.
static int boxsize
          The box size.
static int boxXCenter
          The box x-center.
static int boxXCorner
          The box x-corner.
static int boxYCenter
          The box y-center.
static int boxYCorner
          The box y-corner.
static int halfsize
          Half of the box size.
static int halfwidth
          Half of the line width.
static int height
          The component height.
static Color inputColor
          Color of input arrow.
static int linewidth
          The line width.
static Color outputColor
          Color of output arrow.
static int side
          The side of a 45-45-90 right triangle with hypotenuse equal to the arc radius.
static int width
          The component width.
static int xInput
          The final x-position for the output line.
static int xOutput
          The start x-position for the input line.
static int yCommon
          The start and final y-position for both lines.
 
Constructor Summary
ActivityIcon()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

inputColor

public static final Color inputColor
Color of input arrow.


actionColor

public static final Color actionColor
Color of action arrow.


outputColor

public static final Color outputColor
Color of output arrow.


boxColor

public static final Color boxColor
Color of the box.


boxsize

public static final int boxsize
The box size.

See Also:
Constant Field Values

halfsize

public static final int halfsize
Half of the box size.

See Also:
Constant Field Values

linewidth

public static final int linewidth
The line width.

See Also:
Constant Field Values

halfwidth

public static final int halfwidth
Half of the line width.

See Also:
Constant Field Values

arrowsize

public static final int arrowsize
The arrow size.

See Also:
Constant Field Values

width

public static final int width
The component width.

See Also:
Constant Field Values

height

public static final int height
The component height.

See Also:
Constant Field Values

boxXCorner

public static final int boxXCorner
The box x-corner.

See Also:
Constant Field Values

boxYCorner

public static final int boxYCorner
The box y-corner.

See Also:
Constant Field Values

boxXCenter

public static final int boxXCenter
The box x-center.

See Also:
Constant Field Values

boxYCenter

public static final int boxYCenter
The box y-center.

See Also:
Constant Field Values

box

private static final Rectangle2D.Double box
The common shape for the box.


xOutput

public static final int xOutput
The start x-position for the input line.

See Also:
Constant Field Values

xInput

public static final int xInput
The final x-position for the output line.

See Also:
Constant Field Values

yCommon

public static final int yCommon
The start and final y-position for both lines.

See Also:
Constant Field Values

arcInset

public static final int arcInset
The arc inset.

See Also:
Constant Field Values

arcXCorner

public static final int arcXCorner
The arc box x-corner.

See Also:
Constant Field Values

arcYCorner

public static final int arcYCorner
The arc box y-corner.

See Also:
Constant Field Values

arcDiameter

public static final int arcDiameter
The arc diameter.

See Also:
Constant Field Values

arcStartAngle

public static final int arcStartAngle
The arc start angle.

See Also:
Constant Field Values

arcTotalAngle

public static final int arcTotalAngle
The arc total angle.

See Also:
Constant Field Values

arcRadius

public static final int arcRadius
The arc radius.

See Also:
Constant Field Values

side

public static final int side
The side of a 45-45-90 right triangle with hypotenuse equal to the arc radius.


arcXStart

public static final int arcXStart
The x-position of the start of the arc.


arcYStart

public static final int arcYStart
The y-position of the start of the arc.

Constructor Detail

ActivityIcon

public ActivityIcon()