<> <> <> DIRECTORY AIS, AISFormat, Rope; ReadAIS: CEDAR DEFINITIONS = BEGIN Raster: TYPE = AIS.Raster; CreateFile: PROC [filename: Rope.ROPE, raster: Raster, overwrite: BOOLEAN _ FALSE, attributeLength: CARDINAL _ 0] RETURNS[f: AIS.FRef]; OpenFile: PROC [name: Rope.ROPE, write: BOOLEAN _ FALSE] RETURNS [f: AIS.FRef, resolution: REAL]; Resolution: PROC [filename: Rope.ROPE] RETURNS [resolution: REAL]; CloseFile: PROC [f: AIS.FRef, comment: Rope.ROPE]; END.