1.3 KiB
Module contracts_abnf
Contract checking assistants for ABNF.
.Function Index
| check_binary/4 | 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. . |
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.