DIRECTORY
Ascii USING [Control, Digit, Upper],
BtoT,
Commander USING [CommandProc, Register],
CommandTool USING [Failed, ParseToList, ResolveRelativePath],
RefText USING [AppendChar, ObtainScratch, ReleaseScratch],
Rope USING [Concat, Equal, Fetch, FromRefText, IsEmpty, Length, ROPE, Substr],
FS USING [Error, StreamOpen],
IO,
TiogaFileOps;

BravoToTioga: CEDAR PROGRAM
IMPORTS Ascii, Commander, CommandTool, RefText, Rope, FS, IO, TiogaFileOps
EXPORTS BtoT =
BEGIN
ROPE: TYPE = Rope.ROPE;

RCList: TYPE = LIST OF RECORD[coms: CList, span: INT];
CList: TYPE = LIST OF CHAR;

BtoTError: ERROR[c: CHAR, s1, s2: ROPE] = CODE;

TokenProc: IO.BreakProc = TRUSTED {
RETURN[SELECT char FROM
IO.SP, IO.TAB, IO.CR, ', => sepr, 
'_ => break,
ENDCASE => other];
};

Command: Commander.CommandProc = {
fileNames: LIST OF ROPE;
actualOutputName: ROPE;
errors: ROPE;
args: LIST OF ROPE;
nArgs: NAT;
outputName: ROPE _ NIL;
IsArrow: PROC [r: ROPE] RETURNS [BOOL] = { RETURN[Rope.Equal[r, "_"]]; };
[list: args, length: nArgs] _ CommandTool.ParseToList[cmd ! CommandTool.Failed => {msg _ errorMsg; CONTINUE; }];
IF NOT msg.IsEmpty[] THEN RETURN[$Failure, msg];
FOR l: LIST OF Rope.ROPE _ args, l.rest WHILE l # NIL DO
l.first _ CommandTool.ResolveRelativePath[l.first];
ENDLOOP;
SELECT nArgs FROM
0 => GOTO SyntaxError;
1 => {
IF IsArrow[args.first] THEN GOTO SyntaxError;
outputName _ NIL;
fileNames _ args;
};
2 => {
IF IsArrow[args.rest.first] THEN GOTO SyntaxError;
IF IsArrow[args.first] THEN {
outputName _ NIL;
fileNames _ args.rest;
}
ELSE {
outputName _ NIL;
fileNames _ args;
};
};
ENDCASE => {
IF IsArrow[args.rest.first] THEN {
outputName _ args.first;
fileNames _ args.rest.rest;
}
ELSE {
outputName _ NIL;
fileNames _ args;
};
};
[actualOutputName: actualOutputName, errors: errors] _ BravoToTioga[fileNames: fileNames, outputName: outputName];
IF errors.Length[] > 0 THEN {
result _ $Failure;
msg _ errors;
}
ELSE msg _ Rope.Concat[actualOutputName, " written.\n"];
EXITS
SyntaxError => {
result _ $Failure;
msg _ "Correct syntax: BravoToTioga { outputFile _ } input1 input2 ...\n";
};
};

CharProc: TYPE = PROC [char: CHAR] RETURNS [keep: BOOL];

GetSequence: PROC [str: IO.STREAM, cp: CharProc] RETURNS [r: ROPE] = {
buf: REF TEXT _ RefText.ObtainScratch[100];
c: CHAR;
DO
c _ str.GetChar[];
IF cp[c] THEN buf _ RefText.AppendChar[buf, c]
ELSE {
str.Backup[c];
EXIT;
};
ENDLOOP;
r _ Rope.FromRefText[buf];
RefText.ReleaseScratch[buf];
};

DotPos: PROC [r: Rope.ROPE] RETURNS [INT] = {
len: INT _ r.Length[];
FOR pos: INT DECREASING IN [0..len) DO
SELECT r.Fetch[pos] FROM
'. => RETURN[pos];
'/, '>, '] => RETURN[len];
ENDCASE;
ENDLOOP;
RETURN[len];
};

NextParagraph: PROC [str: IO.STREAM]
RETURNS [content: ROPE, paragraphData: ROPE, runCoding: ROPE] = {
ToControlZ: CharProc = {RETURN[char#Ascii.Control['Z]]};
ToBackslash: CharProc = {RETURN[char#'\\ AND char#IO.CR]};
ToCR: CharProc = {RETURN[char#IO.CR]}; 

content _ GetSequence[str, ToControlZ];
[] _ str.GetChar[];	-- throw away ^Z
paragraphData _ GetSequence[str, ToBackslash];
IF str.PeekChar[]='\\ THEN {
[] _ str.GetChar[]; runCoding _ GetSequence[str, ToCR]}
ELSE runCoding_"";
IF str.PeekChar[ ! IO.EndOfStream => CONTINUE] = IO.CR THEN [] _ str.GetChar[];
};
GetINT: PROC[stream: IO.STREAM] RETURNS [value: INT _ 0] = {
WHILE NOT stream.EndOf[] AND stream.PeekChar[] IN ['0..'9] DO
value _ value * 10 + (stream.GetChar[] - '0);
ENDLOOP;
};
Attr: PROC[s: ROPE, a: CHAR, dflt: INT _ 0]
	RETURNS [present: BOOLEAN _ FALSE, val: INT] = {
i, j, k: INT;
digit: CHAR;
sl: INT = s.Length[];
val _ dflt;
FOR i IN [0..sl) DO
IF s.Fetch[i]=a THEN {
value: INT _ 0;
FOR k IN (i .. sl) UNTIL Ascii.Digit[(digit _ s.Fetch[k])] DO NULL ENDLOOP;
present _ TRUE;
FOR j IN [k .. sl) WHILE Ascii.Digit[(digit _ s.Fetch[j])] DO 
val _ value _ value * 10 + (digit - '0);
ENDLOOP };
ENDLOOP;
};
SectionNum: PROC[s: ROPE] RETURNS [present: BOOLEAN _ FALSE] = {
sl: INT = s.Length[];
i, nj: INT;
IF s.IsEmpty[] THEN RETURN[FALSE];
i _ 0;
DO
FOR nj IN [i .. sl) WHILE s.Fetch[nj] IN ['0..'9] DO NULL ENDLOOP;
IF s.Fetch[nj]='. THEN {i _ nj+1; LOOP} ELSE RETURN [i#0];
ENDLOOP};
PSx: TYPE = [0..20);
FmtType: TYPE = {root, block, center, contents, continuation, display, example, head, head1, head2, head3, head4, head5, indent, item, lead1, lead2, lead3, logo, memoHead, note, pageBreak, quote, reference, table, table1, table2, table3, title, subtitle};
FmtRopes: ARRAY FmtType OF ROPE = ["root", "block", "center", "contents", "continuation", "display", "example", "head", "head1", "head2", "head3", "head4", "head5", "indent", "item", "lead1", "lead2", "lead3", "logo", "memoHead", "note", "pageBreak", "quote", "reference", "table", "table1", "table2", "table3", "title", "subtitle"];
BravoToTioga: PUBLIC PROC[fileNames: LIST OF ROPE, outputName: ROPE _ NIL]
RETURNS[actualOutputName: ROPE _ NIL, errors: ROPE _ NIL] = {
st: IO.STREAM;
ParentStack: ARRAY PSx OF RECORD[node: TiogaFileOps.Ref, indent: INT, format: FmtType];
psp: PSx;
node: TiogaFileOps.Ref;
format: FmtType;
root: TiogaFileOps.Ref;
fileName, rootName: ROPE;
dotPos: INT;
indent: INT;
FOR fl: LIST OF ROPE _ fileNames, fl.rest UNTIL fl = NIL DO
fileName _ fl.first;
dotPos _ DotPos[fileName];
IF Rope.Equal[Rope.Substr[fileName, dotPos], ".tioga", FALSE] THEN {
errors _ Rope.Concat[fileName, " is already a tioga file\n"];
RETURN[NIL, errors];
};
IF dotPos = fileName.Length[] THEN {
rootName _ fileName;
fileName _ fileName.Concat[".bravo"];
}
ELSE rootName _ fileName.Substr[0, dotPos];
IF fl = fileNames THEN {	-- determine the output file name the first time and create Tioga root
actualOutputName _ IF outputName.IsEmpty[] THEN rootName.Concat[".tioga"] ELSE outputName;
root _ TiogaFileOps.CreateRoot[];
TiogaFileOps.SetStyle[root, "Cedar"];
node _ root;
ParentStack[0] _ [node: root, indent: 0, format: root] };
st _ NIL;
st _ FS.StreamOpen[fileName, $read ! FS.Error => {
IF error.group = $user THEN {
errors _ error.explanation;
CONTINUE;
};
}];
IF NOT errors.IsEmpty[] OR st = NIL THEN RETURN[NIL, errors];
psp _ 0;
UNTIL st.EndOf[] DO
c, p, r: ROPE;
[content: c, paragraphData: p, runCoding: r] _ NextParagraph[st];
indent _ Attr[p, 'l, 3000].val;
UNTIL psp<=1 OR indent >= ParentStack[psp].indent DO psp _ psp-1 ENDLOOP;
SELECT TRUE FROM	-- decide on a format
NOT c.IsEmpty[] AND c.Fetch[0] = '( AND ParentStack[psp].format=block OR ParentStack[psp].format=item => format _ item;
Attr[p, 'e].val>=18 AND Attr[p, 'c].present AND Attr[p, 'k].val>=360 =>
format _ title;
Attr[p, 'k].val>=36 AND SectionNum[c] => format _ head;
Attr[p, 'c].present => format _ center;
ENDCASE => format _ block;
SELECT TRUE FROM
format=head AND ParentStack[psp].format#head	=> psp _ MAX[1, psp-1];
indent>ParentStack[psp].indent OR
ParentStack[psp].format=title OR
ParentStack[psp].format=head OR
(ParentStack[psp].format#item AND format=item) => psp _ MIN[LAST[PSx], psp+1];
ENDCASE;
ParentStack[psp] _ [node: (node _ TiogaFileOps.InsertAsLastChild[ParentStack[psp-1].node]),
						indent: indent, format: format];
TiogaFileOps.SetContents[node, c];
TiogaFileOps.SetFormat[node, FmtRopes[format]];
{here: INT _ 0;
FOR l: RCList _ ParseRC[r, c.Length[]], l.rest UNTIL l=NIL DO
c: CList _ l.first.coms;
UNTIL c=NIL DO
SELECT c.first FROM
'f => {d: CHAR =  c.rest.first;
x: INT;
c _ c.rest;
IF d='2 THEN {
TiogaFileOps.SetFormat[node, FmtRopes[format_logo]];
ParentStack[psp].format _ format}
ELSE {
x _ ComputeRun[l, 'f];
SELECT d FROM
'0 => NULL; 
'1 => TiogaFileOps.AddLooks[node, here, x, 's, root]; 
'2 => NULL; 
'3 => TiogaFileOps.AddLooks[node, here, x, 'm, root]; 
'4 => TiogaFileOps.AddLooks[node, here, x, 'g, root]; 
'5 => TiogaFileOps.AddLooks[node, here, x, 'l, root];
'6 => TiogaFileOps.AddLooks[node, here, x, 'o, root]; 
'7 => {TiogaFileOps.AddLooks[node, here, x, 'o, root];
TiogaFileOps.AddLooks[node, here, x, 's, root]};
'8 => TiogaFileOps.AddLooks[node, here, x, 'f, root]; 
'9 => {TiogaFileOps.AddLooks[node, here, x, 'o, root];
TiogaFileOps.AddLooks[node, here, x, 'x, root];
TiogaFileOps.AddLooks[node, here, x, 'l, root]};
ENDCASE}}; 
't, 'o => c _ c.rest;
'b, 'i, 'z => {TiogaFileOps.AddLooks[node, here, ComputeRun[l, Ascii.Upper[c.first]], c.first, root]};
'u, 'd =>  {TiogaFileOps.AddLooks[node, here, ComputeRun[l, 'D], c.first, root]};
ENDCASE;
c _ c.rest;
ENDLOOP;
here _ here + l.first.span;
ENDLOOP};
ENDLOOP;
st.Close[];
ENDLOOP;
TiogaFileOps.Store[root, actualOutputName];
};
ParseRC: PROC[r: ROPE, l: INT] RETURNS[RCList] = {
ms: IO.STREAM _ IO.RIS[r];
P: PROC RETURNS [RCList] = {
IF ms.EndOf[] THEN RETURN [NIL];
{c: CList = GetComs[];
i: INT = GetSpan[];
RETURN[CONS[[c, i], P[]]]}};
GetComs: PROC RETURNS [CList] = {
IF ms.EndOf[] THEN RETURN[NIL];
SELECT ms.PeekChar[] FROM
'o => {
[] _ ms.GetChar[]; 
{n: INT = GetINT[ms]; -- n>128 implies subscript, n=0 implies neither
RETURN[CONS[(IF n=0 THEN 'D ELSE IF n>128 THEN 'd ELSE 'u),
				GetComs[]]]
}};
'f, 't=> {RETURN[CONS[ms.GetChar[], CONS[ms.GetChar[], GetComs[]]]]};
'b, 'i, 'B, 'I, 'v, 'V, 'g, 'G, 's, 'S  =>
RETURN[CONS[ms.GetChar[], GetComs[]]];
'u  => {[] _ ms.GetChar[]; RETURN[CONS['z, GetComs[]]]};
'U  => {[] _ ms.GetChar[]; RETURN[CONS['Z, GetComs[]]]};
'  => {[] _ ms.GetChar[]; RETURN[NIL]};
IN ['0..'9] => RETURN[NIL];
ENDCASE => ERROR BtoTError[ms.PeekChar[], " unexpected in trailer ", r]};
GetSpan: PROC RETURNS[n: INT] = {
IF ms.EndOf[] THEN RETURN[l];
n _ GetINT[ms];
l _ l-n};
RETURN[P[]]};

ComputeRun: PROC[l: RCList, stop: CHAR] RETURNS [i: INT] =
{i _ l.first.span;
FOR x: RCList _ l.rest, x.rest UNTIL x=NIL DO
FOR t: CList _ x.first.coms, t.rest UNTIL t=NIL DO
IF t.first=stop THEN RETURN;
ENDLOOP;
i _ i+x.first.span;
ENDLOOP};

Commander.Register["BravoToTioga", Command, "Conversion program: BravoToTioga [output] _ input1 input2 ... "];

END.
December 29, 1983 11:40 am, Stewart, Cedar 5
December 31, 1983 9:22 am, MBrown, rope = NIL bugs
December 31, 1983 9:35 am, MBrown, CommandTool.ResolveRelativePath[args.first] -> CommandTool.ResolveRelativePath[l.first]

¾BravoToTioga.mesa, Jim Morris, July 12, 1982 3:35 pm
last written by Bill Paxton, November 30, 1982 9:20 am
Last Edited by: Plass, March 16, 1983 11:18 am
Last Edited by: Mitchell, June 3, 1983 6:06 pm
Last Edited by: Stewart, December 29, 1983 11:40 am
Last Edited by: MBrown, December 31, 1983 9:35 am

Returns position of the . denoting the extension
CharProc: TYPE = PROC [char: CHAR] RETURNS [quit: BOOL _ FALSE, include: BOOL _ TRUE]
�Ê
Ÿ˜Jš
œ4™4Jš
œ6™6J™.J™.J™3J™2š
Ïk	˜	Jšœ�œ˜$J˜Jšœ
�œ˜(Jšœ�œ,˜=Jšœ�œ-˜:Jšœ�œ6�œ
˜NJš�œ
�œ˜Jš�œ
˜J˜
J˜—Jšœ�œ
�˜Jš�œ/�œ�œ˜JJš�œ˜Jš
�˜Jš�œ�œ�œ
˜J˜Jšœ�œ�œ
�œ
�œ�œ˜6Jš	œ�œ�œ
�œ
�œ
˜J˜Jš	œ�œ�œ
�œ�œ
˜/J˜šœ�œ
�œ˜#š�œ
�œ�˜Jš�œ
�œ�œ
�œ�œ
�œ˜"Jš
œ˜Jš�œ˜—Jš
œ˜—J˜š
œ"˜"Jšœ�œ
�œ
�œ
˜Jšœ�œ
˜Jšœ�œ
˜
Jšœ�œ
�œ
�œ
˜Jšœ�œ
˜Jšœ�œ�œ
˜JšÏnœ�œ�œ�œ�œ�œ˜IJšœc�œ˜pJš�œ
�œ�œ
�œ˜0š
�œ�œ
�œ�œ�œ�œ
�˜8J˜3Jš�œ
˜—š�œ�˜Jšœ�œ
˜˜Jš�œ�œ
�œ
˜-Jšœ
�œ
˜Jš
œ˜J˜—˜Jš�œ�œ
�œ
˜2š�œ�œ˜Jšœ
�œ
˜Jš
œ˜J˜
—š�œ˜Jšœ
�œ
˜Jš
œ˜J˜—J˜—š�œ˜š�œ�œ˜"Jš
œ˜Jš
œ˜J˜
—š�œ˜Jšœ
�œ
˜Jš
œ˜J˜—J˜——Jš
œr˜rš�œ�œ˜J˜J˜
J˜
—Jš�œ4˜8Jš
�˜š
œ˜Jš
œ˜Jš
œJ˜JJš
œ˜—Jš
œ˜—J˜Jšžœ�œ�œ�œ�œ�œ˜8J˜šžœ�œ�œ
�œ�œ�œ˜FJšœ�œ
�œ˜+Jšœ�œ
˜š
�˜J˜Jš�œ�œ!˜.š�œ˜Jš
œ˜Jš�œ
˜J˜—Jš�œ
˜—Jš
œ˜Jš
œ˜J˜—J˜J™0š
žœ�œ
�œ�œ�œ˜-Jšœ�œ˜š	�œ�œ
�
œ
�œ
�˜&š�œ�˜Jšœ�œ˜Jšœ�œ˜Jš�œ
˜—Jš�œ
˜—Jš�œ˜J˜—J˜šž
œ�œ�œ
�œ
˜$Jš�œ�œ�œ
�œ˜AJš
œU™UJšœ�œ˜8Jš	œ�œ
�œ�œ
�œ˜:Jšœ�œ�œ
�œ˜'J˜Jš
œ'˜'JšœÏc˜$Jš
œ.˜.š�œ�œ˜Jš
œ7˜7—Jš�œ˜Jš�œ�œ�œ�œ
�œ
�œ˜OJš
œ˜—
unitšžœ�œ	�œ
�œ�œ	�œ	˜<š	�œ
�œ�œ�œ
�˜=Jš
œ-˜-Jš�œ
˜—Jš
œ˜—šžœ�œ�œ�œ�œ�œ�œ�œ�œ˜]Jšœ	�œ
˜
Jšœ�œ
˜Jšœ�œ˜Jš
œ˜š�œ�œ	�˜š�œ�œ˜Jšœ�œ˜Jš�œ�œ�œ#�œ
�œ
�œ
˜KJšœ
�œ
˜š�œ�œ�œ#�œ
˜>Jš
œ(˜(Jš�œ˜
—Jš�œ
˜——Jš
œ˜—šž
œ�œ�œ�œ�œ�œ˜@Jšœ�œ˜Jšœ�œ
˜Jš�œ
�œ
�œ
�œ˜"J˜š
�˜Jš�œ�œ�œ
�œ
�œ
�œ
�œ
˜BJš
�œ�œ�œ�œ
�œ˜:Jš�œ˜	——Kšœ�œ˜Kšœ	�œò
˜ÿ
Kšœ
�œ	�œ
�œ®˜Íšžœ�œ
�œ�œ
�œ
�œ�œ�œ
˜JJš
�œ�œ�œ
�œ�œ˜=Jšœ�œ
�œ
˜Jš	œ
�œ�œ
�œ!�œ˜WJš
œ	˜	Jš
œ˜J˜Jš
œ˜Jšœ�œ
˜Jšœ�œ
˜Jšœ�œ
˜š
�œ�œ
�œ
�œ�œ�œ
�˜;Jš
œ˜Jš
œ˜š�œ5�œ�œ˜DJš
œ=˜=Jš�œ
�œ
˜J˜—š�œ�œ˜$Jš
œ˜Jš
œ%˜%Jš
œ
˜
—Jš�œ'˜+š�œ�œŸF˜_Jšœ�œ�œ�œ˜ZJš
œ!˜!Jš
œ%˜%J˜J˜9—Jšœ�œ
˜	šœ�œ�œ˜2š�œ�œ˜Jš
œ˜Jš�œ
˜	Jš
œ˜—Jš
œ˜—Jš�œ
�œ�œ�œ
�œ
�œ
�œ
˜=J˜š�œ�˜Jšœ	�œ
˜Jš
œA˜AJš
œ˜Jš�œ�œ#�œ
�œ
˜Iš�œ
�œ
�œ
Ÿ˜&Jš�œ
�œ�œ�œ/˜wšœ�œ�œ˜GJš
œ˜—Jšœ�œ ˜7Jš
œ'˜'Jš�œ˜—š�œ
�œ
�˜Jšœ�œ'�œ˜DJš
œ�œ�œ�œ�œ�œ
�œ˜±
Jš�œ
˜—Jš
œ‚
˜‚
Jš
œ"˜"Jš
œ/˜/Jšœ�œ˜š�œ,�œ�œ
�˜=J˜š�œ�œ
�˜š�œ	�˜šœ
�œ˜Jšœ�œ
˜J˜š�œ�œ˜Jš
œ4˜4Jš
œ!˜!—š�œ˜Jš
œ˜Jš�œ�˜
Jšœ�œ˜Jš
œ6˜6Jšœ�œ˜Jš
œ6˜6Jš
œ6˜6Jš
œ5˜5Jš
œ6˜6š
œ6˜6Jš
œ0˜0—Jš
œ6˜6š
œ6˜6Jš
œ/˜/Jš
œ0˜0—Jš�œ˜——J˜Jš
œf˜fJš
œQ˜QJš�œ
˜J˜Jš�œ
˜—J˜Jš�œ˜	—Jš�œ
˜—J˜Jš�œ
˜—Jš
œ+˜+Jš
œ˜—š
žœ�œ�œ�œ�œ˜2Jš	œ�œ
�œ�œ
�œ˜š�
œ�œ
�œ
˜Jš�œ�œ
�œ�œ˜ ˜Jšœ�œ
˜Jš�œ
�œ	�
œ˜——šžœ�œ
�œ˜!Jš�œ�œ
�œ
�œ˜š�œ�˜˜˜Jšœ�œŸ/˜EJš�œ
�œ�œ�œ�œ
�œ�œ�œ˜KJš
œ˜——Jšœ
�œ
�œ�œ˜Eš
œ*˜*Jš�œ
�œ˜&—Jšœ�œ
�œ˜8Jšœ�œ
�œ˜8Jšœ�œ
�œ˜'Jš�œ
�œ
�œ˜Jš�œ�œ9˜I——šžœ�œ
�œ�œ˜!Jš�œ�œ
�œ˜Jš
œ˜J˜	—š�œ
�
œ˜
J˜——š
ž
œ�œ�œ�œ�œ˜:˜š�œ�œ�œ
�˜-š�œ!�œ�œ
�˜2Jš�œ�œ
�œ
˜Jš�œ
˜—J˜Jš�œ˜	J˜————J˜nJ˜Jš�œ
˜J˜,Jšœ*�œ˜2Jš
œz˜z—…—'6e