edu.neu.ccs.jpf
Class ActivityIcon

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

Version:

2.3.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()