def _show_current_trace_frame(self):
with self.db.make_session() as session:
trace_frame = (session.query(TraceFrame).filter(
TraceFrame.id == self.current_frame_id).scalar())
page.display_page(
self._create_trace_frame_output_string(trace_frame))
def _show_current_issue_instance(self):
with self.db.make_session() as session:
issue_instance, issue = self._get_current_issue(session)
sources = self._get_leaves(session, issue_instance, SharedTextKind.SOURCE)
sinks = self._get_leaves(session, issue_instance, SharedTextKind.SINK)
page.display_page(
self._create_issue_output_string(issue_instance, issue, sources, sinks)
)
def _show_current_issue_instance(self):
with self.db.make_session() as session:
issue_instance, issue = self._get_current_issue(session)
page.display_page(
self._create_issue_output_string(
issue_instance, issue, self.sources, self.sinks
)
)
def show(self):
""" More details about the selected issue.
"""
if not self._verify_issue_selected():
return
with self.db.make_session() as session:
issue_instance, issue = self._get_current_issue(session)
sources = self._get_leaves(session, issue_instance,
SharedTextKind.SOURCE)
sinks = self._get_leaves(session, issue_instance,
SharedTextKind.SINK)
page.display_page(
self._create_issue_output_string(issue_instance, issue, sources,
sinks))