class documentation
class ClassInstanceBuilder(ssa_visitors.AstVisitor): (source)
Known subclasses: klara.contract.solver.ContractSolver
, klara.scripts.cover_gen_ins.solver.DepFinder
, klara.scripts.py_check.loop_solver.CalledFuncGetter
, klara.scripts.py_check.loop_solver.LoopDetector
build the class instance from constructor, attribute etc... and load it in all `self` arg.
Method | __init__ |
Undocumented |
Method | visit |
Undocumented |
Instance Variable | class |
Undocumented |
Instance Variable | context |
Undocumented |
Inherited from AstVisitor
:
Method | generic |
Undocumented |
Method | visit |
Undocumented |
overridden in
klara.scripts.cover_gen_ins.solver.DepFinder
, klara.scripts.py_check.loop_solver.LoopDetector
Undocumented
Parameters | |
node:nodes.ClassDef | Undocumented |