lnav/test/parser_debugger.py

211 lines
6.1 KiB
Python
Raw Normal View History

#! /usr/bin/env python
# Copyright (c) 2013, Timothy Stack
#
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are met:
#
# * Redistributions of source code must retain the above copyright notice, this
# list of conditions and the following disclaimer.
# * Redistributions in binary form must reproduce the above copyright notice,
# this list of conditions and the following disclaimer in the documentation
# and/or other materials provided with the distribution.
# * Neither the name of Timothy Stack nor the names of its contributors
# may be used to endorse or promote products derived from this software
# without specific prior written permission.
#
# THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ''AS IS'' AND ANY
# EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
# DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY
# DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
# ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
import os
import json
import string
import readline
import itertools
import collections
TEST_DIR = os.path.dirname(__file__)
ROOT_DIR = os.path.dirname(TEST_DIR)
SRC_DIR = os.path.join(ROOT_DIR, "src")
addr_to_name = {}
name_to_addr = {}
element_lists = collections.defaultdict(list)
breakpoints = set()
def completer(text, state):
options = [x for x in itertools.chain(name_to_addr,
element_lists,
breakpoints)
if x.startswith(text)]
try:
return options[state]
except IndexError:
return None
readline.set_completer(completer)
if 'libedit' in readline.__doc__:
readline.parse_and_bind('bind ^I rl_complete')
else:
readline.parse_and_bind('tab: complete')
input_line = ''
ops = []
for line in open("scanned.dpt"):
if line.startswith("input "):
input_line = line[6:-1]
else:
ops.append(map(string.strip, line.split()))
def getstr(capture):
start, end = capture.split(':')
return input_line[int(start):int(end)]
def printlist(name_or_addr):
if name_or_addr in name_to_addr:
print "(%s) %s" % (name_or_addr, element_lists[name_to_addr[name_or_addr]])
elif name_or_addr in element_lists:
print "(%s) %s" % (addr_to_name.get(name_or_addr, name_or_addr),
element_lists[name_or_addr])
else:
print "error: unknown list --", name_or_addr
def handleop(fields):
addr = fields[0]
loc = fields[1].split(':')
method_name = fields[2]
method_args = fields[3:]
if addr == '0x0':
el = None
else:
el = element_lists[addr]
if method_name == 'element_list_t':
addr_to_name[addr] = method_args[0]
name_to_addr[method_args[0]] = addr
elif method_name == '~element_list_t':
pass
elif method_name == 'push_back':
el.append((method_args[0], getstr(method_args[1])))
elif method_name == 'pop_front':
el.pop(0)
elif method_name == 'pop_back':
el.pop()
elif method_name == 'clear2':
el[::] = []
elif method_name == 'splice':
pos = int(method_args[0])
other = element_lists[method_args[1]]
start, from_end = map(int, method_args[2].split(':'))
end = len(other) - from_end
sub_list = other[start:end]
del other[start:end]
el[pos:pos] = sub_list
elif method_name == 'point':
breakpoints.add(method_args[0])
else:
print "Unhandled method: ", method_name
def playupto(length):
addr_to_name.clear()
name_to_addr.clear()
element_lists.clear()
for index in range(length):
handleop(ops[index])
def find_prev_point(start, name):
orig_start = start
while start > 0:
start -= 1;
fields = ops[start]
if fields[2] != 'point':
continue
if not name or fields[3] == name:
return start + 1
return orig_start + 1
def find_next_point(start, name):
orig_start = start
while start < len(ops):
start += 1;
fields = ops[start]
if fields[2] != 'point':
continue
if not name or fields[3] == name:
return start + 1
return orig_start + 1
index = len(ops)
last_cmd = ['']
watch_list = set()
while True:
playupto(index)
if index == 0:
print "init"
else:
op = ops[index - 1]
print "#%s %s" % (index -1, op)
if op[2] == 'push_back':
print getstr(op[4])
for list_name in watch_list:
printlist(list_name)
try:
cmd = raw_input("> ").split()
except EOFError:
print
break
if not cmd or cmd[0] == '':
cmd = last_cmd
if not cmd or cmd[0] == '':
pass
elif cmd[0] == 'q':
break
elif cmd[0] == 'n':
if index < len(ops):
index += 1
elif cmd[0] == 'r':
if index > 0:
index -= 1
elif cmd[0] == 'b':
if len(cmd) == 1:
cmd.append('')
index = find_prev_point(index - 1, cmd[1])
elif cmd[0] == 'c':
if len(cmd) == 1:
cmd.append('')
index = find_next_point(index - 1, cmd[1])
elif cmd[0] == 'p':
if len(cmd) > 1:
printlist(cmd[1])
else:
print input_line
for addr in element_lists:
printlist(addr)
elif cmd[0] == 'w':
watch_list.add(cmd[1])
elif cmd[0] == 'u':
if watch_list:
watch_list.remove(cmd[1])
else:
print "error: unknown command --", cmd
last_cmd = cmd