klara.klara_z3.html.report.CovAnalysisHtmlReport

class documentation

class CovAnalysisHtmlReport(report.InferHtmlReport): (source)

View In Hierarchy

Undocumented

Method __init__ Undocumented
Method process_tokens Undocumented
Instance Variable warning_lines Undocumented

Inherited from InferHtmlReport:

Method infer Try to infer node at lineno:col_offset 1. find the node at given lineno:col, if the node can't be find, return some warning 2. Call infer on the node, get the inference result. 3. get all id on inference result's infer path...
Method process_infer_path Undocumented
def __init__(self, file_path, file_src, tree, token_cls=Tokens): (source)

Undocumented

def process_tokens(self, ldata): (source)

Undocumented

warning_lines: dict = (source)

Undocumented