<> <> <> <> <> <> <> <> <> DIRECTORY DB, Rope USING [ROPE]; NutOps: CEDAR DEFINITIONS = BEGIN OPEN DB, Rope; <<**********************************************>> <> <<**********************************************>> IsSystemDomain:PROC[name: Rope.ROPE] RETURNS[BOOLEAN]; IsSystemRelation: PROC[name: Rope.ROPE] RETURNS[BOOLEAN]; IsSystemEntity:PROC[name: Rope.ROPE] 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 [readOnly: BOOL]; <> Outcome: TYPE = {success, abort, error, failure}; Do: PROC[proc: PROC[REF ANY], clientData: REF ANY _ NIL] RETURNS [outcome: Outcome]; <> TryRestart: PROC[trans: DB.Transaction] RETURNS[success: BOOL, failureReason: ATOM]; <> SafeNameOf: PROC[e: Entity] RETURNS [s: ROPE]; <> SafeSegmentOf: PROC[e: EntityOrRelship] RETURNS [s: Segment]; <> SafeDomainOf: PROC[e: Entity] RETURNS [s: Domain]; <> <<>> END.