check-stream-read-unsafe-after ( count n buf stream word -- count )

Vocabulary

tools.annotations.assertions

Inputs

count	an object
n	an object
buf	an object
stream	an object
word	an object

Outputs

count

an object

Definition

USING: kernel math ;

IN: tools.annotations.assertions

:: check-stream-read-unsafe-after
    ( count n buf stream word -- count )
    count n > [
        count n buf stream word
        invalid-stream-read-unsafe-return
    ] [ count ] if ;