stack-checker.alien vocabulary
Factor handbook » Vocabulary index

Documentation
Inferring alien words

Words

Tuple classes

Class	Superclass	Slots
alien-assembly-params	alien-node-params	quot
alien-callback-params	alien-node-params	xt
alien-indirect-params	alien-node-params
alien-invoke-params	alien-node-params	library function
alien-node-params	tuple	return parameters abi varargs?

Generic words

Word	Stack effect
wrap-callback-quot	( params quot -- quot' )

Symbol words

wait-for-callback-hook

Ordinary words

Word	Stack effect
callback-bottom	( params -- )
callback-effect	( params -- effect )
callback-parameter-quot	( params -- quot )
callback-return-quot	( ctype -- quot )
callback-xt	( word -- alien )
infer-alien-assembly	( -- )
infer-alien-callback	( -- )
infer-alien-indirect	( -- )
infer-alien-invoke	( -- )
infer-callback-quot	( params quot -- child )
infer-return	( params -- )
inputs/outputs	( params -- in-d out-d )
param-prep-quot	( params -- quot )
pop-abi	( params -- params )
pop-function	( params -- params )
pop-library	( params -- params )
pop-params	( params -- params )
pop-quot	( params -- params )
pop-return	( params -- params )
pop-varargs?	( params -- params )
return-prep-quot	( params -- quot )
stack-shape	( params -- in out )

Class predicate words

Word	Stack effect
alien-assembly-params?	( object -- ? )
alien-callback-params?	( object -- ? )
alien-indirect-params?	( object -- ? )
alien-invoke-params?	( object -- ? )
alien-node-params?	( object -- ? )

Files

resource:basis/stack-checker/alien/alien.factor
resource:basis/stack-checker/alien/alien-docs.factor
resource:basis/stack-checker/alien/alien-tests.factor

Metadata files

resource:basis/stack-checker/alien/summary.txt