DIRECTORY
Buttons USING [Button, Create, ReLabel, SetDisplayStyle], 
Commander USING [CommandProc, Register],
IO, 
Process USING [Detach, Pause, SecondsToTicks],
UserProfile USING [CallWhenProfileChanges, Number, ProfileChangedProc],
PFS,
Rope,
UnixSysCallExtensions,
UXStrings, UnixTypes,
ViewerClasses USING [ClickProc];


PageSpaceMon: CEDAR MONITOR
IMPORTS Buttons, Commander, --Debugger,-- IO, PFS, Process, UnixSysCallExtensions, UserProfile, UXStrings, Rope
~ BEGIN

ROPE: TYPE ~ Rope.ROPE;
STREAM: TYPE ~ IO.STREAM;

defaultCheckFreqInSeconds: INTEGER = 60;
defaultWarningLevel: INTEGER = 100;  -- in kBytes
outputFile: ROPE = "/tmp/pstat.out";
commandName: ROPE = "/etc/pstat -s";
devNull: UnixTypes.CHARPtr ¬ UXStrings.Create["/dev/null"];

buttonLabel: ROPE ¬ "Page Space:          ";
checkFreq: INTEGER;
warningLevel: INTEGER;
highlighted: BOOLEAN ¬ FALSE;

uxcommandname: UnixTypes.CHARPtr ¬ UXStrings.Create[commandName];
uxoutputfile: UnixTypes.CHARPtr ¬ UXStrings.Create[outputFile];
theButton: Buttons.Button ¬ NIL;

PageSpaceButton: ENTRY Commander.CommandProc = {
IF theButton # NIL THEN {
IO.PutRope[cmd.out, "Page Space Monitor Button already created.\n"];
RETURN;
};
theButton ¬ Buttons.Create[
info: [name: buttonLabel], proc: DisplayPSLeft, fork: TRUE,
documentation: "create page space monitor button"];
NoteProfileChange[firstTime];  -- get initial values from profile
UserProfile.CallWhenProfileChanges[NoteProfileChange];
TRUSTED {Process.Detach[FORK PageSpaceWatcher[]]};
};

PageSpaceWatcher: PROC  ~ {
DO
ENABLE ABORTED => LOOP;
DisplayPSLeft[theButton];
Process.Pause[Process.SecondsToTicks[checkFreq]];
ENDLOOP;
};

DisplayPSLeft: ENTRY ViewerClasses.ClickProc ~ {
swapLeftInK: INTEGER;
newName: ROPE;

XRConsoleMsgInner: PROC [m: UXStrings.CString] ~ TRUSTED MACHINE CODE { "XR_ConsoleMsg" };

DebugMsg: PROC [r: Rope.ROPE] ~ TRUSTED {
text: REF TEXT;
text ¬ Rope.ToRefText[r];
XRConsoleMsgInner[UXStrings.ViewRefText[text]];
};


GetSwapSpaceLeft: PROC [] RETURNS [spaceLeft: INTEGER] ~ {   -- returns -1 on error
res: INTEGER;
[res] ¬ UnixSysCallExtensions.Spawn[uxcommandname, devNull, uxoutputfile, devNull];
IF res = -1 THEN {
DebugMsg["PageSpaceMonButton: Spawn failed\n"];
spaceLeft ¬ -1;
}
ELSE {  -- read pstat output (highly sunos dependent)
ENABLE
IO.EndOfStream, PFS.Error => {
DebugMsg["PageSpaceMonButton: end of output seen unexpectedly"];
spaceLeft ¬ -1;
CONTINUE;
};
s : STREAM ¬ PFS.StreamOpen[PFS.PathFromRope[outputFile]];
WHILE IO.GetChar[s] ~= ', DO  -- advance to comma after used
NULL;
ENDLOOP;
[] ¬ IO.GetChar[s]; -- get space char
spaceLeft ¬ IO.GetInt[s]; -- get space left 
};
};

swapLeftInK ¬ GetSwapSpaceLeft[];
IF swapLeftInK = -1 THEN {
newName ¬ "Page Space: Error"; 
}
ELSE {
IF swapLeftInK >= 1000  THEN
[newName] ¬ IO.PutFR1["Page Space: %gMb", IO.int[swapLeftInK / 1000]] 
ELSE
[newName] ¬ IO.PutFR1["Page Space: %gKb", IO.int[swapLeftInK]]; 
};
Buttons.ReLabel[button: theButton, newName: newName, paint: TRUE];
IF swapLeftInK < warningLevel THEN {
IF ~highlighted THEN {
Buttons.SetDisplayStyle[theButton, $WhiteOnBlack]; 
highlighted ¬ TRUE;
}
}
ELSE {
IF highlighted THEN {
Buttons.SetDisplayStyle[theButton, $BlackOnWhite]; 
highlighted ¬ FALSE;
}
};
};

NoteProfileChange: UserProfile.ProfileChangedProc ~ {
checkFreq ¬ MAX[UserProfile.Number["PageSpaceMonitor.CheckFrequency", defaultCheckFreqInSeconds], 0];
warningLevel ¬ MAX[UserProfile.Number["PageSpaceMonitor.WarningLevel", defaultWarningLevel], 0];
};

Commander.Register["PageSpaceMonButton", PageSpaceButton, "create page space monitor button"];


END.
    ð  
PageSpaceMon.mesa
Copyright Ó 1992 by Xerox Corporation.  All rights reserved.
Mna, September 27, 1991 10:04 am PDT
Weiser, May 26, 1992 10:01 pm PDT

Debugger,
DebugMsg: PROC [r: Rope.ROPE] ~ TRUSTED {
Debugger.SystemPutRope[r];
};
ÊÕ  –(cedarcode) style•NewlineDelimiter
™ ™Jšœ
Ïeœ1™<J™$J™!J™ —codešÏk	˜	Kšœžœ-˜:Kšœ
žœ˜(Kšœ	™	Kšžœ˜Kšœžœ!˜.Kšœžœ6˜GKšžœ˜K˜Kšœ˜K˜Kšœžœ˜ —K˜ K˜ KšÐlnœžœž˜KšžœÏcœžœžœ>˜ošœž˜K˜ Kšžœžœžœ˜Kšžœžœžœžœ˜K˜ Kšœžœ˜(Kšœžœ	 ˜1Kšœžœ˜$Kšœžœ˜$K˜;K˜ Kšœžœ˜,Kšœžœ˜Kšœžœ˜Kšœžœžœ˜K˜ K˜AK˜?Kšœžœ˜ K˜ šÏnœžœ˜0šžœžœžœ˜KšžœœA˜DKšžœ˜K˜—˜Kšœ6žœ˜;Kšœ3˜3—Kšœ "˜AKšœ6˜6Kšžœžœ˜2Kšœ˜—K˜ š¡œžœ˜šž˜Kšžœžœžœ˜Kšœ˜Kšœ1˜1Kšžœ˜—Kšœ˜—K˜ š¡œžœ˜0Kšœžœ˜Kšœ	žœ˜K˜ š
¡œžœžœžœžœ˜ZK˜ —š¡œžœ
žœžœ˜)Kšœžœžœ˜K˜Kšœ/˜/K˜—K˜ š¡œžœ
žœžœ™)K™K™—K˜ š	¡œžœžœžœ ˜SKšœžœ˜K˜Sšžœ
žœ˜Kšœ/˜/K˜K˜—šžœ -˜5šž˜šžœžœ˜Kšœ@˜@K˜Kšžœ˜	Kšœ˜——Kšœžœžœžœ˜:šžœžœžœ ˜<Kšžœ˜Kšžœ˜—Kšœžœ ˜%Kšœžœ ˜,Kšœ˜—K˜K˜ —K˜!šžœžœ˜K˜K˜—šžœ˜šœ˜Kšœžœžœ˜F—˜Kšœžœžœ˜@—K˜—Kšœ<žœ˜Bšžœžœ˜$šžœžœ˜Kšœ3˜3Kšœžœ˜K˜—K˜—šžœ˜šžœžœ˜Kšœ3˜3Kšœžœ˜K˜—K˜—K˜—K˜ š¡œ$˜5KšœžœV˜eKšœžœN˜`K˜—K˜ šœ^˜^K˜ ——K˜ Kšžœ˜— …—      Í  