Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Dump.hpp

Go to the documentation of this file.
00001 
00027 //
00028 //  file Dump.hpp
00029 //  defines class Dump
00030 //
00031 
00032 
00033 #ifndef __Dump__
00034 #define __Dump__
00035 
00036 
00037 // class ostream;
00038 
00039 
00040 enum DumpTag {
00041   DUMP_UNIT = 0
00042 };
00043 
00044 
00045 class Unit;
00046 
00047 
00048 // ******************* class Dump, definition *********************
00049 
00050 
00051 class Dump {
00052  public:
00053   // constructor
00054   Dump (ostream& dump);
00055 
00056   // dump various types
00057   void pointer (void*);
00058   void unit (const Unit& unit);
00059 
00060  private:
00061   ostream& _dump;
00062   int _nextPointer;
00063 }; // class Dump
00064 
00065 
00066 // ******************* class Dump, implementation *********************
00067 
00068 
00069 #endif // __Dump__

Generated on Sat Jun 28 15:08:57 2003 for Vampire by doxygen 1.3.2