-- File: DBNames.mesa
-- Implemented By: DBNamesImpl
-- Last edited by
  -- Cattell, July 5, 1983 4:48 pm
  -- Donahue, July 28, 1983 2:58 pm
  -- Willie-sue, February 22, 1983 3:47 pm

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 ];
  -- MakeName is useful when the entity might not exist yet
  
  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. . .