CDOut.mesa
Copyright © 1983, 1986 by Xerox Corporation. All rights reserved.
Created by Ch. Jacobi, December 12, 1983 2:02 pm
Last Edited by: Christian Jacobi, November 3, 1986 6:02:01 pm PST
DIRECTORY
BasicTime,
CDIO,
CD,
CDCleanUp,
CDDirectory,
CDEvents,
CDPrivate,
CDProperties,
CDSequencer,
CDValue,
Convert,
FileNames,
FS,
IO,
Process,
PropertyLists,
Rope,
TerminalIO,
TokenIO;
CDOut:
CEDAR
PROGRAM
IMPORTS BasicTime, CD, CDIO, CDCleanUp, CDDirectory, CDEvents, CDProperties, CDSequencer, CDValue, Convert, FileNames, FS, IO, Process, PropertyLists, Rope, TerminalIO, TokenIO
EXPORTS CDIO
SHARES CDProperties =
BEGIN
xChipndaleFile: INT = 12121983;
xVersion: INT = 16;
simpleObjectsInTableMax: INT ← 10000;
dotCnt: INT ← 0; --not exact, it's mainly to pacify user
colCnt: INT ← 0; --not exact, it's mainly to pacify user
FileExists:
PROC [name: Rope.
ROPE]
RETURNS [found:
BOOL←
TRUE] = {
[] ←
FS.FileInfo[name: name, remoteCheck:
FALSE
! FS.Error => IF error.group#bug THEN {found ← FALSE; CONTINUE}
];
};
GetNameInteractively:
PROC [wDir: Rope.
ROPE←
NIL]
RETURNS [name: Rope.
ROPE] = {
--may raise TerminalIO.UserAbort
TerminalIO.PutRope["file name:"];
IF ~Rope.IsEmpty[wDir] THEN TerminalIO.PutRopes[" (", wDir, ")"];
name ← TerminalIO.RequestRope[" > "];
name ← CDIO.MakeName[name, "dale", wDir];
IF FileExists[name]
THEN {
TerminalIO.PutRopes["File ", name, " exists "];
IF ~TerminalIO.Confirm["overwrite file"] THEN ERROR TerminalIO.UserAbort;
};
};
FeedbackIfNoisy:
PROC [h: TokenIO.Handle, r: Rope.
ROPE] =
INLINE {
--feedback on terminal
IF PropertyLists.GetProp[h.properties^, $Noisy]#NIL THEN TerminalIO.PutRope[r];
};
Feedback:
PROC [fork:
BOOL, r: Rope.
ROPE] =
INLINE {
--feedback on terminal
IF fork
THEN
TRUSTED {
--don't hang the output if viewer wedges
Process.Detach[ FORK TerminalIO.PutRope[r] ]
}
ELSE TerminalIO.PutRope[r]
};
WriteLayer:
PUBLIC
PROC [h: TokenIO.Handle, l:
CD.Layer] = {
TokenIO.WriteAtom[h, CD.LayerKey[l]];
};
WritePos:
PUBLIC
PROC [h: TokenIO.Handle, p:
CD.Position] = {
TokenIO.WriteInt[h, p.x];
TokenIO.WriteInt[h, p.y];
};
WriteRect:
PUBLIC
PROC[h: TokenIO.Handle, r:
CD.Rect] = {
TokenIO.WriteInt[h, r.x1];
TokenIO.WriteInt[h, r.y1];
TokenIO.WriteInt[h, r.x2];
TokenIO.WriteInt[h, r.y2];
};
WriteProperties:
PUBLIC
PROC [h: TokenIO.Handle, props:
CD.PropList] = {
WITH h.clientData
SELECT
FROM
d: CD.Design => CDSequencer.CheckAborted[d];
ENDCASE => ERROR;
Process.Yield[]; --should make output slower than redraw
--PropertyLists guarantees properties are not reordered; going through list is ok
FOR l:
CD.PropList ← props, l.rest
WHILE l#
NIL
DO
WITH l.first.key
SELECT
FROM
a:
ATOM => {
pp: CDProperties.PropertyProcs = CDProperties.FetchProcs[a];
IF pp#
NIL
AND pp.internalWrite#
NIL
THEN {
TokenIO.WriteAtom[h, $Property];
TokenIO.WritePush2[h, a];
pp.internalWrite[h, a, l.first.val];
TokenIO.WritePop[h];
}
ELSE
WITH l.first.val
SELECT
FROM
r: Rope.
ROPE => {
TokenIO.WriteAtom[h, $DefaultProperty];
TokenIO.WriteAtom[h, a];
TokenIO.WriteRope[h, r];
};
at:
ATOM => {
TokenIO.WriteAtom[h, $DefaultProperty];
TokenIO.WriteAtom[h, a];
TokenIO.WriteAtom[h, at];
};
ri:
REF
INT => {
TokenIO.WriteAtom[h, $DefaultProperty];
TokenIO.WriteAtom[h, a];
TokenIO.WriteInt[h, ri^];
};
pl: CDPrivate.LayerRef => {
TokenIO.WriteAtom[h, $DefaultProperty];
TokenIO.WritePush2[h, a];
TokenIO.WriteAtom[h, $layer]; -- now comes a property list
WriteLayer[h, pl.number];
TokenIO.WritePop[h];
};
pl:
CD.PropList => {
TokenIO.WriteAtom[h, $DefaultProperty];
TokenIO.WritePush2[h, a];
TokenIO.WriteAtom[h, $properties]; -- now comes a property list
WriteProperties[h, pl];
TokenIO.WritePop[h];
};
rl:
LIST
OF Rope.
ROPE => {
TokenIO.WriteAtom[h, $DefaultProperty];
TokenIO.WritePush2[h, a];
TokenIO.WriteAtom[h, $ropeList]; -- now comes a rope list
FOR l:
LIST
OF Rope.
ROPE ← rl, l.rest
WHILE l#
NIL
DO
TokenIO.WriteRope[h, l.first];
ENDLOOP;
TokenIO.WritePop[h];
};
ENDCASE => NULL;
};
ra:
REF
ATOM =>
IF ra^=$MayBeRemoved
THEN
CDProperties.PutProp[h.properties, $RemoveAlso, ra];
ENDCASE => NULL;
ENDLOOP;
};
WriteOrientation:
PUBLIC
PROC [h: TokenIO.Handle, orientation:
CD.Orientation] = {
TokenIO.WriteInt[h, ORD[orientation]];
};
WriteInstance:
PUBLIC
PROC [h: TokenIO.Handle, inst:
CD.Instance] = {
TokenIO.WriteInt[h, inst.trans.off.x];
TokenIO.WriteInt[h, inst.trans.off.y];
TokenIO.WriteInt[h, ORD[inst.trans.orient]];
WriteProperties[h, inst.properties];
WriteObject[h, inst.ob];
};
WriteObject:
PUBLIC
PROC [h: TokenIO.Handle, ob:
CD.Object] = {
WITH CDProperties.GetObjectProp[from: ob, prop: h.clientKey]
SELECT
FROM
key:
REF
INT => {
IF key^<0 THEN {TerminalIO.PutRope["**** circular object dependency\n"]; ERROR};
dotCnt ← dotCnt+1;
IF dotCnt>=50
THEN {
dotCnt ← 0;
FeedbackIfNoisy[h, "."];
};
TokenIO.WriteInt[h, key^];
};
ENDCASE => WriteObjectDefinition[h, ob]
};
WriteObjectDefinition:
PROC [h: TokenIO.Handle, ob:
CD.Object] = {
key: REF INT ← NIL;
WriteTableKey:
PROC[h: TokenIO.Handle, ob:
CD.Object] =
INLINE {
num: REF INT ← NARROW[CDProperties.GetProp[h.properties, $DirectoryCount]];
num^ ← num^+1;
key ← NEW[INT ← -num^]; --a negative key is not yet finished
TokenIO.WriteInt[h, num^];
CDProperties.PutObjectProp[onto: ob, prop: h.clientKey, val: key];
};
colCnt ← colCnt+1;
IF colCnt>=25
THEN {
colCnt𡤀
FeedbackIfNoisy[h, ":"];
};
IF ob.class.internalWrite=
NIL
THEN {
ob1: CD.Object ← CDDirectory.Expand[ob].new;
IF ob1=NIL THEN ob1 ← CDDirectory.ExpandByDraw[me: ob].new;
IF ob1=
NIL
THEN {
TokenIO.WritePush[h, $Unknown];
TokenIO.WritePop[h];
FeedbackIfNoisy[h, "*object not written\n"];
}
ELSE {
FeedbackIfNoisy[h, "*"];
WriteObject[h, ob1];
CDProperties.PutObjectProp[onto: ob, prop: h.clientKey, val: CDProperties.GetObjectProp[ob1, h.clientKey]];
};
}
ELSE {
--object has internalWrite proc
TokenIO.WritePush[h, ob.class.objectType];
IF ob.class.inDirectory THEN WriteTableKey[h, ob]
ELSE {
num: REF INT ← NARROW[CDProperties.GetProp[h.properties, $SimpleCount]];
IF num^<simpleObjectsInTableMax
THEN {
num^ ← num^+1;
TokenIO.WriteAtom[h, $CDIOUseTable];
WriteTableKey[h, ob];
};
};
ob.class.internalWrite[h, ob];
IF ob.class.inDirectory
THEN
TokenIO.WriteRope[h, CDDirectory.Name[ob]];
WriteProperties[h, ob.properties];
TokenIO.WritePop[h];
IF key#NIL THEN key^ ← -key^; --finished: make key positive
};
};
WritePushLevel:
PROC [h: TokenIO.Handle, pl:
LIST
OF
CD.PushRec] = {
IF pl=NIL THEN RETURN;
FeedbackIfNoisy[h, "!"];
IF pl.rest#NIL THEN WritePushLevel[h, pl.rest];
TokenIO.WriteAtom[h, $Push];
IF pl.first.mightReplace#NIL THEN WriteInstance[h, pl.first.mightReplace]
ELSE TokenIO.WriteAtom[h, $Nil];
WriteObjectDefinition[h, pl.first.dummyCell.ob];
};
EachChildInDir: CDDirectory.EnumerateObjectsProc
--PROC [me: Object, x: REF]-- = {
h: TokenIO.Handle ← NARROW[x];
IF me.class.inDirectory
OR
NARROW[CDProperties.GetProp[h.properties, $SimpleCount],
REF
INT]^<simpleObjectsInTableMax
THEN {
xx: REF ← CDProperties.GetObjectProp[from: me, prop: h.clientKey];
IF xx#NIL THEN RETURN; -- it and its children are already written
IF me.class.inDirectory THEN CDDirectory.EnumerateChildObjects[me, EachChildInDir, x];
--if due to funny recursion me is now written out: this will write a reference
WriteObject[h, me];
};
};
KillOldProps:
PROC [h: TokenIO.Handle] = {
RemoveOldProperties:
PROC[design:
CD.Design, key:
REF] = {
--at this place we know that CDCleanUp will fork and will set the priority down
CDCleanUp.RemoveProperties[design, key];
};
WITH h.clientData
SELECT
FROM
d:
CD.Design => {
WITH h.clientKey
SELECT
FROM
ra:
REF
ATOM => {
ra^ ← $MayBeRemoved;
RemoveOldProperties[d, ra]
}
ENDCASE => NULL;
WITH CDProperties.GetProp[h.properties, $RemoveAlso]
SELECT
FROM
ra: REF ATOM => RemoveOldProperties[d, ra]
ENDCASE => NULL;
};
ENDCASE => NULL;
};
DesignNameForFile:
PROC [d:
CD.Design]
RETURNS [Rope.
ROPE←NIL] = {
IF Rope.Length[d.name]>0
AND Rope.Fetch[d.name]#'/
AND Rope.Fetch[d.name]#'[
THEN
RETURN [d.name];
};
TimeStamp:
PROC []
RETURNS [Rope.
ROPE] = {
RETURN [Convert.RopeFromTime[from: BasicTime.Now[], end: seconds]];
};
OpenStream:
PROC [design:
CD.Design, to:
REF, emergency, quiet:
BOOL]
RETURNS [stream:
IO.
STREAM, mustClose:
BOOL←
TRUE, name: Rope.
ROPE←
NIL] = {
--opens the file but does not do any output to it yet
--makes the messages on failure
wDir: Rope.ROPE ← CDIO.GetWorkingDirectory[design];
IF Rope.IsEmpty[wDir] THEN wDir ← FileNames.CurrentWorkingDirectory[];
WITH to
SELECT
FROM
s: IO.STREAM => RETURN [stream←s, mustClose←FALSE, name←NIL];
r: Rope.ROPE => name ← r;
ENDCASE => IF to#NIL THEN Feedback[emergency, "bad file parameter in WriteDesign\n"];
IF Rope.IsEmpty[name]
THEN
name ←
IF emergency THEN "///temp/ChipNDale/emergency/emergency.dale"
ELSE IF quiet THEN Rope.Cat["///temp/ChipNDale/saved/", design.name]
ELSE GetNameInteractively[wDir];
name ← CDIO.MakeName[FileNames.StripVersionNumber[name], "dale", wDir];
stream ←
FS.StreamOpen[fileName: name, accessOptions: $create, keep: 2, createByteCount: 25600 !
FS.Error => {
mustClose ← FALSE; stream ← NIL;
IF ~quiet
THEN
Feedback[emergency, Rope.Cat["file not opened: ", error.explanation, "\n"]];
IF error.group#bug THEN CONTINUE;
}
];
IF stream=NIL AND ~quiet THEN Feedback[emergency, "file not created\n"];
};
WriteDesign:
PUBLIC
PROC [design:
CD.Design, to:
REF, quiet:
BOOL, emergency:
BOOL, stop:
REF
BOOL ←
NIL]
RETURNS [done:
BOOL←
FALSE] = {
--to is either a IO.STREAM, a Rope.ROPE, or NIL
--if emergency, some locks are ignored, interactive input is skipped; you better
--roll back after an emergency write is done
InnerWriteDesign:
PROC [h: TokenIO.Handle, design:
CD.Design] = {
ENABLE UNWIND => KillOldProps[h];
EachDirectoryEntry: CDDirectory.EachEntryAction = {
IF ob.class.inDirectory THEN EachChildInDir[ob, h];
};
directoryMark: TokenIO.Mark;
TokenIO.WriteRope[h, DesignNameForFile[design]];
TokenIO.WriteRope[h, TimeStamp[]];
directoryMark ← TokenIO.MarkAndWriteInt[h, 0]; -- number of entries in directory
[] ← CDDirectory.Enumerate[design: design, action: EachDirectoryEntry];
WriteProperties[h, design.properties^];
WritePushLevel[h, design.actual];
TokenIO.UpdateMark[
h: h,
mark: directoryMark,
value: NARROW[CDProperties.GetProp[h.properties, $DirectoryCount], REF INT]^
];
TokenIO.WriteAtom[h, $EndOfDesign];
KillOldProps[h];
};
h: TokenIO.Handle;
mustClose: BOOL ← FALSE;
binFile: IO.STREAM; fileName: Rope.ROPE; sealMark: TokenIO.Mark;
[binFile, mustClose, fileName] ← OpenStream[design, to, emergency, quiet];
IF binFile=NIL THEN RETURN;
IF stop=NIL THEN stop ← NEW[BOOL←FALSE];
h ← TokenIO.CreateWriter[binFile, stop];
h.clientData ← design;
h.clientKey ← NEW[ATOM ← $UsedForIO];
CDProperties.PutProp[h.properties, $DirectoryCount, NEW[INT𡤀]];
CDProperties.PutProp[h.properties, $SimpleCount, NEW[INT𡤀]];
CDProperties.PutProp[h.properties, $RemoveAlso, NIL];
CDProperties.PutProp[h.properties, $Noisy, IF quiet THEN NIL ELSE $TRUE];
[] ← CDEvents.ProcessEvent[ev: beforeOutputEvent, design: design, x: h, listenToDont: FALSE];
TokenIO.WriteInt[h, xChipndaleFile];
TokenIO.WriteInt[h, xVersion];
sealMark ← TokenIO.MarkAndWriteInt[h, 0]; -- invalid seal; it will be fixed at the end
TokenIO.WriteAtom[h, design.technology.key];
TokenIO.WriteRope[h, design.technology.name];
IF CDEvents.ProcessEvent[ev: writeEvent, design: design, x: h, listenToDont:
TRUE].dont
THEN {
FeedbackIfNoisy[h, "output not done\n"];
RETURN
};
InnerWriteDesign[h, design];
TokenIO.UpdateMark[h, sealMark, -1]; -- validate seal
IF mustClose THEN IO.Close[binFile];
FeedbackIfNoisy[h, "\n"];
IF ~emergency
AND quiet
THEN
TerminalIO.PutF["%ldesign %g written on file %g%l\n", [rope["i"]], [rope[NameForPrint[design]]], [rope[fileName]], [rope[" "]]]
ELSE
Feedback[emergency, Rope.Cat["design ", NameForPrint[design], " written on file ", fileName, "\n"]];
IF ~quiet
THEN {
CDValue.Store[boundTo: design, key: $CDxLastFile, value: fileName];
[] ← CDEvents.ProcessEvent[afterOutputEvent, design];
};
done ← TRUE;
};
NameForPrint:
PROC [d:
CD.Design]
RETURNS [Rope.
ROPE] = {
IF ~ Rope.IsEmpty[d.name] THEN RETURN [d.name];
RETURN ["no name"];
};
DesignInReadOperation:
PUBLIC PROC [h: TokenIO.Handle]
RETURNS [
CD.Design] = {
RETURN [NARROW[h.clientData]]
};
writeEvent: CDEvents.EventRegistration = CDEvents.RegisterEventType[$WriteTechnologyPrivate];
beforeOutputEvent: CDEvents.EventRegistration = CDEvents.RegisterEventType[$BeforeOutput];
afterOutputEvent: CDEvents.EventRegistration = CDEvents.RegisterEventType[$AfterOutput];
END.