<> <> <> <> <> <> <> <> DIRECTORY DBCommon USING [Segment, CacheHandle], DBStorage USING [TupleHandle], DBStorageTID USING [TID]; DBStorageTuple: CEDAR DEFINITIONS = BEGIN <> <> <> <> InitSegmentTuples: PUBLIC PROC [segment: DBCommon.Segment]; <> ConsTupleObject: PROC [tid: DBStorageTID.TID, cacheHint: DBCommon.CacheHandle _ NIL] RETURNS [DBStorage.TupleHandle]; <> TIDOfTuple: PROC [x: DBStorage.TupleHandle] RETURNS [DBStorageTID.TID]; <> EqualTuple: PROC [x, y: DBStorage.TupleHandle] RETURNS [BOOLEAN]; <> NullTupleHandle: PROC [] RETURNS [DBStorage.TupleHandle]; <> <> InvalidateMatchingTuples: PROC [x: DBStorage.TupleHandle]; <> IsValidTuple: PROC [x: DBStorage.TupleHandle] RETURNS [valid: BOOL]; <> <> InvalidateTuple: PROC [x: DBStorage.TupleHandle]; <> CallAfterFinishTransaction: PROC [s: DBCommon.Segment]; <> <> PrintTupleObject: PROC [t: DBStorage.TupleHandle]; <> CheckState: PROC [segment: DBCommon.Segment, doPrinting: BOOLEAN _ FALSE]; <> <> END.--DBStorageTuple