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
];
}.