<> <> <> <> <> <> <> 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]; 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 ]; END.