mitmproxy/libmproxy/console/grideditor.py

657 lines
18 KiB
Python
Raw Normal View History

from __future__ import absolute_import
2015-03-13 12:14:37 +00:00
import copy
import re
import os
import urwid
2015-03-13 12:14:37 +00:00
from . import common, signals
from .. import utils, filt, script
from netlib import http_uastrings, http_cookies
FOOTER = [
('heading_key', "enter"), ":edit ",
('heading_key', "q"), ":back ",
]
FOOTER_EDITING = [
('heading_key', "esc"), ":stop editing ",
]
class TextColumn:
subeditor = None
def __init__(self, heading):
self.heading = heading
def text(self, obj):
return SEscaped(obj or "")
def blank(self):
return ""
class SubgridColumn:
def __init__(self, heading, subeditor):
self.heading = heading
self.subeditor = subeditor
def text(self, obj):
p = http_cookies._format_pairs(obj, sep="\n")
return urwid.Text(p)
def blank(self):
return []
class SEscaped(urwid.WidgetWrap):
def __init__(self, txt):
txt = txt.encode("string-escape")
w = urwid.Text(txt, wrap="any")
urwid.WidgetWrap.__init__(self, w)
2012-02-08 01:58:48 +00:00
def get_text(self):
return self._w.get_text()[0]
2012-02-08 01:58:48 +00:00
def keypress(self, size, key):
return key
def selectable(self):
return True
class SEdit(urwid.WidgetWrap):
2012-02-08 01:07:17 +00:00
def __init__(self, txt):
txt = txt.encode("string-escape")
w = urwid.Edit(edit_text=txt, wrap="any", multiline=True)
w = urwid.AttrWrap(w, "editfield")
urwid.WidgetWrap.__init__(self, w)
2012-02-08 01:07:17 +00:00
2012-02-08 01:58:48 +00:00
def get_text(self):
return self._w.get_text()[0].strip()
2012-02-08 01:58:48 +00:00
2012-02-08 01:07:17 +00:00
def selectable(self):
return True
class GridRow(urwid.WidgetWrap):
2012-03-23 00:28:33 +00:00
def __init__(self, focused, editing, editor, values):
self.focused, self.editing, self.editor = focused, editing, editor
2012-02-08 01:07:17 +00:00
2012-03-23 00:28:33 +00:00
errors = values[1]
self.fields = []
2012-03-23 00:28:33 +00:00
for i, v in enumerate(values[0]):
if focused == i and editing:
self.editing = SEdit(v)
self.fields.append(self.editing)
else:
w = self.editor.columns[i].text(v)
if focused == i:
if i in errors:
w = urwid.AttrWrap(w, "focusfield_error")
else:
w = urwid.AttrWrap(w, "focusfield")
elif i in errors:
w = urwid.AttrWrap(w, "field_error")
self.fields.append(w)
fspecs = self.fields[:]
if len(self.fields) > 1:
fspecs[0] = ("fixed", self.editor.first_width + 2, fspecs[0])
2012-02-08 01:07:17 +00:00
w = urwid.Columns(
fspecs,
2012-02-08 01:07:17 +00:00
dividechars = 2
)
if focused is not None:
w.set_focus_column(focused)
urwid.WidgetWrap.__init__(self, w)
2012-02-08 01:07:17 +00:00
def get_edit_value(self):
return self.editing.get_text()
2012-02-08 01:58:48 +00:00
2012-02-08 01:07:17 +00:00
def keypress(self, s, k):
if self.editing:
w = self._w.column_widths(s)[self.focused]
k = self.editing.keypress((w,), k)
2012-02-08 01:07:17 +00:00
return k
def selectable(self):
return True
2012-03-17 20:38:42 +00:00
class GridWalker(urwid.ListWalker):
2012-03-23 00:28:33 +00:00
"""
Stores rows as a list of (rows, errors) tuples, where rows is a list
and errors is a set with an entry of each offset in rows that is an
error.
"""
def __init__(self, lst, editor):
2012-03-23 00:28:33 +00:00
self.lst = [(i, set([])) for i in lst]
self.editor = editor
2012-02-08 01:07:17 +00:00
self.focus = 0
self.focus_col = 0
self.editing = False
def _modified(self):
self.editor.show_empty_msg()
return urwid.ListWalker._modified(self)
def add_value(self, lst):
self.lst.append((lst[:], set([])))
self._modified()
def get_current_value(self):
if self.lst:
return self.lst[self.focus][0][self.focus_col]
def set_current_value(self, val, unescaped):
if not unescaped:
try:
val = val.decode("string-escape")
except ValueError:
signals.status_message.send(
self,
message = "Invalid Python-style string encoding.",
expire = 1000
2015-03-13 12:14:37 +00:00
)
return
errors = self.lst[self.focus][1]
emsg = self.editor.is_error(self.focus_col, val)
if emsg:
signals.status_message.send(message = emsg, expire = 1)
errors.add(self.focus_col)
2014-11-13 23:21:47 +00:00
else:
errors.discard(self.focus_col)
self.set_value(val, self.focus, self.focus_col, errors)
def set_value(self, val, focus, focus_col, errors=None):
if not errors:
errors = set([])
row = list(self.lst[focus][0])
row[focus_col] = val
self.lst[focus] = [tuple(row), errors]
self._modified()
2012-02-08 03:55:11 +00:00
def delete_focus(self):
if self.lst:
del self.lst[self.focus]
self.focus = min(len(self.lst)-1, self.focus)
self._modified()
2012-02-08 04:52:43 +00:00
def _insert(self, pos):
self.focus = pos
self.lst.insert(
self.focus, [
[c.blank() for c in self.editor.columns], set([])]
)
2012-02-08 03:55:11 +00:00
self.focus_col = 0
self.start_edit()
2012-02-08 04:52:43 +00:00
def insert(self):
return self._insert(self.focus)
def add(self):
return self._insert(min(self.focus + 1, len(self.lst)))
2012-02-08 01:58:48 +00:00
def start_edit(self):
if self.lst:
2015-03-13 12:14:37 +00:00
self.editing = GridRow(
self.focus_col, True, self.editor, self.lst[self.focus]
)
self.editor.master.loop.widget.footer.update(FOOTER_EDITING)
self._modified()
2012-02-08 01:07:17 +00:00
2012-02-08 01:58:48 +00:00
def stop_edit(self):
if self.editing:
self.editor.master.loop.widget.footer.update(FOOTER)
self.set_current_value(self.editing.get_edit_value(), False)
self.editing = False
self._modified()
2012-02-08 01:58:48 +00:00
2012-02-08 01:07:17 +00:00
def left(self):
self.focus_col = max(self.focus_col - 1, 0)
2012-02-08 01:07:17 +00:00
self._modified()
def right(self):
self.focus_col = min(self.focus_col + 1, len(self.editor.columns)-1)
2012-02-08 01:07:17 +00:00
self._modified()
def tab_next(self):
2012-02-08 03:55:11 +00:00
self.stop_edit()
if self.focus_col < len(self.editor.columns)-1:
self.focus_col += 1
2012-02-08 01:07:17 +00:00
elif self.focus != len(self.lst)-1:
self.focus_col = 0
self.focus += 1
self._modified()
def get_focus(self):
if self.editing:
return self.editing, self.focus
2012-02-08 03:55:11 +00:00
elif self.lst:
2015-03-13 12:14:37 +00:00
return GridRow(
self.focus_col,
False,
self.editor,
self.lst[self.focus]
), self.focus
2012-02-08 03:55:11 +00:00
else:
return None, None
2012-02-08 01:07:17 +00:00
def set_focus(self, focus):
self.stop_edit()
2012-02-08 01:07:17 +00:00
self.focus = focus
def get_next(self, pos):
if pos+1 >= len(self.lst):
return None, None
2012-03-23 00:28:33 +00:00
return GridRow(None, False, self.editor, self.lst[pos+1]), pos+1
2012-02-08 01:07:17 +00:00
def get_prev(self, pos):
if pos-1 < 0:
return None, None
2012-03-23 00:28:33 +00:00
return GridRow(None, False, self.editor, self.lst[pos-1]), pos-1
2012-02-08 01:07:17 +00:00
2012-03-17 20:38:42 +00:00
class GridListBox(urwid.ListBox):
2012-02-08 01:07:17 +00:00
def __init__(self, lw):
urwid.ListBox.__init__(self, lw)
2012-03-18 21:42:30 +00:00
FIRST_WIDTH_MAX = 40
FIRST_WIDTH_MIN = 20
2015-03-13 12:14:37 +00:00
class GridEditor(urwid.WidgetWrap):
title = None
columns = None
2015-03-13 12:14:37 +00:00
def __init__(self, master, value, callback, *cb_args, **cb_kwargs):
value = copy.deepcopy(value)
self.master, self.value, self.callback = master, value, callback
self.cb_args, self.cb_kwargs = cb_args, cb_kwargs
2012-03-18 21:42:30 +00:00
first_width = 20
if value:
for r in value:
assert len(r) == len(self.columns)
2012-03-18 21:42:30 +00:00
first_width = max(len(r), first_width)
self.first_width = min(first_width, FIRST_WIDTH_MAX)
title = urwid.Text(self.title)
title = urwid.Padding(title, align="left", width=("relative", 100))
title = urwid.AttrWrap(title, "heading")
headings = []
for i, col in enumerate(self.columns):
c = urwid.Text(col.heading)
if i == 0 and len(self.columns) > 1:
2012-03-18 21:42:30 +00:00
headings.append(("fixed", first_width + 2, c))
else:
headings.append(c)
h = urwid.Columns(
headings,
dividechars = 2
)
h = urwid.AttrWrap(h, "heading")
2012-03-17 20:38:42 +00:00
self.walker = GridWalker(self.value, self)
self.lb = GridListBox(self.walker)
self._w = urwid.Frame(
self.lb,
2012-03-18 21:42:30 +00:00
header = urwid.Pile([title, h])
)
self.master.loop.widget.footer.update("")
self.show_empty_msg()
def show_empty_msg(self):
if self.walker.lst:
self._w.set_footer(None)
else:
self._w.set_footer(
urwid.Text(
[
("highlight", "No values. Press "),
("key", "a"),
("highlight", " to add some."),
]
)
)
def encode(self, s):
if not self.encoding:
return s
try:
return s.encode(self.encoding)
except ValueError:
return None
def read_file(self, p, unescaped=False):
if p:
try:
p = os.path.expanduser(p)
2013-06-15 22:23:44 +00:00
d = file(p, "rb").read()
self.walker.set_current_value(d, unescaped)
self.walker._modified()
except IOError, v:
return str(v)
def set_subeditor_value(self, val, focus, focus_col):
self.walker.set_value(val, focus, focus_col)
def keypress(self, size, key):
2012-02-08 01:07:17 +00:00
if self.walker.editing:
if key in ["esc"]:
2012-02-08 01:58:48 +00:00
self.walker.stop_edit()
2012-02-08 03:55:11 +00:00
elif key == "tab":
pf, pfc = self.walker.focus, self.walker.focus_col
2012-02-08 03:55:11 +00:00
self.walker.tab_next()
if self.walker.focus == pf and self.walker.focus_col != pfc:
self.walker.start_edit()
else:
self._w.keypress(size, key)
return None
2012-02-08 01:58:48 +00:00
key = common.shortcuts(key)
column = self.columns[self.walker.focus_col]
if key in ["q", "esc"]:
2012-03-18 21:42:30 +00:00
res = []
for i in self.walker.lst:
if not i[1] and any([x for x in i[0]]):
res.append(i[0])
2012-03-18 21:42:30 +00:00
self.callback(res, *self.cb_args, **self.cb_kwargs)
signals.pop_view_state.send(self)
2012-02-08 01:58:48 +00:00
elif key in ["h", "left"]:
self.walker.left()
elif key in ["l", "right"]:
self.walker.right()
elif key == "tab":
self.walker.tab_next()
2012-02-08 03:55:11 +00:00
elif key == "a":
self.walker.add()
elif key == "A":
2012-02-08 04:52:43 +00:00
self.walker.insert()
2012-02-08 03:55:11 +00:00
elif key == "d":
self.walker.delete_focus()
elif key == "r":
if column.subeditor:
signals.status_message.send(
self,
message = "Press enter to edit this field.",
expire = 1000
)
return
2014-11-28 16:52:54 +00:00
if self.walker.get_current_value() is not None:
2015-03-22 00:59:34 +00:00
signals.status_prompt_path.send(
self,
2015-03-22 00:59:34 +00:00
prompt = "Read file",
callback = self.read_file
)
elif key == "R":
if column.subeditor:
signals.status_message.send(
self,
message = "Press enter to edit this field.",
expire = 1000
)
return
2014-11-28 16:52:54 +00:00
if self.walker.get_current_value() is not None:
2015-03-22 00:59:34 +00:00
signals.status_prompt_path.send(
self,
2015-03-22 00:59:34 +00:00
prompt = "Read unescaped file",
callback = self.read_file,
args = (True,)
2015-03-13 12:14:37 +00:00
)
elif key == "e":
if column.subeditor:
signals.status_message.send(
self,
message = "Press enter to edit this field.",
expire = 1000
)
return
o = self.walker.get_current_value()
if o is not None:
n = self.master.spawn_editor(o.encode("string-escape"))
n = utils.clean_hanging_newline(n)
self.walker.set_current_value(n, False)
self.walker._modified()
elif key in ["enter"]:
if column.subeditor:
self.master.view_grideditor(
self.columns[self.walker.focus_col].subeditor(
self.master,
self.walker.get_current_value(),
self.set_subeditor_value,
self.walker.focus,
self.walker.focus_col
)
)
else:
self.walker.start_edit()
elif not self.handle_key(key):
return self._w.keypress(size, key)
2012-03-23 00:28:33 +00:00
def is_error(self, col, val):
"""
Return False, or a string error message.
"""
2012-03-23 00:28:33 +00:00
return False
def handle_key(self, key):
return False
def make_help(self):
text = []
text.append(urwid.Text([("text", "Editor control:\n")]))
keys = [
("A", "insert row before cursor"),
("a", "add row after cursor"),
("d", "delete row"),
("e", "spawn external editor on current field"),
("q", "return to flow view"),
("r", "read value from file"),
("R", "read unescaped value from file"),
("esc", "return to flow view/exit field edit mode"),
("tab", "next field"),
("enter", "edit field"),
]
2015-03-13 12:14:37 +00:00
text.extend(
common.format_keyvals(keys, key="key", val="text", indent=4)
)
text.append(
urwid.Text(
[
"\n",
("text", "Values are escaped Python-style strings.\n"),
]
)
)
return text
class QueryEditor(GridEditor):
title = "Editing query"
columns = [
TextColumn("Key"),
TextColumn("Value")
]
class HeaderEditor(GridEditor):
title = "Editing headers"
columns = [
TextColumn("Key"),
TextColumn("Value")
]
2015-03-13 12:14:37 +00:00
def make_help(self):
h = GridEditor.make_help(self)
text = []
text.append(urwid.Text([("text", "Special keys:\n")]))
keys = [
("U", "add User-Agent header"),
]
2015-03-13 12:14:37 +00:00
text.extend(
common.format_keyvals(keys, key="key", val="text", indent=4)
)
text.append(urwid.Text([("text", "\n")]))
text.extend(h)
return text
def set_user_agent(self, k):
ua = http_uastrings.get_by_shortcut(k)
if ua:
self.walker.add_value(
[
"User-Agent",
ua[2]
]
)
def handle_key(self, key):
if key == "U":
signals.status_prompt_onekey.send(
prompt = "Add User-Agent header:",
keys = [(i[0], i[1]) for i in http_uastrings.UASTRINGS],
callback = self.set_user_agent,
)
return True
class URLEncodedFormEditor(GridEditor):
title = "Editing URL-encoded form"
columns = [
TextColumn("Key"),
TextColumn("Value")
]
class ReplaceEditor(GridEditor):
title = "Editing replacement patterns"
columns = [
TextColumn("Filter"),
TextColumn("Regex"),
TextColumn("Replacement"),
]
2015-03-13 12:14:37 +00:00
2012-03-23 00:28:33 +00:00
def is_error(self, col, val):
if col == 0:
if not filt.parse(val):
return "Invalid filter specification."
2012-03-23 00:28:33 +00:00
elif col == 1:
try:
re.compile(val)
except re.error:
return "Invalid regular expression."
2012-03-23 00:28:33 +00:00
return False
class SetHeadersEditor(GridEditor):
title = "Editing header set patterns"
columns = [
TextColumn("Filter"),
TextColumn("Header"),
TextColumn("Value"),
]
2015-03-13 12:14:37 +00:00
def is_error(self, col, val):
if col == 0:
if not filt.parse(val):
return "Invalid filter specification"
return False
def make_help(self):
h = GridEditor.make_help(self)
text = []
text.append(urwid.Text([("text", "Special keys:\n")]))
keys = [
("U", "add User-Agent header"),
]
2015-03-13 12:14:37 +00:00
text.extend(
common.format_keyvals(keys, key="key", val="text", indent=4)
)
text.append(urwid.Text([("text", "\n")]))
text.extend(h)
return text
def set_user_agent(self, k):
ua = http_uastrings.get_by_shortcut(k)
if ua:
self.walker.add_value(
[
".*",
"User-Agent",
ua[2]
]
)
def handle_key(self, key):
if key == "U":
signals.status_prompt_onekey.send(
prompt = "Add User-Agent header:",
keys = [(i[0], i[1]) for i in http_uastrings.UASTRINGS],
callback = self.set_user_agent,
)
return True
class PathEditor(GridEditor):
title = "Editing URL path components"
columns = [
TextColumn("Component"),
]
class ScriptEditor(GridEditor):
title = "Editing scripts"
columns = [
TextColumn("Command"),
]
2015-03-13 12:14:37 +00:00
def is_error(self, col, val):
try:
script.Script.parse_command(val)
except script.ScriptError, v:
return str(v)
2014-09-08 10:20:40 +00:00
2014-10-18 16:29:35 +00:00
class HostPatternEditor(GridEditor):
title = "Editing host patterns"
columns = [
TextColumn("Regex (matched on hostname:port / ip:port)")
]
2014-09-08 10:20:40 +00:00
def is_error(self, col, val):
try:
re.compile(val, re.IGNORECASE)
except re.error as e:
return "Invalid regex: %s" % str(e)
2015-04-14 21:43:15 +00:00
class CookieEditor(GridEditor):
title = "Editing request Cookie header"
columns = [
TextColumn("Name"),
TextColumn("Value"),
]
class CookieAttributeEditor(GridEditor):
title = "Editing Set-Cookie attributes"
columns = [
TextColumn("Name"),
TextColumn("Value"),
]
class SetCookieEditor(GridEditor):
title = "Editing response SetCookie header"
columns = [
TextColumn("Name"),
TextColumn("Value"),
SubgridColumn("Attributes", CookieAttributeEditor),
]