<> <> <> <<>> <> <> <> <> DIRECTORY Rope, File, IO; RopeIO: CEDAR DEFINITIONS = BEGIN ToFile: PROC [fileName, rope: Rope.ROPE, start: INT _ 0]; <> <> <> ToFileC: PROC [capability: File.Capability, rope: Rope.ROPE, start: INT _ 0]; <> FromFile: PROC [fileName: Rope.ROPE, start: INT _ 0, len: INT _ LAST[INT]] RETURNS [Rope.ROPE]; <> <> <> FromFileC: PROC [capability: File.Capability, start: INT _ 0, len: INT _ LAST[INT]] RETURNS [Rope.ROPE]; <> <<**** IO Stream Operations ****>> PutRope: PROC [stream: IO.Handle, rope: Rope.ROPE]; <> GetRope: PROC [stream: IO.Handle, len: INT _ LAST[INT]] RETURNS [rope: Rope.ROPE]; <> END.