624:0b27f3512f9e | 625:d1635bf93939 |
---|---|
96 // Debugging | 96 // Debugging |
97 virtual void print() const; | 97 virtual void print() const; |
98 virtual void print_on(outputStream* st) const; | 98 virtual void print_on(outputStream* st) const; |
99 virtual void print_short() const; | 99 virtual void print_short() const; |
100 virtual void print_short_on(outputStream* st) const; | 100 virtual void print_short_on(outputStream* st) const; |
101 virtual void verify(bool allow_dirty) const; | 101 virtual void verify(bool allow_dirty); |
102 }; | 102 }; |