Module contracts_abnf

Contract checking assistants for ABNF.

Description

Contract checking assistants for ABNF.

Function Index

check_binary/4Parse (and validate) the given binary against abnf contract types.

Function Details

check_binary/4

check_binary(Check, X, Level, Mod) -> any()

Parse (and validate) the given binary against abnf contract types. It is straightforward to extend this implementation to return the parsed abnf types stack for parsed (and invalid) binaries. The abnf types with sub-binary annotations could then be used by other applications that need the abnf bits. However, this feature is beyond the current scope and goals of this package.


Generated EDoc, $Id$