diff src/share/vm/memory/universe.hpp @ 11015:7ee0d5c53c78

Merge
author chegar
date Wed, 08 May 2013 15:25:08 +0100
parents b295e132102d b06ac540229e
children ce9ecec70f99
line wrap: on
line diff
--- a/src/share/vm/memory/universe.hpp	Wed May 01 14:11:01 2013 +0100
+++ b/src/share/vm/memory/universe.hpp	Wed May 08 15:25:08 2013 +0100
@@ -449,12 +449,12 @@
 
   // Debugging
   static bool verify_in_progress() { return _verify_in_progress; }
-  static void verify(bool silent, VerifyOption option);
-  static void verify(bool silent) {
-    verify(silent, VerifyOption_Default /* option */);
+  static void verify(VerifyOption option, const char* prefix, bool silent = VerifySilently);
+  static void verify(const char* prefix, bool silent = VerifySilently) {
+    verify(VerifyOption_Default, prefix, silent);
   }
-  static void verify() {
-    verify(false /* silent */);
+  static void verify(bool silent = VerifySilently) {
+    verify("", silent);
   }
 
   static int  verify_count()       { return _verify_count; }