/* * Written by Tomas Dosoudil * This file is distributed under BSD-style license. * */ #ifndef _OUTPUT_H_ #define _OUTPUT_H_ extern void PrintFileName(char*, int); extern void PrintPageInfo(int, int, int, int, Size); extern void PrintPageHeader(PageHeaderData*); extern void PrintPageItemPointer(int, ItemId*); extern void PrintHeapTupleHeader(HeapTupleHeader); extern void PrintHeapTupleData(HeapTupleHeader, uint32, uint32); extern void Usage(void); #endif /* _OUTPUT_H_ */