323 |
323 |
324 // Override. |
324 // Override. |
325 void prepare_for_verify(); |
325 void prepare_for_verify(); |
326 |
326 |
327 // Override. |
327 // Override. |
328 void verify(bool allow_dirty, bool silent); |
328 void verify(bool allow_dirty, bool silent, bool /* option */); |
329 |
329 |
330 // Override. |
330 // Override. |
331 void print() const; |
331 void print() const; |
332 void print_on(outputStream* st) const; |
332 void print_on(outputStream* st) const; |
333 virtual void print_gc_threads_on(outputStream* st) const; |
333 virtual void print_gc_threads_on(outputStream* st) const; |