| 1786 | } |
| 1787 | |
| 1788 | static void debug_mi_format_breakpoint( int id ) |
| 1789 | { |
| 1790 | struct breakpoint * ptr = &breakpoints[ id - 1 ]; |
| 1791 | printf( "bkpt={" ); |
| 1792 | printf( "number=\"%d\"", id ); |
| 1793 | printf( ",type=\"breakpoint\"" ); |
| 1794 | printf( ",disp=\"keep\"" ); /* FIXME: support temporary breakpoints. */ |
| 1795 | printf( ",enabled=\"%s\"", ptr->status == BREAKPOINT_ENABLED ? "y" : "n" ); |
| 1796 | /* addr */ |
| 1797 | if ( ptr->line == -1 ) |
| 1798 | { |
| 1799 | printf( ",func=\"%s\"", object_str( ptr->file ) ); |
| 1800 | } |
| 1801 | else |
| 1802 | { |
| 1803 | printf( ",file=\"%s\"", object_str( ptr->file ) ); |
| 1804 | printf( ",line=\"%d\"", ptr->line ); |
| 1805 | printf( ",fullname=\"%s\"", object_str( ptr->file ) ); |
| 1806 | } |
| 1807 | /* fullname */ |
| 1808 | /* times */ |
| 1809 | // printf( "" ); |
| 1810 | printf( "}" ); |
| 1811 | } |
| 1812 | |
| 1813 | static int breakpoint_id_parse( const char * name ) |
| 1814 | { |
no test coverage detected