zkay.zkay_ast.analysis.call_graph

Module Contents

zkay.zkay_ast.analysis.call_graph.call_graph_analysis(ast)

determines (indirectly) called functions for every function and concludes from that whether a function has a static body

class zkay.zkay_ast.analysis.call_graph.DirectCalledFunctionDetector

Bases: zkay.zkay_ast.visitor.function_visitor.FunctionVisitor

visitFunctionCallExpr(self, ast: zkay.zkay_ast.ast.FunctionCallExpr)

visitForStatement(self, ast: zkay.zkay_ast.ast.ForStatement)

visitWhileStatement(self, ast: zkay.zkay_ast.ast.WhileStatement)

class zkay.zkay_ast.analysis.call_graph.IndirectCalledFunctionDetector

Bases: zkay.zkay_ast.visitor.function_visitor.FunctionVisitor

visitConstructorOrFunctionDefinition(self, ast: zkay.zkay_ast.ast.ConstructorOrFunctionDefinition)

class zkay.zkay_ast.analysis.call_graph.IndirectDynamicBodyDetector

Bases: zkay.zkay_ast.visitor.function_visitor.FunctionVisitor

visitConstructorOrFunctionDefinition(self, ast: zkay.zkay_ast.ast.ConstructorOrFunctionDefinition)