def t_C_STRING(t):
# r'".*?[^\\|^\\\\]?"(?=(,|\}|\]|$))'
r'".*?(?<!\\)"(?=(,|\}|\]|$))'
t.value = unBackslashify(t.value)
t.value = t.value[1:-1] # strip the "
# print "...", t
return t
def executeCliCommand(self):
cmd = str(self.gdbInputEdit.lineEdit().text())
self.gdbInputEdit.lineEdit().setText("")
res = self.debug_controller.executeCliCommand(cmd)
# print the command in the IO edit
s = STYLESHEET + "<span class=\"gdbconsole_output_ok\">"+cmd+"</span><br>\n"
if res:
s += "<span class=\"gdbconsole_output_error\">"+unBackslashify(res)+"</span><br>\n"
self.gdbIoEdit.moveCursor(QTextCursor.End)
self.gdbIoEdit.insertHtml(s)
self.gdbIoEdit.moveCursor(QTextCursor.End)
def handleConsoleRecord(self, rec):
if rec.type_ == GdbOutput.CONSOLE_STREAM:
self.gdbIoEdit.moveCursor(QTextCursor.End)
s = unBackslashify(rec.string)
self.gdbIoEdit.insertPlainText(s)
self.gdbIoEdit.moveCursor(QTextCursor.End)
