dialyzer_utils

DATA TYPES

abstract_code() = [term()]

Functions

get_abstract_code_from_src(File::atom() | string()) -> {ok, abstract_code()} | {error, [string()]}

get_abstract_code_from_src(File::atom() | string(), Opts::[term()]) -> {ok, abstract_code()} | {error, [string()]}

get_core_from_src(File::string()) -> {ok, core_records()} | {error, string()}

get_core_from_src(File::string(), Opts::[term()]) -> {ok, core_records()} | {error, string()}

get_abstract_code_from_beam(File::string()) -> error | {ok, abstract_code()}

get_core_from_abstract_code(AbstrCode::abstract_code()) -> error | {ok, core_records()}

get_core_from_abstract_code(AbstrCode::abstract_code(), Opts::[term()]) -> error | {ok, core_records()}

get_record_and_type_info(AbstractCode::abstract_code()) -> {ok, dict()} | {error, string()}

get_spec_info(AbstractCode::abstract_code(), RecordsDict::dict()) -> {ok, dict()} | {error, string()}

format_sig(Type::erl_type()) -> string()

format_sig(Type::erl_type(), RecDict::dict()) -> string()

pp_hook() -> (core_tree(), term(), term()) -> any()

View Functions