edu.neu.ccs.jpf
Class ActivityIcon

java.lang.Object
  edu.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()