pipe.gui
Interface Constants

All Known Implementing Classes:

CreateArcHandler, DataLayer, PetriNetObjectHandler, Place, Transition, Animator, StatusBar, AnimateAction, AnimationHandler, GuiFrame, GuiView, CreateGui

public interface Constants

Field Summary

static int	ADDTOKEN
static int	ARC
static java.awt.Color	DEFAULT_BACKGROUND_COLOR
static java.io.File	DEFAULT_DIRECTORY
static java.awt.Color	DEFAULT_ELEMENT_COLOR
static int	DEFAULT_ELEMENT_TYPE
static java.lang.String	DEFAULT_FILENAME
static int	DELETE
static int	DELTOKEN
static int	DRAW
static int	FIRE
static int	MOVE
static int	PLACE
static int	RANDOM
static int	START
static int	STEPBACKWARD
static int	STEPFORWARD
static int	STOP
static int	TRANSITION

Field Detail

DEFAULT_DIRECTORY

public static final java.io.File DEFAULT_DIRECTORY

DEFAULT_FILENAME

public static final java.lang.String DEFAULT_FILENAME

RANDOM

public static final int RANDOM

START

public static final int START

FIRE

public static final int FIRE

STEPFORWARD

public static final int STEPFORWARD

STEPBACKWARD

public static final int STEPBACKWARD

STOP

public static final int STOP

PLACE

public static final int PLACE

TRANSITION

public static final int TRANSITION

ADDTOKEN

public static final int ADDTOKEN

DELTOKEN

public static final int DELTOKEN

ARC

public static final int ARC

MOVE

public static final int MOVE

DELETE

public static final int DELETE

DRAW

public static final int DRAW

DEFAULT_ELEMENT_TYPE

public static final int DEFAULT_ELEMENT_TYPE

DEFAULT_ELEMENT_COLOR

public static final java.awt.Color DEFAULT_ELEMENT_COLOR

DEFAULT_BACKGROUND_COLOR

public static final java.awt.Color DEFAULT_BACKGROUND_COLOR