class Savi::Compiler::Verify::Visitor
- Savi::Compiler::Verify::Visitor
- Savi::AST::Visitor
- Reference
- Object
Defined in:
savi/compiler/verify.crConstructors
Instance Method Summary
- #check_function(ctx, func, func_link)
- #inventory : Inventory::Analysis
- #jumps : Jumps::Analysis
- #refer : Refer::Analysis
-
#touch(ctx, node : AST::Try)
Verify that each try block has at least one possible error case.
- #touch(ctx, node : AST::Prefix)
- #touch(ctx, node : AST::Node)
-
#visit(ctx, node)
This visitor never replaces nodes, it just touches them and returns them.
Instance methods inherited from class Savi::AST::Visitor
visit(ctx : Compiler::Context, node : Node)
visit,
visit_any?(ctx : Compiler::Context, node : Node)
visit_any?,
visit_children?(ctx : Compiler::Context, node : Node)
visit_children?,
visit_pre(ctx : Compiler::Context, node : Node)
visit_pre
Constructor Detail
def self.new(refer : Savi::Compiler::Refer::Analysis, jumps : Savi::Compiler::Jumps::Analysis, inventory : Savi::Compiler::Inventory::Analysis)
#
Instance Method Detail
Verify that each try block has at least one possible error case.