Commit f7750d27 authored by eckhart's avatar eckhart
Browse files

small changes

parent 15d930e0
...@@ -179,10 +179,21 @@ class HistoryRecord: ...@@ -179,10 +179,21 @@ class HistoryRecord:
return '%4i, %2i: %s; %s; "%s"' % self.as_tuple() return '%4i, %2i: %s; %s; "%s"' % self.as_tuple()
def as_tuple(self) -> Snapshot: def as_tuple(self) -> Snapshot:
"""
Returns history record formatted as a snapshot tuple.
"""
return self.Snapshot(self.line_col[0], self.line_col[1], return self.Snapshot(self.line_col[0], self.line_col[1],
self.stack, self.status, self.excerpt) self.stack, self.status, self.excerpt)
def as_csv_line(self) -> str:
"""
Returns history record formatted as a csv table row.
"""
return '"{}", "{}", "{}", "{}", "{}"'.format(*self.as_tuple())
def as_html_tr(self) -> str: def as_html_tr(self) -> str:
"""
Returns history record formatted as an html table row.
"""
stack = html.escape(self.stack).replace( stack = html.escape(self.stack).replace(
'-&gt;', '<span class="delimiter">&shy;-&gt;</span>') '-&gt;', '<span class="delimiter">&shy;-&gt;</span>')
status = html.escape(self.status) status = html.escape(self.status)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment