8.5.31 Validating generalised C buffer arguments

Introduction to generalised C buffers, for details on generalised C buffers.

The following bindings are exported by the library (vicare arguments validation).

Validation Clause: general-c-buffer obj

Succeed if obj is a generalised C buffer.

Validation Clause: general-c-buffer/false obj

Succeed if obj is #f or a generalised C buffer.

Validation Clause: general-c-sticky-buffer obj

Succeed if obj is a generalised C sticky buffer.

Validation Clause: general-c-sticky-buffer/false obj

Succeed if obj is #f or a generalised C sticky buffer.

Validation Clause: general-c-buffer.len buf buf.len

If buf is a pointer object: succeed if buf.len an exact integer in the range of the C language type size_t. Otherwise succeed if buf.len is #f.

Validation Clause: general-c-buffer* obj obj.len

Succeed if obj is a generalised C buffer and obj.len its optional length.

Validation Clause: general-c-sticky-buffer* obj obj.len

Succeed if obj is a generalised C sticky buffer and obj.len its optional length.

Validation Clause: general-c-buffer*/false obj obj.len

Succeed if obj is a #f or a generalised C buffer and obj.len its optional length. If obj is #f: obj.len must be false too.

Validation Clause: general-c-sticky-buffer*/false obj obj.len

Succeed if obj is a #f or a generalised C sticky buffer and obj.len its optional length. If obj is #f: obj.len must be false too.