class

Heucristic::Resolve::Flow

Inherits Reference < Object

Constructors

new(name : String, exits : Terminator, facts : BodyFacts | Nil = nil)

Class methods

steps(name : String, ancestors : Array(Crystal::ASTNode), exits : Terminator, facts : BodyFacts | Nil = nil) : Array(Step)

Instance methods

between(parent : Crystal::ASTNode, child : Crystal::ASTNode, ancestors : Array(Crystal::ASTNode), depth : Int32) : Nil

collect(cond : Crystal::ASTNode, positive : Bool, prefix : Array(Crystal::ASTNode)) : Nil

exits?(node : Crystal::ASTNode | Nil, path : Array(Crystal::ASTNode)) : Bool

exits?(node : Crystal::ASTNode | Nil) : Bool

steps

walk(body : Crystal::ASTNode, prefix : Array(Crystal::ASTNode)) : Nil

Nested types