GDBMI_var_show_format.st
changeset 12 568a2971c977
child 78 c24e7d8bc881
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/GDBMI_var_show_format.st	Thu Jun 12 01:21:45 2014 +0100
@@ -0,0 +1,36 @@
+"{ Package: 'jv:libgdbs' }"
+
+GDBMICommand subclass:#GDBMI_var_show_format
+	instanceVariableNames:''
+	classVariableNames:''
+	poolDictionaries:''
+	category:'GDB-Core-Commands-MI'
+!
+
+!GDBMI_var_show_format class methodsFor:'documentation'!
+
+documentation
+"
+The `-var-show-format' Command
+------------------------------
+
+Synopsis
+........
+
+      -var-show-format NAME
+
+   Returns the format used to display the value of the object NAME.
+
+      FORMAT ==>
+      FORMAT-SPEC
+
+
+"
+! !
+
+!GDBMI_var_show_format methodsFor:'accessing'!
+
+operation
+	^ 'var-show-format'
+! !
+