stack-checker.backend vocabulary - Factor Documentation

Parents:	stack-checker
Authors:	Slava Pestov

Words

Generic words

Word	Stack effect
apply-object	( obj -- )

Ordinary words

Word	Stack effect
?quotation-effect	( in -- effect/f )
apply-word/effect	( word effect -- )
check->r	( -- )
consume-d	( n -- seq )
consume-r	( n -- seq )
consume/produce	( ..a effect quot: ( ..a inputs outputs -- ..b ) -- ..b )
declare-effect-d	( word effect variables branches n -- )
declare-input-effects	( word -- )
end-infer	( -- )
ensure-d	( n -- values )
infer->r	( n -- )
infer-literal-quot	( literal -- )
infer-quot	( quot rstate -- )
infer-quot-here	( quot -- )
infer-r>	( n -- )
introduce-values	( values -- )
literals-available?	( n -- literals ? )
make-values	( n -- values )
output-d	( values -- )
output-r	( seq -- )
peek-d	( -- obj )
pop-d	( -- obj )
pop-literal	( -- obj )
pop-r	( -- obj )
produce-d	( n -- values )
push-d	( obj -- )
push-literal	( obj -- )
push-r	( obj -- )
required-stack-effect	( word -- effect )
shorten-by	( n seq -- )
shorten-d	( n -- )
terminate	( -- )
time-bomb	( obj generic -- )
time-bomb-quot	( obj generic -- quot )
update-inner-d	( new -- )
with-infer	( quot -- effect visitor )

Files

Metadata files