struct Savi::Compiler::Flow::Analysis

• Savi::Compiler::Flow::Analysis
• Struct
• Value
• Object

Defined in:

savi/compiler/flow.cr

Constant Summary

ENTRY_BLOCK_INDEX = 0

EXIT_BLOCK_INDEX = 1

Constructors

• .new

Instance Method Summary

• #block_at(index : Int32) : Block
• #block_at(node : AST::Node) : Block
• #each_possible_order_of(locations : Array(Location), &yield_block : Array(Location) -> _)
• #entry_block
• #exit_block
• #jumps_away?(node)

  Convenience method for checking if the given node always jumps away, which is true if it is a literal jump, or if it is assigned to a flow block that is marked as unreachable.

• #location_of?(node : AST::Node) : Location | Nil

Constructor Detail

Instance Method Detail