<> <> <> <> <> <> <> <> DIRECTORY DBCommon USING [Segment, CacheHandle, TID], DBStorage USING [TupleHandle]; DBStorageTuple: CEDAR DEFINITIONS = BEGIN <> InitSegmentTuples: PUBLIC PROC [segment: DBCommon.Segment]; <> ConsTupleObject: PROC [tid: DBCommon.TID, cacheHint: DBCommon.CacheHandle _ NIL] RETURNS [DBStorage.TupleHandle]; <> TIDOfTuple: PROC [x: DBStorage.TupleHandle] RETURNS [DBCommon.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