/* (non-Javadoc)
* @see org.eclipse.cdt.debug.gdbjtag.core.jtagdevice.DefaultGDBJtagDeviceImpl#doReset(java.util.Collection)
*/
public void doReset(Collection<String> commands) {
super.addCmd(commands, "monitor resetrun");
}
/* (non-Javadoc)
* @see org.eclipse.cdt.debug.gdbjtag.core.jtagdevice.DefaultGDBJtagDeviceImpl#doDelay(int, java.util.Collection)
*/
public void doDelay(int delay, Collection<String> commands) {
super.addCmd(commands, "monitor sleep " + String.valueOf(delay));
}