literal-tuple

Vocabulary

stack-checker.values

Class description

Represents a literal quotation. Its stack effect can be determined at compile-time.

Definition

USING: kernel ;

IN: stack-checker.values

TUPLE: literal-tuple < identity-tuple value recursion ;

Methods

USING: kernel stack-checker.values ;

M: literal-tuple (input-value?) drop f ;


USING: stack-checker.values ;

M: literal-tuple (literal) ;


USING: kernel stack-checker.values ;

M: literal-tuple (literal-value?) drop t ;


USING: accessors kernel stack-checker.values ;

M: literal-tuple hashcode* nip value>> identity-hashcode ;


USING: accessors kernel namespaces quotations
stack-checker.backend stack-checker.branches
stack-checker.values stack-checker.visitor ;

M: literal-tuple infer-branch
    [
        copy-inference nest-visitor
        [ value>> quotation set ] [ infer-literal-quot ] bi
        collect-variables
    ] with-scope ;


USING: arrays kernel stack-checker.backend
stack-checker.known-words stack-checker.values
stack-checker.visitor ;

M: literal-tuple infer-call*
    [ 1array #drop, ] [ infer-literal-quot ] bi* ;


USING: accessors stack-checker.values ;

M: literal-tuple known>callable value>> ;