<<>> <> <> <> <> <> <> <> <<>> DIRECTORY GGCoreTypes, Imager, ImagerColor, ImagerTransformation, IO, Rope, Tioga; GGParseIn: CEDAR DEFINITIONS = BEGIN BoundBox: TYPE = GGCoreTypes.BoundBox; Color: TYPE = Imager.Color; Point: TYPE = Imager.VEC; SequenceOfReal: TYPE = GGCoreTypes.SequenceOfReal; STREAM: TYPE = IO.STREAM; SyntaxError: SIGNAL [position: NAT, wasThere: Rope.ROPE, notThere: Rope.ROPE]; <> ReadBlank: PROC [f: STREAM]; <> ReadWhiteSpace: PROC [f: STREAM]; <> ReadHorizontalBlank: PROC [f: STREAM] RETURNS [good: BOOL]; <> <> ReadWord: PROC [f: STREAM] RETURNS [word: Rope.ROPE]; <> ReadRope: PROC [f: STREAM, rope: Rope.ROPE]; <> ReadChar: PROC [f: STREAM, c: CHAR]; <> ReadLine: PROC [f: STREAM] RETURNS [line: Rope.ROPE]; <> ReadKeyWord: PROC [f: STREAM] RETURNS [keyWord: Rope.ROPE, good: BOOL]; <> ReadListOfRope: PROC [f: STREAM] RETURNS [ropeList: LIST OF Rope.ROPE]; <> <> ReadStrokeEnd: PROC [f: STREAM] RETURNS [strokeEnd: Imager.StrokeEnd]; ReadStrokeJoint: PROC [f: STREAM] RETURNS [strokeJoint: Imager.StrokeJoint]; ReadColor: PROC [f: STREAM, version: REAL] RETURNS [color: Color]; ReadPixelArray: PROC [f: STREAM] RETURNS [pa: Imager.PixelArray]; ReadText: PROC [f: STREAM, version: REAL] RETURNS [text: Tioga.Node, screenStyle: BOOL]; ReadPoint: PROC [f: STREAM] RETURNS [point: Point]; ReadTransformation: PROC [f: STREAM] RETURNS [transform: ImagerTransformation.Transformation]; ReadFactoredTransformation: PROC [f: STREAM] RETURNS [transform: ImagerTransformation.Transformation]; ReadFactoredTransformationVEC: PROC [f: STREAM] RETURNS [transform: ImagerTransformation.Transformation]; <> ReadArrayOfReal: PROC [f: STREAM] RETURNS [reals: SequenceOfReal]; <> ReadBool: PROC [f: STREAM] RETURNS [truth: BOOL]; <> ReadNAT: PROC [f: STREAM] RETURNS [n: NAT]; ReadCARD: PROC [f: STREAM] RETURNS [n: CARD]; <> ReadReal: PROC [f: STREAM] RETURNS [r: REAL]; ReadScalarButtonValues: PROC [f: STREAM, version: REAL] RETURNS [names: LIST OF Rope.ROPE, values: LIST OF REAL, on: LIST OF BOOL]; <> <> <> ReadBox: PROC [f: STREAM] RETURNS [box: BoundBox]; END.