-- File: DBNames.mesa
-- Implemented By: DBNamesImpl
-- last edited by Donahue, May 20, 1983 9:52 am
-- Last Edited by: Willie-sue, February 22, 1983 3:47 pm

DIRECTORY
DB USING [Entity, Segment],
Rope USING [ROPE];

DBNames: CEDAR DEFINITIONS =
BEGIN OPEN Rope, DB;

EntityToName: PROC[ e: Entity, seg: Segment ← NIL ] RETURNS[ name: ROPE ];

NameToEntity: PROC[ name: ROPE ] RETURNS[ e: Entity ];

SegmentOf: PROC[ name: ROPE ] RETURNS[ segment: Segment ];

Separator: CHAR;

END. . .