check-stream-read-unsafe-before ( n buf stream word -- n buf stream )

Vocabulary

tools.annotations.assertions

Inputs

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

Outputs

n	an object
buf	an object
stream	an object

Definition

USING: alien io.ports kernel math ;

IN: tools.annotations.assertions

:: check-stream-read-unsafe-before
    ( n buf stream word -- n buf stream )
    buf alien?
    [ n buf port ] [
        n buf byte-length >
        [ n buf stream word invalid-stream-read-unsafe ]
        [ n buf stream ] if
    ] if ; inline