<> <> DIRECTORY Imager, PopUpButtons, PopUpSelection2, Rope, ViewerClasses; PopUpButtonsPrivate: CEDAR DEFINITIONS = {OPEN PUS: PopUpSelection2, PopUpButtons; ROPEList: TYPE = LIST OF ROPE; GuardState: TYPE = {guarded, arming, armed}; Class: TYPE = REF ClassPrivate; ClassPrivate: TYPE = RECORD [ spec: ClassSpec, menu: PUS.Menu, choiceQuaRopes, documentation: ROPEList, choiceCount: NAT ]; Instance: TYPE = REF InstancePrivate; InstancePrivate: TYPE = RECORD [ spec: InstanceSpec, executingCount: INTEGER _ 0, depressed, highlight, shownHighlighted, shownExecuting: BOOL _ FALSE, shownGuarded: BOOL, state: GuardState ]; }.