klara.core.html.report.InferHtmlReport

class documentation

class InferHtmlReport(report.HtmlReporter): (source)

Known subclasses: klara.klara_z3.html.report.CovAnalysisHtmlReport, klara.scripts.py_check.html.report.PyCheckHtmlReport

View In Hierarchy

Undocumented

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 infer(self, lineno, col_offset, context=None): (source)

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 Response format: - "inference_result" <list> -> "result" -> [result] -> "path" -> [path] -> "bound_conditions" -> [bound conditions] -> "result_type" -> [type] (str) - "status"

Parameters
lineno:intUndocumented
col_offset:intUndocumented
contextUndocumented
def process_infer_path(self, infer_path): (source)

Undocumented