collect-variables ( -- hash )

Vocabulary

stack-checker.branches

Inputs

None

Outputs

hash

an assoc

Word description

Gathers branch inference state into a hash, including the effect of the branch quotation itself. Unbalanced-branch diagnostics use this local effect, excluding the selector and untouched caller values.

Definition

USING: assocs kernel namespaces quotations
stack-checker.recursive-state stack-checker.state
stack-checker.values stack-checker.visitor ;

IN: stack-checker.branches

: collect-variables ( -- hash )
    {
        (meta-d)
        (meta-r)
        current-word
        inner-d-index
        input-count
        literals
        quotation
        recursive-state
        stack-visitor
        terminated?
        branch-effect
    } [ dup get ] H{ } map>assoc ;