<> <> <> <> DIRECTORY Basics, IO, Rope; PartitionDefs: CEDAR DEFINITIONS = BEGIN <> <> <> <> layerNumber: TYPE = [0..39]; stripeNumber: TYPE = [0..255]; InitPartitions: PROCEDURE [FileName: Rope.ROPE]; <> <> DestroyPartitions: PROCEDURE RETURNS [fileLength: INT]; <> <> SendObjectToPartition: PROCEDURE [ Stripe: stripeNumber, Layer: layerNumber, object: Basics.UnsafeBlock]; <> ReadPartitionCreate: PROCEDURE [Stripe: stripeNumber, Layer: layerNumber] RETURNS [ s: IO.STREAM]; <> <> <> ReadObject: PUBLIC PROCEDURE [ s: IO.STREAM, object: REF TEXT ]; <> END.