624:0b27f3512f9e | 625:d1635bf93939 |
---|---|
57 virtual void object_iterate(ObjectClosure* cl); | 57 virtual void object_iterate(ObjectClosure* cl); |
58 | 58 |
59 // Debugging | 59 // Debugging |
60 virtual void print() const PRODUCT_RETURN; | 60 virtual void print() const PRODUCT_RETURN; |
61 virtual void print_short() const PRODUCT_RETURN; | 61 virtual void print_short() const PRODUCT_RETURN; |
62 virtual void verify(bool allow_dirty) const; | 62 virtual void verify(bool allow_dirty); |
63 }; | 63 }; |