klara.scripts.cover_gen_ins.line_fix_solver.LineFix

class documentation

class LineFix(solver.DepFinder): (source)

View In Hierarchy

Undocumented

Method __init__ Undocumented
Method fix_all Undocumented
Method fix_selected_lines Undocumented
Method fix_stmt Undocumented
Method resolve_func resolve function call of any arbitary node. It will trace the call chain and load up the context. The caller can happen at more than one place :param node: :return:
Method visit_call Undocumented
Instance Variable cond_cache Undocumented

Inherited from DepFinder:

Method analyze_phi Undocumented
Method compute_arg :param node_exprs: list of ast nodes :return: dict contain ast_node to value
Method initialize Visit all the class and initialize constructor, and initialize all `self` of bound method
Method register_transform Undocumented
Method solve_classdef Undocumented
Method uninitialize Undocumented
Method unregister_transform Undocumented
Method visit_classdef Undocumented
Instance Variable as_tree Undocumented
Instance Variable bound_conditions Undocumented
Instance Variable cfg Undocumented
Instance Variable classes Undocumented
Instance Variable entry_class Undocumented
Instance Variable entry_func Undocumented
Instance Variable ins_collector Undocumented
Instance Variable is_multi_processes Undocumented
Instance Variable old_infer Undocumented
Instance Variable processes Undocumented
Instance Variable z3_opt Undocumented
Instance Variable _created_nodes Undocumented
Instance Variable _z3_index Undocumented
Instance Variable _z3_var Undocumented

Inherited from ClassInstanceBuilder (via DepFinder):

Instance Variable class_ins Undocumented
Instance Variable context Undocumented

Inherited from AstVisitor (via DepFinder, ClassInstanceBuilder):

Method generic_visit Undocumented
Method visit Undocumented
def __init__(self, *args, **kwargs): (source)
overrides klara.scripts.cover_gen_ins.solver.DepFinder.__init__

Undocumented

def fix_all(self): (source)

Undocumented

def fix_selected_lines(self, linenos): (source)

Undocumented

Parameters
linenos:listUndocumented
def fix_stmt(self, stmt): (source)

Undocumented

def resolve_func(self, node): (source)

resolve function call of any arbitary node. It will trace the call chain and load up the context. The caller can happen at more than one place :param node: :return:

def visit_call(self, node): (source)

Undocumented

Parameters
node:nodes.CallUndocumented
cond_cache = (source)

Undocumented