define-analysis ( name -- )

Vocabulary

compiler.cfg.dataflow-analysis.private

Inputs

name

an object

Outputs

None

Definition

USING: assocs classes.parser classes.singleton functors.backend
functors.private io io.streams.string namespaces parser present
sequences words.symbol ;

IN: compiler.cfg.dataflow-analysis.private

:: define-analysis ( name -- )
    [ name present write ] with-string-writer create-class-in
    :> name
    [ name present write "-ins" write ] with-string-writer
    create-word-in :> name-ins
    [ name present write "-outs" write ] with-string-writer
    create-word-in :> name-outs
    [ name present write "-in" write ] with-string-writer
    create-word-in :> name-in
    [ name present write "-out" write ] with-string-writer
    create-word-in :> name-out name define-singleton-class
    name-ins define-symbol name-in
    T{ fake-quotation { seq { name-ins get at } } }
    fake-quotations> first ( bb -- set ) define-declared*
    name-outs define-symbol name-out
    T{ fake-quotation { seq { name-outs get at } } }
    fake-quotations> first ( bb -- set ) define-declared* ;