
DIRECTORY Atom, G3dBasic, G3dMatrix, IO, Rope, TiogaAccess;

G3dIO: CEDAR DEFINITIONS
~ BEGIN
PropList:				TYPE ~ Atom.PropList;
IntegerSequence:		TYPE ~ G3dBasic.IntegerSequence;
NatSequence:			TYPE ~ G3dBasic.NatSequence;
Pair:					TYPE ~ G3dBasic.Pair;
PairSequence:		TYPE ~ G3dBasic.PairSequence;
Quad:					TYPE ~ G3dBasic.Quad;
RealSequence:		TYPE ~ G3dBasic.RealSequence;
SurfaceSequence:	TYPE ~ G3dBasic.SurfaceSequence;
Triple:				TYPE ~ G3dBasic.Triple;
TripleSequence:		TYPE ~ G3dBasic.TripleSequence;
Matrix:				TYPE ~ G3dMatrix.Matrix;
STREAM:				TYPE ~ IO.STREAM;
ROPE:					TYPE ~ Rope.ROPE;
Writer:				TYPE ~ TiogaAccess.Writer;
FieldType:			TYPE ~ {integer, real, pair, triple, nats, none};
FieldDescription:	TYPE ~ RECORD [id: ROPE, type: FieldType];

Field:					TYPE ~ REF FieldRep;
FieldRep:				TYPE ~ RECORD [
id:								ROPE,								-- name of the field
type:							FieldType,						-- type of the field
sequence:						REF ANY							-- ref to field sequence
];

FieldSequence:		TYPE ~ REF FieldSequenceRep;
FieldSequenceRep:	TYPE ~ RECORD [
length:						NAT,
element:						SEQUENCE maxLength: INTEGER OF Field
];

Line:					TYPE ~ REF LineRep;
LineRep:				TYPE ~ RECORD [
type:							{key, blank, data, comment},	-- type of line
rope:							ROPE м NIL,						-- text of this line
index: 						INTEGER м 0,					-- current index into the rope
length: 						INTEGER м 0,					-- length of the rope
stream:						STREAM м NIL					-- the associated io stream
];
ErrorType: TYPE ~ {notFound, format, convert};

Error: ERROR [reason, lineText: ROPE, lineNumber: NAT];

ErrorReport: PROC [errorType: ErrorType, line: Line м NIL, keyWord: ROPE м NIL];

ObtainLine: PROC RETURNS [Line];

ReleaseLine: PROC [line: Line];
LineNumber: PROC [line: Line] RETURNS [INTEGER];
NextKeyWord: PROC [
stream: STREAM,
circularSearch: BOOL м FALSE,
maxNLinesToTest: CARDINAL м LAST[CARDINAL]]
RETURNS [key: ROPE];
FindKeyWord: PROC [
stream: STREAM,
keyWord: ROPE,
circularSearch: BOOL м FALSE,
maxNLinesToTest: CARDINAL м LAST[CARDINAL],
line: Line м NIL]
RETURNS [Line];
InitializeFields: PROC [keyLine: Line] RETURNS [FieldSequence];
NumberOfLinesToConvert: PROC [stream: STREAM] RETURNS [INTEGER];
NWordsInRope: PROC [line: ROPE] RETURNS [INTEGER];
GetStream: PROC [fileName: ROPE] RETURNS [STREAM];
GetLine: PROC [stream: STREAM, line: Line м NIL] RETURNS [Line];
GetDataLine: PROC [stream: STREAM, line: Line м NIL] RETURNS [Line];
GetWord: PROC [line: Line] RETURNS [ROPE];
GetInteger: PROC [line: Line] RETURNS [INTEGER];
GetReal: PROC [line: Line] RETURNS [REAL];
GetPair: PROC [line: Line] RETURNS [Pair];
GetTriple: PROC [line: Line] RETURNS [Triple];
GetNats: PROC [line: Line] RETURNS [nats: NatSequence];
ReadRope: PROC [stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE]
RETURNS [ROPE]; 

ReadInteger: PROC [stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE]
RETURNS [INTEGER]; 

ReadReal: PROC [stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE]
RETURNS [REAL]; 
ReadPair: PROC [stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE]
RETURNS [Pair];

ReadTriple: PROC [stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE]
RETURNS [Triple]; 

ReadIntegerSequence: PROC [
stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE, nElements: INT м 0]
RETURNS [IntegerSequence]; 

ReadRealSequence: PROC [
stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE, nElements: INT м 0]
RETURNS [RealSequence]; 

ReadPairSequence: PROC [
stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE, nElements: INT м 0]
RETURNS [PairSequence]; 

ReadTripleSequence: PROC [
stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE, nElements: INT м 0]
RETURNS [TripleSequence]; 

ReadSurfaceSequence: PROC [
stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE, nElements: INT м 0]
RETURNS [SurfaceSequence];

ReadFields: PROC [
stream: STREAM, keyWord: ROPE, circularSearch: BOOL м FALSE, nElements: INT м 0]
RETURNS [FieldSequence];


ReadMatrix: PROC [stream: STREAM] RETURNS [Matrix];
WritePair: PROC [stream: STREAM, p: Pair];

WriteTriple: PROC [stream: STREAM, t: Triple];

WriteJustified: PROC [stream: STREAM, r: REAL];

WriteFields: PROC [stream: STREAM, keyWord: ROPE, fields: FieldSequence]; 

WriteMatrix: PROC [stream: STREAM, m: Matrix]; 
ReadPointsPolygons: PROC [fileName: ROPE]
RETURNS [points: TripleSequence, polygons: SurfaceSequence, errorMessage: ROPE];


WritePointsPolygons: PROC [fileName: ROPE, points: TripleSequence, polygons: SurfaceSequence];
PrintPair: PROC [stream: STREAM, pair: Pair, name: ROPE м NIL];

PrintTriple: PROC [stream: STREAM, triple: Triple, name: ROPE м NIL];

PrintQuad: PROC [stream: STREAM, quad: Quad, name: ROPE м NIL];

PrintMatrix: PROC [stream: STREAM, matrix: Matrix, name: ROPE м NIL];
WriteCreate: PROC [title: ROPE] RETURNS [Writer];

WriteNode: PROC [
w: Writer,
node: ROPE,
looks: ROPE м NIL,
comment: BOOL м FALSE,
format: ATOM м NIL];

WritePartialNode: PROC [w: Writer, node: ROPE, looks: ROPE м NIL, comment: BOOL м FALSE];

WriteKey: PROC [w: Writer, key: ROPE, val1, val2, val3: IO.Value м [null[]]];
WriteNodeEnd: PROC [w: Writer];
END.
   ╝  
G3dIO.mesa
Copyright ╙ 1985, 1992 by Xerox Corporation.  All rights reserved.
Bloomenthal, July 22, 1992 1:33 pm PDT
Ken Fishkin, August 20, 1992 4:02 pm PDT
Type Declarations
Imported Types
Local Types
File Format
Data in a G3dIO file is preceded by a separate keyLine that specifyies the data format. 
This keyLine is a keyWord followed by a `~' and an arbitrary number of field descriptions. 
The field descriptions, optionally be separated by commas, consist of a colon-terminated
identifier and a case-insensitive fieldType.

A sample keyLine is: 
PointSet~ id: Integer, xyzCoords: Triple, rgbColor: Triple

The data following a keyLine is terminated by another keyLine or by end of file.  Any line
that is not a keyLine, is not a blank line, and does not begin with "--" is a dataLine and is
assumed to contain valid data whose format is defined by the preceding keyLine.

Whitespace may appear before any of the punctuations ('~', ':', or ',').

Comments begin with "--"; they may be a separate line within the file or may terminate a
dataLine or keyLine.

The file is presumed Tioga formatted.  If the file is opened elsewhere, its streamOption.tiogaRead
must be TRUE; otherwise Tioga formatting at the end of the file will be mistaken for data.
Errors
Raises Error with the proper reason.
Procedures that take a keyWord as an argument may raise ERROR Error["keyWord not found"].
Procedures that return data may raise ERROR Error["bad conversion"].
Procedures that fail to find expected data may raise ERROR ["bad format"].
Support Procedures
Obtain a line from the pool.
Release the line back to the pool.

Return the line number at which line occurs within the file; return -1 if not found.

Return the next keyWord.  The file index points to the beginning of the key line.
The keyWord search terminates after maxLinesToTest lines have been searched.

Return the line beginning with keyWord followed by "~"; line is returned with its index set
to after the "~".  If line is passed non-NIL, it is used for storage.
The file index points to the beginning of the line following the key line.
The keyWord search terminates after maxLinesToTest lines have been searched.

Allocate the fields for this keyLine, set their id's and types, but not their sequences.

Return the number of lines before next keyLine that are non-blank and non-comment.
This will not alter the stream pointer.

Return the number of words in the line.
Get Procedures
Return the opened filestream (or NIL if error in opening file).

Return the next line from the stream.  Use line if non-NIL.

Return the next dataLine.  Use line if non-NIL.

Return the next whitespace-delimited word in line, advancing the line index by one word.

Convert the next word in line to an integer and advance the line index accordingly.

Convert the next word in line to a real and advance the line index accordingly.

Convert the next two words in line to a pair and advance the line index accordingly.

Convert the next three words in line to a triple and advance the line index accordingly.

Convert the remainder of the line into a sequence of nats.
Read Procedures
The following read procedures leave the stream pointer at the end of the data read.  All
searches for a keyWord begin at the current file position.  If circularSearch is TRUE, the search
will, upon reaching end of file, resume at the file beginning and stop at the current position.

Return remainder of the key line after the keyWord.
Return integer after the key line.
Return real after the key line.

Return pair after the key line.
Return triple after the key line.

The remaining Read procedures take an optional argument, nElements.  If nElements is left
defaulted to zero, then the read procedure will attempt to convert all lines past the keyWord
line until a new keyWord line or comment line is found.  The number of such lines is first
determined by reading ahead in the file.  This can be time consuming for large files.  If the
client knows the number of such lines, however, this look-ahead can be eliminated by
supplying a positive value for nElements.
If key non-nil, search file forward from current stream position for the key; if not found,
search file from its beginning.
Read a sequence of lines from the file, beginning after the keyWord.

For example, suppose a file contains the key line:

Polygons~ index: Integer color: Triple vertices: Nats

followed by a set of lines, each containing a polygon index (integer), a color (triple) and a
sequence of vertex indices (nats).  The information could be read from the file as follows:

indices: IntegerSequence;
colors: TripleSequence;
vertices: SurfaceSequence;
polygons: FieldSequence _ IO3d.ReadFields[stream, "Polygons"];

FOR n: NAT IN [0..fields.length) DO
SELECT TRUE FROM
Rope.Equal[polygons[n].id, "index"] => indices _ NARROW[polygons[n].sequence];
Rope.Equal[polygons[n].id, "color"] => colors _ NARROW[polygons[n].sequence];
Rope.Equal[polygons[n].id, "vertices"] => vertices _ NARROW[polygons[n].sequence];
ENDCASE => NULL;
ENDLOOP;

If one wished, for example, to print the vertices of the second polygon:

IF polygons.length > 1 THEN {
FOR n: NAT IN [0..vertices[1].length) DO
Print[vertices[1][n]];
ENDLOOP; 
};
Write Procedures
Write the pair to the given stream.
Write the triple to the given stream.
Write the real to the given stream; if r >= 0, then justify with a space.
Write the fields to the stream given the keyWord.
Write the matrix to the given stream.
Points/Polys Procedures
Read points, polygons from a file.
If an error is encounted, points and polygons will be set to NIL.
The file is presumed to contain two lists:
a points list of triples preceded by the header, "~Points"
a polygon list of natSequences preceded by the header, "~Polygons"
Write points, polygons to a file.
Printing Procedures
print the value of pair on the given stream, optionally preceded by name.
print the value of triple on the given stream, optionally preceded by name.
print the value of quad on the given stream, optionally preceded by name.
print the value of matrix on the given stream, optionally preceded by name.
TiogaAccess
Create the file.
Write entire node with the given looks and format.
Add to the current node.
Add to the current node the key, in bold, and the value.

Add end of node to current node.


Э╩R  Ц"cedarcode" styleХNewlineDelimiter
Щ Щ
JЪЬ	╧eЬ6ЩBJЩ&JЩ(JШ JЪ╧k	ЬЮЬШ;JШ ЧЪ╤blnЬЮЬЮШJЪЬЮШЧheadЪ╧lЩЪаЩJЪЬЮЬШ"JЪЬЮЬШ2JЪЬЮЬШ+JЪЬ
ЮЬШJЪЬЮЬШ,JЪЬ
ЮЬШJЪЬЮЬШ,JЪЬЮЬШ1JЪЬЮЬШ"JЪЬЮЬШ0JЪЬЮЬШ#JЪЮЬЮЬЮЬЮЬШJЪЮЬЮЬЮЬШJЪЬЮЬШ%ЧЪаЩJЪЬЮЬ-Ш>JЪЬЮЬЮЬЮЬШ<JШ JЪЬЮЬЮЬ
ШЪЬЮЬЮЬШJЪЬЮЬ	╧cШ,JЪЬбШ0JЪЬЮЬЮЬбШ5JШЧJШ JЪЬЮЬЮЬШ,ЪЬЮЬЮЬШ!JЪЬЮЬШJЪЬЮЬЮЬЮЬШ2JШJШ ЧJЪЬ
ЮЬЮЬ	ШЪЬЮЬЮЬШJЪЬ)бШ8JЪЬЮЬЮЬбШ1JЪЬЮЬ
бШ<JЪЬЮЬ
бШ4JЪЬЮЬЮЬбШ9JШЧЧЧЪаЩJЪЬ/╧bЬ"ЩXJЪЬвЬ.вЬЩ[JЩXJЪв
Ьв	ЬЩ,JЩ ЩJЩ:ЧJЩ JЩZJЪЬNвЬЩ]JЩOJЩ JЩHJЩ JЪвЬPЩXJЩJЩbJЪЬ╧sЬNЩZЧЪаЩЪЬЮЬШ.JШ ЧЪ╧nЬЮЬЮЬЮЬШ7JШ ЧЪ
дЬЮЬ%ЮЬЮЬЮЬШPJЩ$JШ ЧJЪЬ8ЮЬЩYJЪЬ&ЮЬЩDJЪЬ5ЮЬЩJЧЪаЩЪд
ЬЮЬЮЬШ JЩJШ ЧЪдЬЮЬШJЩ"JЩ ЧЪд
ЬЮЬЮЬЮЬШ0JЩTJЩ ЧЪдЬЮЬШJЪЬЮЬШJЪЬЮЬЮЬШJЪЬЮЬЮЬЮЬШ+JЪЮЬЮЬШJЩQJЩLJЩ ЧЪдЬЮЬШJЪЬЮЬШJЪЬ	ЮЬШJЪЬЮЬЮЬШJЪЬЮЬЮЬЮЬШ+JЪЬЮЬШJЪЮЬШJЩ[JЪЬ)гЬЩEJЩJJЩLJЩ ЧЪдЬЮЬЮЬШ?JЩXJЩ ЧЪ
дЬЮЬ
ЮЬЮЬЮЬШ@JЩRJЩ'JЩ ЧЪ
дЬЮЬЮЬЮЬЮЬШ2JЩ'ЧЧЪаЩЪ
д	ЬЮЬЮЬЮЬЮЬШ2JЪЬ!гЬЩ?JЩ ЧЪ
дЬЮЬ
ЮЬЮЬЮЬШ@JЪЬ7гЬЩ;JЩ ЧЪ
дЬЮЬ
ЮЬЮЬЮЬШDJЪЬ+гЬЩ/JЩ ЧЪдЬЮЬЮЬЮЬШ*JЩXJЩ ЧЪд
ЬЮЬЮЬЮЬШ0JЩSJЩ ЧЪдЬЮЬЮЬЮЬШ*JЩOJЩ ЧЪдЬЮЬЮЬШ*JЩTJЩ ЧЪд	ЬЮЬЮЬ
Ш.JЩXJЩ ЧЪдЬЮЬЮЬШ7JЩ:ЧЧЪаЩJЩXJЪЬPЮЬЩaЩ_JЩ ЧЪдЬЮЬ
ЮЬЮЬЮЬЮЬШLJЪЮЬЮЬШJЩ3JШ ЧЪдЬЮЬ
ЮЬЮЬЮЬЮЬШOJЪЮЬЮЬШJЩ"JШ ЧЪдЬЮЬ
ЮЬЮЬЮЬЮЬШLJЪЮЬЮЬШJЩJЩ ЧЪдЬЮЬ
ЮЬЮЬЮЬЮЬШLJЪЮЬШJЩJШ ЧЪд
ЬЮЬ
ЮЬЮЬЮЬЮЬШNJЪЮЬШJЩ!JЩ ЧJЩYJЩ]JЩZJЩ]JЩTЩ)JШ ЧЪдЬЮЬШJЪЬЮЬЮЬЮЬЮЬЮЬШPJЪЮЬШJШ ЧЪдЬЮЬШJЪЬЮЬЮЬЮЬЮЬЮЬШPJЪЮЬШJЩ[JЩJШ ЧЪдЬЮЬШJЪЬЮЬЮЬЮЬЮЬЮЬШPJЪЮЬШJШ ЧЪдЬЮЬШJЪЬЮЬЮЬЮЬЮЬЮЬШPJЪЮЬШJШ ЧЪд╨bnЬЮЬШJЪЬЮЬЮЬЮЬЮЬЮЬШPJЪЮЬШJШ ЧЪд
ЬЮЬШJЪЬЮЬЮЬЮЬЮЬЮЬШPJЪЮЬШJШ JЩDJЩ Щ2JЩ JЩ5JЩ ЧJЩ]Щ[JЩ JЩJЩJЩJЩ>JЩ ЪЮЬЮЬЮЬЮЩ#ЪЮЬЮЬЮЩJЪЬ1ЮЬЩNJЪЬ0ЮЬЩMJЪЬ5ЮЬЩRJЪЮЬЮЬЩЧJЪЮЬЩЧЧJЩ JЩHЩ ЪЮЬЮЬЩЪЮЬЮЬЮЬЮЩ(JЩJЪЮЬЩ	ЧJЩЧЧЧJШ JЪд
ЬЮЬ
ЮЬЮЬ
Ш3ЧЪаЩЪд	ЬЮЬ
ЮЬШ*JЩ#JШ ЧЪдЬЮЬ
ЮЬШ.JЩ%JШ ЧЪдЬЮЬ
ЮЬЮЬШ/JЩIJШ ЧЪдЬЮЬ
ЮЬЮЬШJJЩ1ЧJШ ЪдЬЮЬ
ЮЬШ/JЩ%ЧЧЪаЩЪдЬЮЬЮЬШ)JЪЮЬCЮЬШPJШ JЩ"JЪЬ=гЬЩAЩ*JЩ:JЩBЧJШ ЧЪдЬЮЬЮЬ5Ш^JЩ!ЧЧЪаЩЪ
д	ЬЮЬ
ЮЬЮЬЮЬШ?JЩIJШ ЧЪ
дЬЮЬ
ЮЬЮЬЮЬШEJЩKJШ ЧЪ
д	ЬЮЬ
ЮЬЮЬЮЬШ?JЩIJШ ЧЪ
дЬЮЬ
ЮЬЮЬЮЬШEJЩKЧЧЪаЩЪдЬЮЬ	ЮЬЮЬ
Ш1JЩJШ ЧЪд	ЬЮЬШJШ
JЪЬЮЬШJЪЬЮЬЮЬШJЪЬ	ЮЬЮЬШJЪЬЮЬЮЬШJЩ2JШ ЧЪдЬЮЬЮЬ	ЮЬЮЬЮЬЮЬШYJЩJШ ЧЪдЬЮЬЮЬЮЬШMJЩ8JЩ ЧЪдЬЮЬШJЩ ЧJЩ ЧЪЮЬШJЩ JЩ ЧЧ ЕЧ    0  8>  