def present_exception_with_traceback(exc, val, tb):
traceback_str = '<br>\n'.join(Html.escape_str(traceback.format_exc(tb)).split('\n'))
content = Html('<span class="exception_name">{0}</span>'.format(type(exc).__name__), '<br>',
'<span class="exception_message">{0}</span>'.format(Html.escape_str(exc.message)), '<br>',
'<span class="exception_message">{0}</span>'.format(Html.escape_str(str(val))), '<br>',
'<div class="exception_traceback">{0}</div>'.format(traceback_str))
return error_box('Exception', content)
def exception_to_html_src(exc, val, tb):
traceback_str = '<br>\n'.join(Html.escape_str(traceback.format_exc(tb)).split('\n'))
val_str = '<br>\n'.join(Html.escape_str(str(val)).split('\n'))
content = ('<span class="exception_name">{0}</span><br>' + \
'<span class="exception_message">{1}</span><br>' + \
'<span class="exception_message">{2}</span><br>' + \
'<div class="exception_traceback">{3}</div>').format(type(exc).__name__, Html.escape_str(exc.message), val_str, traceback_str)
return exc_box_to_html_src('Exception', content)
def exception_to_html_src(exc, val, tb):
traceback_str = '<br>\n'.join(
Html.escape_str(traceback.format_exc(tb)).split('\n'))
val_str = '<br>\n'.join(Html.escape_str(str(val)).split('\n'))
content = ('<span class="exception_name">{0}</span><br>' + \
'<span class="exception_message">{1}</span><br>' + \
'<span class="exception_message">{2}</span><br>' + \
'<div class="exception_traceback">{3}</div>').format(type(exc).__name__, Html.escape_str(exc.message), val_str, traceback_str)
return exc_box_to_html_src('Exception', content)
def present_exception_with_traceback(exc, val, tb):
traceback_str = '<br>\n'.join(
Html.escape_str(traceback.format_exc(tb)).split('\n'))
content = Html(
'<span class="exception_name">{0}</span>'.format(type(exc).__name__),
'<br>', '<span class="exception_message">{0}</span>'.format(
Html.escape_str(exc.message)), '<br>',
'<span class="exception_message">{0}</span>'.format(
Html.escape_str(str(val))), '<br>',
'<div class="exception_traceback">{0}</div>'.format(traceback_str))
return error_box('Exception', content)
def pres(self, pres_ctx):
textarea = Html(u'<textarea>{text}</textarea>'.format(
text=Html.escape_str(self.__text)))
textarea = textarea.js_function_call('larch.controls.initCodeMirror',
self.__config,
self.__immediate_events,
self.__channel)
p = Html('<div>', textarea, '</div>')
p = p.use_css('/static/codemirror-3.14/lib/codemirror.css')
p = p.use_js('/static/codemirror-3.14/lib/codemirror.js')
for mode in self.__modes:
p = p.use_js(
'/static/codemirror-3.14/mode/{0}/{0}.js'.format(mode))
for addon in _addon_js:
p = p.use_js('/static/codemirror-3.14/addon/{0}'.format(addon))
for addon in _addon_css:
p = p.use_css('/static/codemirror-3.14/addon/{0}'.format(addon))
if _code_mirror_theme is not None:
p = p.use_css('/static/codemirror-3.14/theme/{0}.css'.format(
_code_mirror_theme))
p = p.use_js('/static/larch/larch_ui.js').use_css(
'/static/larch/larch_ui.css')
p = p.with_event_handler('code_mirror_edit',
lambda event: self.edit(event, event.data))
p = p.with_event_handler('code_mirror_focus', self.focus)
p = p.with_event_handler('code_mirror_blur', self.blur)
return p
def present_def_header(x):
spec = inspect.getargspec(x)
args = []
num_defaults = len(spec.defaults) if spec.defaults is not None else 0
for a in spec.args[:-num_defaults]:
args.append(_span('python_name', a))
if spec.defaults is not None:
for a, d in zip(spec.args[-num_defaults:], spec.defaults):
args.append(Html(*[_span('python_name', a) + _equals, d]))
if spec.varargs is not None:
args.append(_punct_html('*') + _span('python_name', spec.varargs))
if spec.keywords is not None:
args.append(_punct_html('**') + _span('python_name', spec.keywords))
separated_args = []
if len(args) > 0:
separated_args.append(args[0])
for a in args[1:]:
separated_args.append(_comma_space)
separated_args.append(a)
doc = Html()
if x.__doc__ is not None and x.__doc__ != '':
doc = Html(Html.escape_str(x.__doc__).replace('\n', '<br>'))
return Html( *(['<div>' + _span('python_keyword', 'def') + ' ' + _span('python_defname', x.__name__) + ' ' + _open_paren] + separated_args + [_close_paren + '</div>', doc]))
def present_exception_no_traceback(exc):
content = Html(
'<span class="exception_name">{0}</span>'.format(type(exc).__name__),
'<br>', '<span class="exception_message">{0}</span>'.format(
Html.escape_str(exc.message)))
return error_box('Exception', content)
def present_exception_no_traceback(exc):
content = Html('<span class="exception_name">{0}</span>'.format(type(exc).__name__), '<br>',
'<span class="exception_message">{0}</span>'.format(Html.escape_str(exc.message)))
return error_box('Exception', content)