zkay.type_check.final_checker
Module Contents
- zkay.type_check.final_checker.check_final(ast)
- class zkay.type_check.final_checker.FinalVisitor
Bases:
zkay.zkay_ast.visitor.visitor.AstVisitor
- visitContractDefinition(self, ast: zkay.zkay_ast.ast.ContractDefinition)
- visitConstructorOrFunctionDefinition(self, ast: zkay.zkay_ast.ast.ConstructorOrFunctionDefinition)
- visitAssignmentStatement(self, ast: zkay.zkay_ast.ast.AssignmentStatement)
- visitIfStatement(self, ast: zkay.zkay_ast.ast.IfStatement)
- visitIdentifierExpr(self, ast: zkay.zkay_ast.ast.IdentifierExpr)