valgrind and tool mon. cmds prefixes changes + doc fixes + new vgdb option
--cmd-time-out

* changed prefixes of Valgrind core monitor commands from vg. to v.
* removed prefixes of Tool monitor commands
* memcheck leak_check 'leakpossible' arg renamed to 'possibleleak'
* memcheck make_memory 'ifaddressabledefined' arg renamed to
'Definedifaddressable'
    (with uppercase D to avoid confusion with 'defined' arg).
* vgdb options
  - Some doc updates : more logical option order documentation,
       specify 'standalone' for options aimed at standalone usage.
  - added option --cmd-time-out for standalone vgdb
     (comment of Josef Weindendorfer, needed to interface with a callgrind GUI)
* updated tests according to the above.
* updated documentation according to the above.
* some additional minor doc fixes/clarifications

(Philippe Waroquiers, philippe.waroquiers@skynet.be).  Bug 214909
comment 111.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11844 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/gdbserver_tests/mcvabits.stdinB.gdb b/gdbserver_tests/mcvabits.stdinB.gdb
index 4fc1eeb..8e2d235 100644
--- a/gdbserver_tests/mcvabits.stdinB.gdb
+++ b/gdbserver_tests/mcvabits.stdinB.gdb
@@ -1,7 +1,7 @@
 # connect gdb to Valgrind gdbserver:
 target remote | ./vgdb --wait=60 --vgdb-prefix=./vgdb-prefix-mcvabits
 echo vgdb launched process attached\n
-monitor vg.set vgdb-error 999999
+monitor v.set vgdb-error 999999
 #
 #
 # insert break:
@@ -20,55 +20,55 @@
 set $0xundefined = &undefined
 #
 # Verif A-bits, V-bits, Get V-bits: A,V,G [0..9]
-eval "monitor mc.check_memory addressable 0x%x 10", $0xundefined
-eval "monitor mc.check_memory defined     0x%x 10", $0xundefined
-eval "monitor mc.get_vbits                0x%x 10", $0xundefined
+eval "monitor check_memory addressable 0x%x 10", $0xundefined
+eval "monitor check_memory defined     0x%x 10", $0xundefined
+eval "monitor get_vbits                0x%x 10", $0xundefined
 #
 # continue till //2break:
 continue
 #
 # A,V,G [0..9] after the undefinition of some bytes by executable:
-eval "monitor mc.check_memory addressable 0x%x 10", $0xundefined
-eval "monitor mc.check_memory defined     0x%x 10", $0xundefined
-eval "monitor mc.get_vbits                0x%x 10", $0xundefined
+eval "monitor check_memory addressable 0x%x 10", $0xundefined
+eval "monitor check_memory defined     0x%x 10", $0xundefined
+eval "monitor get_vbits                0x%x 10", $0xundefined
 #
 # Redefine [2..4]
 set $0xundefined_2 = (char*)$0xundefined + 2
-eval "monitor mc.make_memory defined 0x%x 3", $0xundefined_2
+eval "monitor make_memory defined 0x%x 3", $0xundefined_2
 # A,V,G
-eval "monitor mc.check_memory addressable 0x%x 10", $0xundefined
-eval "monitor mc.check_memory defined     0x%x 10", $0xundefined
-eval "monitor mc.get_vbits                0x%x 10", $0xundefined
+eval "monitor check_memory addressable 0x%x 10", $0xundefined
+eval "monitor check_memory defined     0x%x 10", $0xundefined
+eval "monitor get_vbits                0x%x 10", $0xundefined
 #
 # Undefine [2..5]
-eval "monitor mc.make_memory  undefined   0x%x 4", $0xundefined_2
+eval "monitor make_memory  undefined   0x%x 4", $0xundefined_2
 # A,V,G [0..9]
-eval "monitor mc.check_memory addressable 0x%x 10", $0xundefined
-eval "monitor mc.check_memory defined     0x%x 10", $0xundefined
-eval "monitor mc.get_vbits                0x%x 10", $0xundefined
+eval "monitor check_memory addressable 0x%x 10", $0xundefined
+eval "monitor check_memory defined     0x%x 10", $0xundefined
+eval "monitor get_vbits                0x%x 10", $0xundefined
 #
 # noaccess [2..3]
-eval "monitor mc.make_memory  noaccess    0x%x 2", $0xundefined_2
+eval "monitor make_memory  noaccess    0x%x 2", $0xundefined_2
 # A,V,G [0..1]
-eval "monitor mc.check_memory addressable 0x%x 2", $0xundefined
-eval "monitor mc.check_memory defined     0x%x 2", $0xundefined
-eval "monitor mc.get_vbits                0x%x 2", $0xundefined
+eval "monitor check_memory addressable 0x%x 2", $0xundefined
+eval "monitor check_memory defined     0x%x 2", $0xundefined
+eval "monitor get_vbits                0x%x 2", $0xundefined
 # A,V,G [2..3]
-eval "monitor mc.check_memory addressable 0x%x 2", $0xundefined_2
-eval "monitor mc.check_memory defined     0x%x 2", $0xundefined_2
-eval "monitor mc.get_vbits                0x%x 2", $0xundefined_2
+eval "monitor check_memory addressable 0x%x 2", $0xundefined_2
+eval "monitor check_memory defined     0x%x 2", $0xundefined_2
+eval "monitor get_vbits                0x%x 2", $0xundefined_2
 # A,V,G [4..9]
 set  $0xundefined_4 = (char*) $0xundefined_2 + 2
-eval "monitor mc.check_memory addressable 0x%x 6", $0xundefined_4
-eval "monitor mc.check_memory defined     0x%x 6", $0xundefined_4
-eval "monitor mc.get_vbits                0x%x 6", $0xundefined_4
+eval "monitor check_memory addressable 0x%x 6", $0xundefined_4
+eval "monitor check_memory defined     0x%x 6", $0xundefined_4
+eval "monitor get_vbits                0x%x 6", $0xundefined_4
 #
-# ifaddressabledefined undefined[0..9]
-eval "monitor mc.make_memory  ifaddressabledefined 0x%x 10", $0xundefined
+# Definedifaddressable undefined[0..9]
+eval "monitor make_memory  Definedifaddressable 0x%x 10", $0xundefined
 # A,V,G
-eval "monitor mc.check_memory addressable 0x%x 10", $0xundefined
-eval "monitor mc.check_memory defined     0x%x 10", $0xundefined
-eval "monitor mc.get_vbits                0x%x 10", $0xundefined
+eval "monitor check_memory addressable 0x%x 10", $0xundefined
+eval "monitor check_memory defined     0x%x 10", $0xundefined
+eval "monitor get_vbits                0x%x 10", $0xundefined
 #
-monitor vg.kill
+monitor v.kill
 quit