Permalink
Fetching contributors…
Cannot retrieve contributors at this time
41 lines (24 sloc) 1.29 KB

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.