check-stack-flow* ( node -- )

Vocabulary

compiler.tree.checker

Inputs

node

an object

Outputs

None

Definition

IN: compiler.tree.checker

GENERIC: check-stack-flow* ( node -- )

Methods

USING: accessors compiler.tree compiler.tree.checker ;

M: #alien-callback check-stack-flow* child>> check-stack-flow ;


USING: compiler.tree compiler.tree.checker kernel ;

M: #alien-node check-stack-flow*
    [ check-in-d ] [ check-out-d ] bi ;


USING: accessors compiler.tree compiler.tree.checker kernel
namespaces sequences ;

M: #branch check-stack-flow*
    [ check-in-d ]
    [ children>> [ check-branch ] map branch-out set ] bi ;


USING: compiler.tree compiler.tree.checker kernel ;

M: #call-recursive check-stack-flow*
    [ check-in-d ] [ check-out-d ] bi ;


USING: compiler.tree compiler.tree.checker kernel ;

M: #call check-stack-flow* [ check-in-d ] [ check-out-d ] bi ;


USING: compiler.tree compiler.tree.checker kernel ;

M: #copy check-stack-flow* [ check-in-d ] [ check-out-d ] bi ;


USING: compiler.tree compiler.tree.checker kernel ;

M: #declare check-stack-flow* drop ;


USING: compiler.tree compiler.tree.checker ;

M: #enter-recursive check-stack-flow* check-out-d ;


USING: compiler.tree compiler.tree.checker ;

M: #introduce check-stack-flow* check-out-d ;


USING: compiler.tree compiler.tree.checker kernel namespaces
sequences ;

M: #phi check-stack-flow*
    branch-out get [ ] any? [
        [ check-phi-in ] [ set-phi-datastack ] [ check-out-d ]
        tri
    ] [ drop terminated? on ] if ;


USING: compiler.tree compiler.tree.checker ;

M: #push check-stack-flow* check-out-d ;


USING: accessors compiler.tree compiler.tree.checker kernel ;

M: #recursive check-stack-flow*
    [ check-in-d ] [ child>> (check-stack-flow) ] bi ;


USING: compiler.tree compiler.tree.checker kernel ;

M: #return-recursive check-stack-flow*
    [ check-in-d ] [ check-out-d ] bi ;


USING: compiler.tree compiler.tree.checker kernel namespaces ;

M: #return check-stack-flow*
    check-in-d assert-datastack-empty terminated? get
    [ assert-retainstack-empty ] unless ;


USING: combinators compiler.tree compiler.tree.checker ;

M: #shuffle check-stack-flow*
    {
        [ check-in-d ]
        [ check-in-r ]
        [ check-out-d ]
        [ check-out-r ]
    } cleave ;


USING: compiler.tree compiler.tree.checker kernel namespaces ;

M: #terminate check-stack-flow*
    terminated? on
    [ check-terminate-in-d ] [ check-terminate-in-r ] bi ;