class

Flaw::Analysis::Bindings

Inherits Reference < Object

Intraprocedural local-variable bindings. Flat per-file: if the same name is reassigned, the last RHS wins. This is intentionally imprecise — it's enough to let rules resolve cmd = "literal"; system("echo #{cmd}") without shipping SSA or a flow graph.

Constructors

Instance methods

locals
Source
resolve(name : String) : Crystal::ASTNode | Nil
Source