define-backward-analysis ( name -- )

Vocabulary

compiler.cfg.dataflow-analysis.private

Inputs

name

an object

Outputs

None

Definition

USING: classes.mixin functors.backend functors.private io
io.streams.string kernel parser present sequences ;

IN: compiler.cfg.dataflow-analysis.private

:: define-backward-analysis ( name -- )
    [ name present write ] with-string-writer parse-word :> name
    [ name present write "-ins" write ] with-string-writer
    parse-word :> name-ins
    [ name present write "-outs" write ] with-string-writer
    parse-word :> name-outs
    [ "compute-" write name present write "-sets" write ]
    with-string-writer create-word-in :> compute-name-sets name
    \ backward-analysis add-mixin-instance compute-name-sets T{
    fake-quotation
        { seq
            {
                \ name
                run-dataflow-analysis
                T{ fake-quotation { seq ~array~ } }
                T{ fake-quotation { seq ~array~ } }
                bi*
            }
        }
    } fake-quotations> first ( cfg -- ) define-declared* ;