nada_dsl.audit.report module

Common functions that Nada DSL static analysis submodules can use to build interactive HTML reports.

parse(source: str) → Tuple[ASTTokens, List[int]]

Parse a Python source string that represents a Nada DSL program and return both its abstract syntax tree and a list of which lines were skipped by the partial parser due to syntax errors.

locations(report_, asttokens_, a)

Return the starting and ending locations corresponding to an ast node.

type_to_str(t)

Convert a type and/or type error ast node attribute into a human-readable string.

enrich_from_type(report_, type_, start, end)

Enrich a range within a report according to the supplied type attribute.

enrich_syntaxrestriction(report_, r, start, end)

Enrich a range within a report according to the supplied syntax restriction.

enrich_keyword(report_, start, length)

Enrich a range within a report corresponding to a Python keyword.

enrich_fromaudits(report_: report, atok) → report

Enrich a report containing the source code of a Nada DSL program using the static analysis attributes found within an ast instance.

html(report: report) → str

Return a self-contained CSS/HTML document corresponding to a report.