stack-checker.alien vocabulary
Factor handbook » Vocabulary index

Documentation
Inferring alien words

Metadata

Parents:

stack-checker

Words

Error classes

Class	Superclass	Slots
invalid-varargs-count	tuple	count parameters
missing-varargs-count	tuple
variadic-callback-architecture-unsupported	tuple
variadic-callback-runtime-required	tuple

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
(infer-alien-callback)	( varargs? -- )
(infer-alien-indirect)	( params -- )
callback-bottom	( params -- )
callback-effect	( params -- effect )
callback-parameter-quot	( params -- quot )
callback-return-quot	( ctype -- quot )
callback-rewind	( word -- n )
callback-va-scope?	( params -- ? )
callback-xt	( word -- alien )
check-variadic-callback-runtime	( -- )
infer-alien-assembly	( -- )
infer-alien-callback	( -- )
infer-alien-callback-varargs	( -- )
infer-alien-indirect	( -- )
infer-alien-indirect-varargs	( -- )
infer-alien-invoke	( -- )
infer-callback-quot	( params quot -- child )
infer-return	( params -- )
inputs/outputs	( params -- in-d out-d )
invalid-varargs-count	( count parameters -- * )
missing-varargs-count	( -- * )
named-callback-parameter-quot	( params -- quot )
native-va-list-parameter?	( type -- ? )
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 )
prepare-varargs	( params -- params )
return-prep-quot	( params -- quot )
stack-shape	( params -- in out )
va-reader-word	( name -- word )
variadic-callback-architecture-unsupported	( -- * )
variadic-callback-runtime-required	( -- * )

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 -- ? )
invalid-varargs-count?	( object -- ? )
missing-varargs-count?	( object -- ? )
variadic-callback-architecture-unsupported?	( object -- ? )
variadic-callback-runtime-required?	( 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