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
ANY ←
NIL,
fork: BOOL ← FALSE, font: VFonts.Font ← VFonts.defaultFont, documentation: REF ANY ← NIL,
guarded: BOOL ← FALSE, paint: BOOL ← TRUE] 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: BOOL ← FALSE;
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.