ubf/doc/contract_parser.md

#Module contract_parser#

• Description
• Function Index
• Function Details

UBF(b) contract parser.

Parsing a UBF(b) contract is done via a compiler "parse transform"
during the usual compilation of an Erlang source module.

.

##Function Index##

builtin_types/0
builtin_types/1
parse_stream/3
parse_transform/2
parse_transform/5
parse_transform_contract/2
predefined_types/0
predefined_types/1
tags/1
tags/2

##Function Details##

###builtin_types/0##

builtin_types() -> any()

###builtin_types/1##

builtin_types(X1) -> any()

###parse_stream/3##

parse_stream(Stream, Lex, Yecc) -> any()

###parse_transform/2##

parse_transform(In, Opts) -> any()

###parse_transform/5##

parse_transform(In, Opts, File, Imports, ParseFun) -> any()

###parse_transform_contract/2##

parse_transform_contract(In, Contract) -> any()

###predefined_types/0##

predefined_types() -> any()

###predefined_types/1##

predefined_types(X1) -> any()

###tags/1##

tags(P1) -> any()

###tags/2##

tags(P1, Imports) -> any()