klara.scripts.py_check.loop_solver.LoopDetector

class documentation

class LoopDetector(recipe.ClassInstanceBuilder): (source)

View In Hierarchy

Undocumented

Static Method check_func_body check if the body contain call to cur_func
Static Method detect Undocumented
Method __init__ Undocumented
Method append_result Undocumented
Method visit_call Check specifically for 2 scenario 1. when node.func is node.scope() (called itself) 2. when node.func contains call that called node.scope()
Method visit_classdef Undocumented
Method visit_for Undocumented
Method visit_while Undocumented
Instance Variable loop_nodes Undocumented
Instance Variable _do_validate Undocumented

Inherited from ClassInstanceBuilder:

Instance Variable class_ins Undocumented
Instance Variable context Undocumented

Inherited from AstVisitor (via ClassInstanceBuilder):

Method generic_visit Undocumented
Method visit Undocumented
@staticmethod
def check_func_body(body, cur_func): (source)

check if the body contain call to cur_func

@staticmethod
def detect(node): (source)

Undocumented

def __init__(self): (source)
overrides klara.core.recipe.ClassInstanceBuilder.__init__

Undocumented

def append_result(self, result): (source)

Undocumented

def visit_call(self, node): (source)

Check specifically for 2 scenario 1. when node.func is node.scope() (called itself) 2. when node.func contains call that called node.scope()

def visit_classdef(self, node): (source)
overrides klara.core.recipe.ClassInstanceBuilder.visit_classdef

Undocumented

Parameters
node:nodes.ClassDefUndocumented
def visit_for(self, node): (source)

Undocumented

def visit_while(self, node): (source)

Undocumented

loop_nodes: list = (source)

Undocumented

_do_validate: bool = (source)

Undocumented