Lightning.mesa
Copyright © 1984, 1985 by Xerox Corporation. All rights reserved.
Russ Atkinson, March 13, 1985 3:56:47 pm PST
Andrew Birrell October 25, 1983 11:29 am
Hal Murray, March 10, 1986 8:04:06 pm PST
DIRECTORY
Basics USING [DoubleAnd],
BasicTime USING [GetClockPulses],
Buttons USING [Button, ButtonProc, Create, SetDisplayStyle],
Commander USING [CommandProc, Register],
Containers USING [Create],
Driver USING [Buffer, CreateInterceptor, DestroyInterceptor, GetNetworkChain, Interceptor, RecvInterceptor, SendInterceptor],
Process USING [Detach, Pause],
PupBuffer USING [Buffer],
Rope USING [ROPE],
ViewerClasses USING [Viewer],
ViewerOps USING [ComputeColumn, SetOpenHeight];
Lightning: CEDAR PROGRAM
IMPORTS Basics, BasicTime, Buttons, Commander, Containers, Driver, Process, ViewerOps = {
Viewer: TYPE = ViewerClasses.Viewer;
Mask: PROC [number, mask: LONG CARDINAL] RETURNS [LONG CARDINAL] = {
RETURN[Basics.DoubleAnd[[lc[number]],[lc[mask]]].lc];
};
Kill: PROC [counter, mask: LONG CARDINAL] RETURNS [kill: BOOL] = {
time: LONG CARDINAL ← Mask[BasicTime.GetClockPulses[], mask];
IF time = 0 THEN RETURN[TRUE];
IF Mask[counter, mask] = 0 THEN RETURN[TRUE];
RETURN[FALSE];
};
Info: TYPE = REF InfoRep;
InfoRep: TYPE = RECORD [
recvKilled: LONG CARDINAL ← 0,
sendKilled: LONG CARDINAL ← 0,
recvCounter: LONG CARDINAL ← 0,
sendCounter: LONG CARDINAL ← 0,
recvMask: LONG CARDINAL ← 17B,
sendMask: LONG CARDINAL ← 17B,
r: REF BOOLNEW[BOOLTRUE],
s: REF BOOLNEW[BOOLTRUE],
ip: REF BOOLNEW[BOOLTRUE],
ns: REF BOOLNEW[BOOLTRUE],
pup: REF BOOLNEW[BOOLTRUE],
rpc: REF BOOLNEW[BOOLTRUE],
other: REF BOOLNEW[BOOLTRUE],
error: REF BOOLNEW[BOOLTRUE],
raw: REF BOOLNEW[BOOLTRUE] ];
Recv: Driver.RecvInterceptor = {
info: Info ← NARROW[data];
IF ~info.r^ THEN RETURN;
SELECT recv FROM
ip, ipTranslate => IF ~info.ip^ THEN RETURN;
ns, nsTranslate => IF ~info.ns^ THEN RETURN;
pup, pupTranslate => TRUSTED {
b: PupBuffer.Buffer = LOOPHOLE[buffer];
SELECT b.type.ORD FROM
IN [140B..177B] => IF ~info.rpc^ THEN RETURN;
ENDCASE => IF ~info.pup^ THEN RETURN; };
other => IF ~info.other^ THEN RETURN;
error => IF ~info.error^ THEN RETURN;
ENDCASE => NULL; -- I wish the Compiler would catch these.
info.recvCounter ← info.recvCounter.SUCC;
IF ~Kill[info.recvCounter, info.recvMask] THEN RETURN;
info.recvKilled ← info.recvKilled.SUCC;
RETURN[TRUE];
};
Send: Driver.SendInterceptor = {
info: Info ← NARROW[data];
IF ~info.s^ THEN RETURN;
SELECT send FROM
ip, ipReturn, ipTranslate => IF ~info.ip^ THEN RETURN;
ns, nsReturn, nsTranslate => IF ~info.ns^ THEN RETURN;
pup, pupReturn, pupTranslate => TRUSTED {
b: PupBuffer.Buffer = LOOPHOLE[buffer];
SELECT b.type.ORD FROM
IN [140B..177B] => IF ~info.rpc^ THEN RETURN;
ENDCASE => IF ~info.pup^ THEN RETURN; };
other, otherReturn, otherTranslate => IF ~info.other^ THEN RETURN;
raw => IF ~info.raw^ THEN RETURN;
ENDCASE => NULL; -- I wish the Compiler would catch these.
info.sendCounter ← info.sendCounter.SUCC;
IF ~Kill[info.sendCounter, info.sendMask] THEN RETURN;
info.sendKilled ← info.sendKilled.SUCC;
RETURN[TRUE];
};
Create: Commander.CommandProc = {
TRUSTED { Process.Detach[FORK Worker[]]; };
};
Worker: PROC = {
info: Info ← NEW[InfoRep ← []];
outer: Viewer = Containers.Create[
info: [name: "Lightning", column: left, scrollable: FALSE, iconic: FALSE]];
child: Viewer ← NIL;
interceptor: Driver.Interceptor;
child ← MakeBool[name: "Recv", init: info.r, parent: outer, x: 2, y: 2];
child ← MakeBool[name: "Send", init: info.s, parent: outer, x: child.wx+child.ww+2, y: child.wy];
child ← MakeBool[name: "IP", init: info.ip, parent: outer, x: child.wx+child.ww+2, y: child.wy];
child ← MakeBool[name: "NS", init: info.ns, parent: outer, x: child.wx+child.ww+2, y: child.wy];
child ← MakeBool[name: "Pup", init: info.pup, parent: outer, x: child.wx+child.ww+2, y: child.wy];
child ← MakeBool[name: "RPC", init: info.rpc, parent: outer, x: child.wx+child.ww+2, y: child.wy];
child ← MakeBool[name: "Oth", init: info.other, parent: outer, x: child.wx+child.ww+2, y: child.wy];
child ← MakeBool[name: "Err", init: info.error, parent: outer, x: child.wx+child.ww+2, y: child.wy];
child ← MakeBool[name: "Raw", init: info.raw, parent: outer, x: child.wx+child.ww+2, y: child.wy];
ViewerOps.SetOpenHeight[outer, 23];
ViewerOps.ComputeColumn[outer.column];
interceptor ← Driver.CreateInterceptor[
network: Driver.GetNetworkChain[],
sendMask: ALL[TRUE],
sendProc: Send,
recvMask: ALL[TRUE],
recvProc: Recv,
data: info,
promiscuous: FALSE];
UNTIL outer.destroyed DO Process.Pause[10]; ENDLOOP;
Driver.DestroyInterceptor[interceptor];
};
BoolProc: TYPE = PROC [parent: Viewer, clientData: REF, value: BOOL];
Bool: TYPE = REF BoolRec;
BoolRec: TYPE = RECORD [
value: REF BOOL,
change: BoolProc,
clientData: REF,
button: Viewer ];
MakeBool: PROC [name: Rope.ROPE, init: REF BOOL, change: BoolProc ← NIL, clientData: REFNIL, parent: Viewer, x, y: INTEGER]
RETURNS [child: Viewer] = {
bool: Bool ← NEW [BoolRec ← [
value: IF init # NIL THEN init ELSE NEW [BOOLTRUE],
change: change,
clientData: clientData,
button: NIL ] ];
child ← Buttons.Create[
info: [name: name, parent: parent, border: TRUE, wx: x, wy: y],
proc: BoolHelper, clientData: bool, fork: TRUE, paint: TRUE];
bool.button ← child;
IF bool.value^ THEN Buttons.SetDisplayStyle[child, $WhiteOnBlack];
};
BoolHelper: Buttons.ButtonProc = TRUSTED {
parent: REF, clientData: REF, mouseButton: MouseButton, shift, control: BOOL
self: Buttons.Button = NARROW[parent];
bool: Bool = NARROW[clientData];
bool.value^ ← ~bool.value^;
IF bool.value^ THEN Buttons.SetDisplayStyle[bool.button, $WhiteOnBlack]
ELSE Buttons.SetDisplayStyle[bool.button, $BlackOnWhite];
IF bool.change # NIL THEN bool.change[self.parent, bool.clientData, bool.value^];
};
Initialization
Commander.Register["Lightning", Create, "Kill Ethernet packets."];
}.