-- 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. . .