--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/GDBMI_catch_assert.st	Thu Jun 12 01:21:45 2014 +0100
@@ -0,0 +1,59 @@
+"{ Package: 'jv:libgdbs' }"
+
+GDBMICommand subclass:#GDBMI_catch_assert
+	instanceVariableNames:''
+	classVariableNames:''
+	poolDictionaries:''
+	category:'GDB-Core-Commands-MI'
+!
+
+!GDBMI_catch_assert class methodsFor:'documentation'!
+
+documentation
+"
+The `-catch-assert' Command
+---------------------------
+
+Synopsis
+........
+
+      -catch-assert [ -c CONDITION] [ -d ] [ -t ]
+
+   Add a catchpoint for failed Ada assertions.
+
+   The possible optional parameters for this command are:
+
+`-c CONDITION'
+     Make the catchpoint conditional on CONDITION.
+
+`-d'
+     Create a disabled catchpoint.
+
+`-t'
+     Create a temporary catchpoint.
+
+{No value for `GDBN'} Command
+.............................
+
+The corresponding {No value for `GDBN'} command is `catch assert'.
+
+Example
+.......
+
+     -catch-assert
+     ^done,bkptno='5',bkpt={number='5',type='breakpoint',disp='keep',
+     enabled='y',addr='0x0000000000404888',what='failed Ada assertions',
+     thread-groups=['i1'],times='0',
+     original-location='__gnat_debug_raise_assert_failure'}
+     (gdb)
+
+
+"
+! !
+
+!GDBMI_catch_assert methodsFor:'accessing'!
+
+operation
+	^ 'catch-assert'
+! !
+