ButtonsImpl.mesa
McGregor on October 21, 1982 9:46 am
Maxwell, June 7, 1983 2:25 pm
Russ Atkinson, November 18, 1983 1:29 pm
DIRECTORY
Buttons,
Graphics USING [black, Color, Context, DrawBox, DrawRope,
GetBounds, PaintMode, SetColor, SetCP, SetPaintMode, SetStipple, white],
GraphicsOps USING [DrawTexturedBox, Texture],
InputFocus USING [CaptureButtons, ReleaseButtons],
Menus USING [MouseButton],
MenusPrivate USING [Document, greyGuard],
MessageWindow USING [messageWindow],
Process USING [Detach, InitializeMonitor, Milliseconds, MsecToTicks, priorityNormal,
SetPriority, SetTimeout],
Rope USING [ROPE],
TIPUser USING [InstantiateNewTIPTable, TIPScreenCoords],
VFonts USING [defaultFont, Font, FontHeight, GraphicsFont, StringWidth],
ViewerClasses,
ViewerOps USING [CreateViewer, MouseInViewer, MoveViewer, PaintViewer,
RegisterViewerClass],
ViewerSpecs;
ButtonsImpl: CEDAR MONITOR LOCKS data USING data: ButtonData
IMPORTS Graphics, GraphicsOps, InputFocus, MenusPrivate, MessageWindow, Process, TIPUser, VFonts, ViewerOps
EXPORTS Buttons
SHARES MessageWindow, ViewerOps =
BEGIN OPEN ViewerClasses, Buttons;
ButtonData: TYPE = REF ButtonDataRec;
ButtonDataRec: TYPE = MONITORED RECORD [
proc: ButtonProc,
font: VFonts.Font,
clientData: REF ANY,
documentation: REF ANY,
greyCount: INTEGER,
displayStyle: DisplayStyle,
inverted: BOOL,
fork: BOOL,
guarded: BOOL,
state: GuardState
];
armingTime: Process.Milliseconds ← 100; -- cover removal time.
armedTime: Process.Milliseconds ← 5000; -- unguarded interval.
GuardState: TYPE = { guarded, arming, armed };
DisplayStyle: TYPE = {blackOnWhite, whiteOnBlack, blackOnGrey} ;
bottomOffset: INTEGER = 3; -- for painting
leftOffset: INTEGER = 3;
defaultButtonY: INTEGER = ViewerSpecs.screenH-ViewerSpecs.messageWindowHeight;
defaultButtonH: INTEGER = ViewerSpecs.messageWindowHeight;
Create: PUBLIC PROC [info: ViewerRec ← [], proc: ButtonProc, clientData: REF ANYNIL,
fork: BOOLFALSE, font: VFonts.Font ← VFonts.defaultFont, documentation: REF ANYNIL,
guarded: BOOLFALSE, paint: BOOLTRUE] RETURNS [button: Button] = BEGIN
data: ButtonData ← NEW[ButtonDataRec ← [, proc, font, clientData, documentation, 0,
blackOnWhite, FALSE, fork, guarded, IF guarded THEN guarded ELSE armed]];
TRUSTED {Process.InitializeMonitor[@data.LOCK]};
IF info.ww=0 THEN info.ww ← VFonts.StringWidth[info.name, font]+leftOffset+leftOffset;
IF info.wh=0 THEN info.wh ← VFonts.FontHeight[font]+bottomOffset;
IF info.parent=NIL AND info.wx=0 AND info.wy=0 THEN
BEGIN OPEN MessageWindow.messageWindow;
ViewerOps.MoveViewer[MessageWindow.messageWindow, wx, wy, ww-info.ww, wh,
FALSE];
info.wx ← wx + ww;
info.wy ← defaultButtonY;
info.wh ← defaultButtonH;
info.column ← static;
END;
info.data ← data;
IF documentation#NIL THEN WITH documentation SELECT FROM
doc: REF TEXT   => NULL;
doc: REF ButtonProc => NULL;
doc: Rope.ROPE   => NULL;
ENDCASE     => ERROR; -- not valid documentation
RETURN[ViewerOps.CreateViewer[$Button, info, paint]];
END;
guardedTexture: GraphicsOps.Texture = [
125252B,052525B,125252B,052525B,125252B,052525B,125252B,052525B,
052525B,125252B,052525B,125252B,052525B,125252B,052525B,125252B
];
ButtonsPaint: PRIVATE PaintProc = BEGIN OPEN Graphics;
data: ButtonData ← NARROW[self.data];
myGrey: CARDINAL = 001010B;
IF data = NIL THEN RETURN;
IF ISTYPE[whatChanged, PaintRectangle] THEN whatChanged ← NIL;
IF whatChanged=NIL THEN BEGIN-- paint in label (derived from name)
borderFudge is so buttons line up whether they have borders or not
borderFudge: INTEGER = IF self.border THEN 0 ELSE 1;
IF ~clear OR data.greyCount # 0 OR data.displayStyle=blackOnGrey THEN {
SetStipple[context, myGrey];
DrawBox[context, [1, 1, self.cw-1, self.ch-1]]}
ELSE IF ~clear OR data.displayStyle=whiteOnBlack THEN {
SetColor[context, black];
DrawBox[context, [1, 1, self.cw-1, self.ch-1]]};
SetColor[context, SELECT data.displayStyle FROM
whiteOnBlack => white,
ENDCASE   => black];
SetCP[context, leftOffset+borderFudge, bottomOffset+borderFudge];
DrawRope[self: context, rope: self.name, font: VFonts.GraphicsFont[data.font]];
IF data.guarded AND data.state#armed THEN BEGIN
IF MenusPrivate.greyGuard THEN BEGIN
SetCP[context, leftOffset+borderFudge+1, bottomOffset+borderFudge]; -- fake bold
DrawRope[self: context, rope: self.name, font: VFonts.GraphicsFont[data.font]];
SetColor[context, SELECT data.displayStyle FROM
whiteOnBlack => black,
ENDCASE   => white];
[] ← SetPaintMode[context, transparent];
GraphicsOps.DrawTexturedBox[context, [0, 0, self.cw, self.ch], guardedTexture];
END
ELSE BEGIN
by: INTEGER ~ bottomOffset+borderFudge+2;
DrawBox[context, [0, by, self.cw, by+1]];
END;
END;
END;
IF whatChanged=$Invert OR data.inverted THEN BEGIN-- invert to indicate highlighting
[] ← SetPaintMode[context, invert];
DrawBox[context, GetBounds[context]];
IF whatChanged=$Invert THEN data.inverted ← ~data.inverted;
END;
END;
ButtonsNotify: NotifyProc = BEGIN
data: ButtonData ← NARROW[self.data];
EntryButtonsNotify[self, input, data];
END;
EntryButtonsNotify: ENTRY PROC [self: Viewer, input: LIST OF REF ANY, data: ButtonData] =
BEGIN
ENABLE UNWIND => InputFocus.ReleaseButtons[];
button: Menus.MouseButton ← red;
shift, control: BOOLFALSE;
mouse: TIPUser.TIPScreenCoords;
IF data = NIL THEN RETURN;
FOR list: LIST OF REF ANY ← input, list.rest UNTIL list = NIL DO
WITH list.first SELECT FROM
x: ATOM => SELECT x FROM
$Blue => button ← blue;
$Control => control ← TRUE;
$Documentation => IF data.documentation#NIL THEN
MenusPrivate.Document[data.documentation, self, data.clientData,
button, shift, control];
$Hit => IF data.inverted THEN SELECT data.state FROM
guarded => {
data.state𡤊rming;
ViewerOps.PaintViewer[self, client, FALSE, $Invert];
InputFocus.ReleaseButtons[];
TRUSTED {Process.Detach[FORK ArmButtonProc[data, self]]};
IF data.documentation#NIL THEN-- post documentation
MenusPrivate.Document[data.documentation, self, data.clientData,
button, shift, control];
};
arming=> NULL; -- no action
armed=> {
InputFocus.ReleaseButtons[];
ViewerOps.PaintViewer[self, client, FALSE, $Invert];
IF data.guarded THEN BEGIN
data.state←guarded;
ViewerOps.PaintViewer[self, client];
END;
IF data.fork THEN TRUSTED {Process.Detach[FORK ButtonPusher[self,
data, data.proc, data.clientData, button, shift, control, TRUE]]}
ELSE ButtonPusher[self, data, data.proc, data.clientData,
button, shift, control, FALSE]; };
ENDCASE;
$Mark => IF ~data.inverted THEN BEGIN
InputFocus.CaptureButtons[ButtonsNotify, buttonsClass.tipTable, self];
ViewerOps.PaintViewer[self, client, FALSE, $Invert];
END
ELSE BEGIN
v: Viewer;
c: BOOL;
[v, c] ← ViewerOps.MouseInViewer[mouse];
IF v=self AND c THEN RETURN;
ViewerOps.PaintViewer[self, client, FALSE, $Invert];
InputFocus.ReleaseButtons[];
END;
$Red => button ← red;
$Shift => shift ← TRUE;
$Yellow => button ← yellow;
ENDCASE => NULL;
z: TIPUser.TIPScreenCoords => mouse ← z;
ENDCASE => ERROR;
ENDLOOP;
END;
ArmButtonProc: ENTRY PROC [data: ButtonData, button: Buttons.Button] = {
assert: state=arming
IF data = NIL THEN RETURN;
ButtonWait[data, armingTime];
IF data.state = arming THEN {
data.state𡤊rmed;
ViewerOps.PaintViewer[button, client];
ButtonWait[data, armedTime];
};
IF data.state#guarded THEN BEGIN
data.state←guarded;
ViewerOps.PaintViewer[button, client];
END; };
ButtonWait: INTERNAL PROCEDURE[data: ButtonData, ticks: Process.Milliseconds] = TRUSTED {
buttonWaitCondition: CONDITION;
Process.SetTimeout[LONG[@buttonWaitCondition], Process.MsecToTicks[ticks]];
WAIT buttonWaitCondition; };
ButtonPusher: PROC [button: Button, myData: ButtonData, proc: ButtonProc, data: REF ANY,
mouseButton: Menus.MouseButton, shift, control, normalPriority: BOOL] = BEGIN
IF myData = NIL THEN RETURN;
myData.greyCount ← myData.greyCount + 1;
IF myData.displayStyle#blackOnGrey THEN ViewerOps.PaintViewer[button, client];
IF normalPriority THEN TRUSTED {Process.SetPriority[Process.priorityNormal]};
proc[button, data, mouseButton, shift, control ! ABORTED => CONTINUE];
myData.greyCount ← MAX[myData.greyCount - 1, 0];
IF myData.displayStyle#blackOnGrey THEN ViewerOps.PaintViewer[button, client];
END;
ButtonGet: PRIVATE GetProc = BEGIN
RETURN[self.name];
END;
ButtonsSet: PRIVATE SetProc = BEGIN
IF op=NIL THEN self.name ← NARROW[data]
ELSE BEGIN
myData: ButtonData ← NARROW[self.data];
IF myData = NIL THEN RETURN;
SELECT data FROM
$BlackOnWhite => {
myData.greyCount ← MAX[myData.greyCount - 1, 0];
IF myData.greyCount <= 0 THEN myData.displayStyle ← blackOnWhite};
$WhiteOnBlack => {
myData.greyCount ← MAX[myData.greyCount - 1, 0];
IF myData.greyCount <= 0 THEN myData.displayStyle ← whiteOnBlack};
$BlackOnGrey, $BlackOnGray => {
myData.greyCount ← myData.greyCount + 1;
myData.displayStyle ← blackOnWhite};
ENDCASE   => ERROR;
END;
IF finalise THEN ViewerOps.PaintViewer[self, all];
END;
buttonsClass: ViewerClasses.ViewerClass ← NEW[ViewerClasses.ViewerClassRec ← [
paint: ButtonsPaint,
get: ButtonGet,
set: ButtonsSet,
notify: ButtonsNotify,
tipTable: TIPUser.InstantiateNewTIPTable["Button.tip"],
cursor: bullseye
]];
ViewerOps.RegisterViewerClass[$Button, buttonsClass]; -- plug in to Viewers
END.