<> <> <> DIRECTORY BasicTime: TYPE USING [GMT], Rope: TYPE USING [ROPE], TimeStamp: TYPE USING [Stamp]; CS: CEDAR DEFINITIONS ~ { <> z: VAR ZONE; -- use this zone to allocate all REF's <> RootName: PROC[name: Rope.ROPE] RETURNS[root: Rope.ROPE]; ShortName: PROC[name: Rope.ROPE] RETURNS[Rope.ROPE]; DirectoryPart: PROC[name: Rope.ROPE] RETURNS[Rope.ROPE]; PartialName: PROC[name: Rope.ROPE] RETURNS[BOOL]; EndsIn: PROC[str: Rope.ROPE, suf: Rope.ROPE] RETURNS[BOOL]; GMTFromRope: PROC[r: Rope.ROPE] RETURNS[val: BasicTime.GMT]; RopeFromGMT: PROC[val: BasicTime.GMT] RETURNS[Rope.ROPE]; StampFromRope: PROC[r: Rope.ROPE] RETURNS[TimeStamp.Stamp]; RopeFromStamp: PROC[stamp: TimeStamp.Stamp] RETURNS[Rope.ROPE]; <> Init: PROC; }.