<> <> <> <> <> <> <> <> DIRECTORY DB, ViewerClasses USING[ Viewer ], Rope USING [ROPE]; NutOps: CEDAR DEFINITIONS = BEGIN OPEN DB, Rope; <<**********************************************>> <> <<**********************************************>> IsSystemDomain:PROC[d: Domain] RETURNS[BOOLEAN]; IsSystemRelation: PROC[r: Relation] RETURNS[BOOLEAN]; IsSystemEntity:PROC[e: Entity] RETURNS[BOOLEAN]; AttributesOf: PROC[r: Relation] RETURNS[AttributeList]; <> FirstAttributeOf: PROC[r: Relation] RETURNS[Attribute]; <> EntityValued: PROC [a: Attribute] RETURNS[BOOL]; <> GetUniquenessString: PROC[a: Attribute] RETURNS[ROPE]; <> RSetSize: PROC[rs: RelshipSet] RETURNS[INT]; <> GetTuples: PROC[e: Entity, a: Attribute] RETURNS [tl: LIST OF Relship]; <> GetRelation: PROC[a: Attribute] RETURNS[r: Relation]; <> GetRefAttributes: PROC[d: Domain] RETURNS[al: LIST OF Attribute]; <> RemoveAttribute: PROC[a: Attribute, al: AttributeList] RETURNS[AttributeList]; <> AppendAttributes: PROC [al1, al2: AttributeList] RETURNS [al: AttributeList]; <> <<***********************************************>> <> <<***********************************************>> SetUpSegment: PROC[segmentFile: ROPE, seg: DB.Segment, number: NAT_ 0, makeReadOnly: BOOL_ FALSE] RETURNS [success: BOOL, readOnly: BOOL]; Do: PROC[proc: PROC[ REF ANY ], clientData: REF ANY _ NIL, reTry: BOOL _ FALSE, msgViewer: ViewerClasses.Viewer _ NIL ] RETURNS [succeeded: BOOL]; <> <> <> <> <> TryRestart: PROC[trans: DB.Transaction]; <> AtomFromSegment: PROC[ segR: ROPE ] RETURNS[ ATOM ]; IsLocalName: PROC[ segR: ROPE ] RETURNS[ BOOL ]; SafeNameOf: PROC[e: Entity] RETURNS [s: ROPE]; <> SafeSegmentOf: PROC[e: EntityOrRelship] RETURNS [s: Segment]; <> SafeDomainOf: PROC[e: Entity] RETURNS [s: Domain]; <> <<>> <<********************************************>> <<-- Routines moved from DBNames...>> <> <<********************************************>> 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 ]; DecomposeName: PROC[ name: ROPE ] RETURNS[ segment, domain, entity: ROPE ]; Separator: CHAR; END.