fr.lri.swingstates.applets

Class MarkingMenu

java.lang.Object

fr.lri.swingstates.applets.Menu

fr.lri.swingstates.applets.MarkingMenu

public class MarkingMenu
extends Menu

Field Summary

Fields inherited from class fr.lri.swingstates.applets.Menu

BG_COLOR, BORDER_COLOR, FONT, HILITE_COLOR

Constructor Summary

Constructors

Constructor and Description
MarkingMenu(boolean modeCommunicationMachine, GraphicalEditor canvas, java.lang.String[] items)
MarkingMenu(GraphicalEditor canvas, java.lang.String[] items)

Method Summary

Methods inherited from class fr.lri.swingstates.applets.Menu

getHiliteMachine, getInteraction

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkingMenu

public MarkingMenu(boolean modeCommunicationMachine,
           GraphicalEditor canvas,
           java.lang.String[] items)

MarkingMenu

public MarkingMenu(GraphicalEditor canvas,
           java.lang.String[] items)