edu.neu.ccs.jpf
Class ActivityIcon

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

class ActivityIcon
extends Object

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

Since:
2.2

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

Field Detail

inputColor

protected static Color inputColor
Color of input arrow.


actionColor

protected static Color actionColor
Color of action arrow.


outputColor

protected static Color outputColor
Color of output arrow.


boxColor

protected static Color boxColor
Color of the box.


boxsize

private static int boxsize
The box size.


halfsize

private static int halfsize
Half of the box size.


linewidth

private static int linewidth
The line width.


halfwidth

private static int halfwidth
Half of the line width.


arrowsize

private static int arrowsize
The arrow size.


width

private static int width
The component width.


height

private static int height
The component height.


boxXCorner

private static int boxXCorner
The box x-corner.


boxYCorner

private static int boxYCorner
The box y-corner.


boxXCenter

private static int boxXCenter
The box x-center.


boxYCenter

private static int boxYCenter
The box y-center.


box

private static Rectangle2D.Double box

xInput

private static int xInput
The start x-position for the input line.


xOutput

private static int xOutput
The final x-position for the output line.


yCommon

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


arcInset

private static int arcInset
The arc inset.


arcXCorner

private static int arcXCorner
The arc box x-corner.


arcYCorner

private static int arcYCorner
The arc box y-corner.


arcDiameter

private static int arcDiameter
The arc diameter.


arcStartAngle

private static int arcStartAngle
The arc start angle.


arcTotalAngle

private static int arcTotalAngle
The arc total angle.


arcRadius

private static int arcRadius
The arc radius.


side

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


arcXStart

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


arcYStart

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

Constructor Detail

ActivityIcon

ActivityIcon()