tools.annotations.assertions vocabulary
Factor handbook » Vocabulary index

Summary

Words

Tuple classes

Class	Superclass	Slots
invalid-nth-unsafe	tuple	n seq word
invalid-stream-read-unsafe	tuple	len buf port word
invalid-stream-read-unsafe-return	tuple	out-len in-len buf port word

Ordinary words

Word	Stack effect
(assert-nth-unsafe)	( word -- )
(assert-stream-read-unsafe)	( word -- )
assert-nth-unsafe	( -- )
assert-stream-read-unsafe	( -- )
check-nth-unsafe	( n seq word -- n seq )
check-stream-read-unsafe-after	( count n buf stream word -- count )
check-stream-read-unsafe-before	( n buf stream word -- n buf stream )
invalid-nth-unsafe	( n seq word -- * )
invalid-stream-read-unsafe	( len buf port word -- * )
invalid-stream-read-unsafe-return	( out-len in-len buf port word -- * )
reset-nth-unsafe	( -- )
reset-stream-read-unsafe	( -- )

Class predicate words

Word	Stack effect
invalid-nth-unsafe?	( object -- ? )
invalid-stream-read-unsafe-return?	( object -- ? )
invalid-stream-read-unsafe?	( object -- ? )

Files

resource:basis/tools/annotations/assertions/assertions.factor