fr.lri.swingstates.applets

Class Menu

java.lang.Object

fr.lri.swingstates.applets.Menu

Direct Known Subclasses:

ControlMenu, LinearMenu, MarkingMenu

public class Menu
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.awt.Color	BG_COLOR
static java.awt.Color	BORDER_COLOR
static java.awt.Font	FONT
static java.awt.Color	HILITE_COLOR

Constructor Summary

Constructors

Constructor and Description
Menu(GraphicalEditor canvas)

Method Summary

Methods

Modifier and Type	Method and Description
static CStateMachine	getHiliteMachine()
CStateMachine	getInteraction()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

BG_COLOR

public static final java.awt.Color BG_COLOR

HILITE_COLOR

public static final java.awt.Color HILITE_COLOR

BORDER_COLOR

public static final java.awt.Color BORDER_COLOR

FONT

public static final java.awt.Font FONT

Constructor Detail

Menu

public Menu(GraphicalEditor canvas)

Method Detail

getHiliteMachine

public static CStateMachine getHiliteMachine()

getInteraction

public CStateMachine getInteraction()