current-effect ( -- effect )

Vocabulary

stack-checker.state

Inputs

None

Outputs

effect

an effect

Word description

Returns the current analysis states stack effect.

Examples

USING: namespaces prettyprint stack-checker.state ; { { input-count 2 } { terminated? t } { (meta-d) { 1 2 } } { literals V{ } } } [ current-effect ] with-variables .
( x x -- x x * )

Definition

USING: arrays effects namespaces sequences ;

IN: stack-checker.state

: current-effect ( -- effect )
    input-count get "x" <array> meta-d length "x" <array>
    terminated? get <terminated-effect> ;