input-parameter

Vocabulary

stack-checker.values

Class description

Symbol used to indicate that some known value is an input parameter to the word. If it is, then the stack checker can't infer any information for it.

Definition

IN: stack-checker.values

SINGLETON: input-parameter

Methods

USING: kernel stack-checker.values ;

M: input-parameter (input-value?) drop t ;


USING: namespaces stack-checker.errors stack-checker.values ;

M: input-parameter (literal)
    current-word get unknown-macro-input ;


USING: kernel stack-checker.values ;

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


USING: kernel stack-checker.errors stack-checker.known-words
stack-checker.values ;

M: input-parameter infer-call* \ call unknown-macro-input ;


USING: combinators.smart kernel stack-checker.values ;

M: input-parameter infer-known* drop f ;