runtime: Add vimexpect library and example gdb plugin

This library makes it easier to script communication with interactive programs.
It is similar to what the "expect" tcl extension does, but uses an object
oriented API and is designed to integrate nicely with Neovim job control.
This commit is contained in:
Thiago de Arruda 2015-04-02 11:28:24 -03:00
parent 6abde99ff2
commit 617878f747
2 changed files with 498 additions and 0 deletions

View File

@ -0,0 +1,344 @@
sign define GdbBreakpoint text=
sign define GdbCurrentLine text=
let s:gdb_port = 7778
let s:run_gdb = "gdb -q -f build/bin/nvim"
let s:breakpoints = {}
let s:max_breakpoint_sign_id = 0
let s:GdbServer = {}
function s:GdbServer.new(gdb)
let this = copy(self)
let this._gdb = a:gdb
return this
endfunction
function s:GdbServer.on_exit()
let self._gdb._server_exited = 1
endfunction
let s:GdbPaused = vimexpect#State([
\ ['Continuing.', 'continue'],
\ ['\v[\o32]{2}([^:]+):(\d+):\d+', 'jump'],
\ ['Remote communication error. Target disconnected.:', 'retry'],
\ ])
function s:GdbPaused.continue(...)
call self._parser.switch(s:GdbRunning)
call self.update_current_line_sign(0)
endfunction
function s:GdbPaused.jump(file, line, ...)
if tabpagenr() != self._tab
" Don't jump if we are not in the debugger tab
return
endif
let window = winnr()
exe self._jump_window 'wincmd w'
let self._current_buf = bufnr('%')
let target_buf = bufnr(a:file, 1)
if bufnr('%') != target_buf
exe 'buffer ' target_buf
let self._current_buf = target_buf
endif
exe ':' a:line
let self._current_line = a:line
exe window 'wincmd w'
call self.update_current_line_sign(1)
endfunction
function s:GdbPaused.retry(...)
if self._server_exited
return
endif
sleep 1
call self.attach()
call self.send('continue')
endfunction
let s:GdbRunning = vimexpect#State([
\ ['\v^Breakpoint \d+', 'pause'],
\ ['\v\[Inferior\ +.{-}\ +exited\ +normally', 'disconnected'],
\ ['(gdb)', 'pause'],
\ ])
function s:GdbRunning.pause(...)
call self._parser.switch(s:GdbPaused)
if !self._initialized
call self.send('set confirm off')
call self.send('set pagination off')
if !empty(self._server_addr)
call self.send('set remotetimeout 50')
call self.attach()
call s:RefreshBreakpoints()
call self.send('c')
endif
let self._initialized = 1
endif
endfunction
function s:GdbRunning.disconnected(...)
if !self._server_exited && self._reconnect
" Refresh to force a delete of all watchpoints
call s:RefreshBreakpoints()
sleep 1
call self.attach()
call self.send('continue')
endif
endfunction
let s:Gdb = {}
function s:Gdb.kill()
tunmap <f8>
tunmap <f10>
tunmap <f11>
tunmap <f12>
call self.update_current_line_sign(0)
exe 'bd! '.self._client_buf
if self._server_buf != -1
exe 'bd! '.self._server_buf
endif
exe 'tabnext '.self._tab
tabclose
unlet g:gdb
endfunction
function! s:Gdb.send(data)
call jobsend(self._client_id, a:data."\<cr>")
endfunction
function! s:Gdb.attach()
call self.send(printf('target remote %s', self._server_addr))
endfunction
function! s:Gdb.update_current_line_sign(add)
" to avoid flicker when removing/adding the sign column(due to the change in
" line width), we switch ids for the line sign and only remove the old line
" sign after marking the new one
let old_line_sign_id = get(self, '_line_sign_id', 4999)
let self._line_sign_id = old_line_sign_id == 4999 ? 4998 : 4999
if a:add && self._current_line != -1 && self._current_buf != -1
exe 'sign place '.self._line_sign_id.' name=GdbCurrentLine line='
\.self._current_line.' buffer='.self._current_buf
endif
exe 'sign unplace '.old_line_sign_id
endfunction
function! s:Spawn(server_cmd, client_cmd, server_addr, reconnect)
if exists('g:gdb')
throw 'Gdb already running'
endif
let gdb = vimexpect#Parser(s:GdbRunning, copy(s:Gdb))
" gdbserver port
let gdb._server_addr = a:server_addr
let gdb._reconnect = a:reconnect
let gdb._initialized = 0
" window number that will be displaying the current file
let gdb._jump_window = 1
let gdb._current_buf = -1
let gdb._current_line = -1
let gdb._has_breakpoints = 0
let gdb._server_exited = 0
" Create new tab for the debugging view
tabnew
let gdb._tab = tabpagenr()
" create horizontal split to display the current file and maybe gdbserver
sp
let gdb._server_buf = -1
if type(a:server_cmd) == type('')
" spawn gdbserver in a vertical split
let server = s:GdbServer.new(gdb)
vsp | enew | let gdb._server_id = termopen(a:server_cmd, server)
let gdb._jump_window = 2
let gdb._server_buf = bufnr('%')
endif
" go to the bottom window and spawn gdb client
wincmd j
enew | let gdb._client_id = termopen(a:client_cmd, gdb)
let gdb._client_buf = bufnr('%')
tnoremap <silent> <f8> <c-\><c-n>:GdbContinue<cr>i
tnoremap <silent> <f10> <c-\><c-n>:GdbNext<cr>i
tnoremap <silent> <f11> <c-\><c-n>:GdbStep<cr>i
tnoremap <silent> <f12> <c-\><c-n>:GdbFinish<cr>i
" go to the window that displays the current file
exe gdb._jump_window 'wincmd w'
let g:gdb = gdb
endfunction
function! s:Test(bang, filter)
let cmd = "GDB=1 make test"
if a:bang == '!'
let server_addr = '| vgdb'
let cmd = printf('VALGRIND=1 %s', cmd)
else
let server_addr = printf('localhost:%d', s:gdb_port)
let cmd = printf('GDBSERVER_PORT=%d %s', s:gdb_port, cmd)
endif
if a:filter != ''
let cmd = printf('TEST_SCREEN_TIMEOUT=1000000 TEST_FILTER="%s" %s', a:filter, cmd)
endif
call s:Spawn(cmd, s:run_gdb, server_addr, 1)
endfunction
function! s:ToggleBreak()
let file_name = bufname('%')
let file_breakpoints = get(s:breakpoints, file_name, {})
let linenr = line('.')
if has_key(file_breakpoints, linenr)
call remove(file_breakpoints, linenr)
else
let file_breakpoints[linenr] = 1
endif
let s:breakpoints[file_name] = file_breakpoints
call s:RefreshBreakpointSigns()
call s:RefreshBreakpoints()
endfunction
function! s:ClearBreak()
let s:breakpoints = {}
call s:RefreshBreakpointSigns()
call s:RefreshBreakpoints()
endfunction
function! s:RefreshBreakpointSigns()
let buf = bufnr('%')
let i = 5000
while i <= s:max_breakpoint_sign_id
exe 'sign unplace '.i
let i += 1
endwhile
let s:max_breakpoint_sign_id = 0
let id = 5000
for linenr in keys(get(s:breakpoints, bufname('%'), {}))
exe 'sign place '.id.' name=GdbBreakpoint line='.linenr.' buffer='.buf
let s:max_breakpoint_sign_id = id
let id += 1
endfor
endfunction
function! s:RefreshBreakpoints()
if !exists('g:gdb')
return
endif
if g:gdb._parser.state() == s:GdbRunning
" pause first
call jobsend(g:gdb._client_id, "\<c-c>")
endif
if g:gdb._has_breakpoints
call g:gdb.send('delete')
endif
let g:gdb._has_breakpoints = 0
for [file, breakpoints] in items(s:breakpoints)
for linenr in keys(breakpoints)
let g:gdb._has_breakpoints = 1
call g:gdb.send('break '.file.':'.linenr)
endfor
endfor
endfunction
function! s:GetExpression(...) range
let [lnum1, col1] = getpos("'<")[1:2]
let [lnum2, col2] = getpos("'>")[1:2]
let lines = getline(lnum1, lnum2)
let lines[-1] = lines[-1][:col2 - 1]
let lines[0] = lines[0][col1 - 1:]
return join(lines, "\n")
endfunction
function! s:Send(data)
if !exists('g:gdb')
throw 'Gdb is not running'
endif
call g:gdb.send(a:data)
endfunction
function! s:Eval(expr)
call s:Send(printf('print %s', a:expr))
endfunction
function! s:Watch(expr)
let expr = a:expr
if expr[0] != '&'
let expr = '&' . expr
endif
call s:Eval(expr)
call s:Send('watch *$')
endfunction
function! s:Interrupt()
if !exists('g:gdb')
throw 'Gdb is not running'
endif
call jobsend(g:gdb._client_id, "\<c-c>info line\<cr>")
endfunction
function! s:Kill()
if !exists('g:gdb')
throw 'Gdb is not running'
endif
call g:gdb.kill()
endfunction
command! GdbDebugNvim call s:Spawn(printf('make && gdbserver localhost:%d build/bin/nvim', s:gdb_port), s:run_gdb, printf('localhost:%d', s:gdb_port), 0)
command! -nargs=1 GdbDebugServer call s:Spawn(0, s:run_gdb, 'localhost:'.<q-args>, 0)
command! -bang -nargs=? GdbDebugTest call s:Test(<q-bang>, <q-args>)
command! -nargs=1 -complete=file GdbInspectCore call s:Spawn(0, printf('gdb -q -f -c %s build/bin/nvim', <q-args>), 0, 0)
command! GdbDebugStop call s:Kill()
command! GdbToggleBreakpoint call s:ToggleBreak()
command! GdbClearBreakpoints call s:ClearBreak()
command! GdbContinue call s:Send("c")
command! GdbNext call s:Send("n")
command! GdbStep call s:Send("s")
command! GdbFinish call s:Send("finish")
command! GdbFrameUp call s:Send("up")
command! GdbFrameDown call s:Send("down")
command! GdbInterrupt call s:Interrupt()
command! GdbEvalWord call s:Eval(expand('<cword>'))
command! -range GdbEvalRange call s:Eval(s:GetExpression(<f-args>))
command! GdbWatchWord call s:Watch(expand('<cword>')
command! -range GdbWatchRange call s:Watch(s:GetExpression(<f-args>))
nnoremap <silent> <f8> :GdbContinue<cr>
nnoremap <silent> <f10> :GdbNext<cr>
nnoremap <silent> <f11> :GdbStep<cr>
nnoremap <silent> <f12> :GdbFinish<cr>
nnoremap <silent> <c-b> :GdbToggleBreakpoint<cr>
nnoremap <silent> <m-pageup> :GdbFrameUp<cr>
nnoremap <silent> <m-pagedown> :GdbFrameDown<cr>
nnoremap <silent> <f9> :GdbEvalWord<cr>
vnoremap <silent> <f9> :GdbEvalRange<cr>
nnoremap <silent> <m-f9> :GdbWatchWord<cr>
vnoremap <silent> <m-f9> :GdbWatchRange<cr>

View File

@ -0,0 +1,154 @@
" vimexpect.vim is a small object-oriented library that simplifies the task of
" scripting communication with jobs or any interactive program. The name
" `expect` comes from the famous tcl extension that has the same purpose.
"
" This library is built upon two simple concepts: Parsers and States.
"
" A State represents a program state and associates a set of regular
" expressions(to parse program output) with method names(to deal with parsed
" output). States are created with the vimexpect#State(patterns) function.
"
" A Parser manages data received from the program. It also manages State
" objects by storing them into a stack, where the top of the stack is the
" current State. Parsers are created with the vimexpect#Parser(initial_state,
" target) function
"
" The State methods are defined by the user, and are always called with `self`
" set as the Parser target. Advanced control flow is achieved by changing the
" current state with the `push`/`pop`/`switch` parser methods.
"
" An example of this library in action can be found in Neovim source
" code(contrib/neovim_gdb subdirectory)
let s:State = {}
" Create a new State instance with a list where each item is a [regexp, name]
" pair. A method named `name` must be defined in the created instance.
function s:State.create(patterns)
let this = copy(self)
let this._patterns = a:patterns
return this
endfunction
let s:Parser = {}
let s:Parser.LINE_BUFFER_MAX_LEN = 100
" Create a new Parser instance with the initial state and a target. The target
" is a dictionary that will be the `self` of every State method call associated
" with the parser, and may contain options normally passed to
" `jobstart`(on_stdout/on_stderr will be overriden). Returns the target so it
" can be called directly as the second argument of `jobstart`:
"
" call jobstart(prog_argv, vimexpect#Parser(initial_state, {'pty': 1}))
function s:Parser.create(initial_state, target)
let parser = copy(self)
let parser._line_buffer = []
let parser._stack = [a:initial_state]
let parser._target = a:target
let parser._target.on_stdout = function('s:JobOutput')
let parser._target.on_stderr = function('s:JobOutput')
let parser._target._parser = parser
return parser._target
endfunction
" Push a state to the state stack
function s:Parser.push(state)
call add(self._stack, a:state)
endfunction
" Pop a state from the state stack. Fails if there's only one state remaining.
function s:Parser.pop()
if len(self._stack) == 1
throw 'vimexpect:emptystack:State stack cannot be empty'
endif
return remove(self._stack, -1)
endfunction
" Replace the state currently in the top of the stack.
function s:Parser.switch(state)
let old_state = self._stack[-1]
let self._stack[-1] = a:state
return old_state
endfunction
" Append a list of lines to the parser line buffer and try to match it the
" current state. This will shift old lines if the buffer crosses its
" limit(defined by the LINE_BUFFER_MAX_LEN field). During normal operation,
" this function is called by the job handler provided by this module, but it
" may be called directly by the user for other purposes(testing for example)
function s:Parser.feed(lines)
if empty(a:lines)
return
endif
let lines = a:lines
let linebuf = self._line_buffer
if lines[0] != "\n" && !empty(linebuf)
" continue the previous line
let linebuf[-1] .= lines[0]
call remove(lines, 0)
endif
" append the newly received lines to the line buffer
let linebuf += lines
" keep trying to match handlers while the line isnt empty
while !empty(linebuf)
let match_idx = self.parse(linebuf)
if match_idx == -1
break
endif
let linebuf = linebuf[match_idx + 1 : ]
endwhile
" shift excess lines from the buffer
while len(linebuf) > self.LINE_BUFFER_MAX_LEN
call remove(linebuf, 0)
endwhile
let self._line_buffer = linebuf
endfunction
" Try to match a list of lines with the current state and call the handler if
" the match succeeds. Return the index in `lines` of the first match.
function s:Parser.parse(lines)
let lines = a:lines
if empty(lines)
return -1
endif
let state = self.state()
" search for a match using the list of patterns
for [pattern, handler] in state._patterns
let matches = matchlist(lines, pattern)
if empty(matches)
continue
endif
let match_idx = match(lines, pattern)
call call(state[handler], matches[1:], self._target)
return match_idx
endfor
endfunction
" Return the current state
function s:Parser.state()
return self._stack[-1]
endfunction
" Job handler that simply forwards lines to the parser.
function! s:JobOutput(id, lines)
call self._parser.feed(a:lines)
endfunction
function vimexpect#Parser(initial_state, target)
return s:Parser.create(a:initial_state, a:target)
endfunction
function vimexpect#State(patterns)
return s:State.create(a:patterns)
endfunction