<> <> <> <> <> <> DIRECTORY DB USING [Entity, Segment, Domain], Rope USING [ROPE]; DBNames: CEDAR DEFINITIONS = BEGIN OPEN Rope, DB; EntityToName: PROC[ e: Entity, seg: Segment _ NIL ] RETURNS[ name: ROPE ]; MakeName: PROC[seg: DB.Segment, d: Domain, eName: ROPE] RETURNS[ name: ROPE ]; <> NameToEntity: PROC[ name: ROPE, create: BOOL _ FALSE ] RETURNS[ e: Entity ]; SegmentOf: PROC[ name: ROPE ] RETURNS[ segment: Segment ]; Separator: CHAR; DecomposeName: PROC[ name: ROPE ] RETURNS[ segment, domain, entity: ROPE ] END. . .