dialyzer_races

DATA TYPES

args() = [label_type() | [string()]]
call() = whereis | register | unregister | ets_new | ets_lookup | ets_insert | mnesia_dirty_read1 | mnesia_dirty_read2 | mnesia_dirty_write1 | mnesia_dirty_write2 | function_call
case_tags() = beg_case | #beg_clause{} | #end_clause{} | #end_case{}
code() = [#dep_call{} | #fun_call{} | #warn_call{} | #curr_fun{} | #let_tag{} | case_tags() | race_tag()]
core_args() = [core_vars()] | empty
core_vars() = cerl() (see module cerl) | '?no_arg' | '?bypassed'
label_type() = label() | [label()] | {label()} | '?no_label'
race_tag() = whereis_register | whereis_unregister | ets_lookup_insert | mnesia_dirty_read_write
races()
table() = {named, table_var(), [string()]} | other | no_t
table_var() = label() | '?no_label'
var_to_map1() = core_vars() | [cerl() (see module cerl)]

Functions


store_race_call(Fun::mfa_or_funlbl() (see module dialyzer_callgraph), ArgTypes::[erl_type() (see module erl_types)], Args::[core_vars()], FileLine::file_line(), State::state() (see module dialyzer_dataflow)) -> state() (see module dialyzer_dataflow)

race(State::state() (see module dialyzer_dataflow)) -> state() (see module dialyzer_dataflow)

format_args(ArgList::[core_vars()], TypeList::[erl_type() (see module erl_types)], State::state() (see module dialyzer_dataflow), Call::call()) -> args()

get_race_warnings(Races::races(), State::state() (see module dialyzer_dataflow)) -> {races(), state() (see module dialyzer_dataflow)}

beg_clause_new(Arg::var_to_map1(), Pats::var_to_map1(), Guard::cerl() (see module cerl)) -> #beg_clause{}

cleanup(Races::races()) -> races()

end_case_new(End_clause::[#end_clause{}]) -> #end_case{}

end_clause_new(Arg::var_to_map1(), Pats::var_to_map1(), Guard::cerl() (see module cerl)) -> #end_clause{}

get_curr_fun(Races::races()) -> mfa_or_funlbl() (see module dialyzer_callgraph)

get_curr_fun_args(Races::races()) -> core_args()

get_new_table(Races::races()) -> table()

get_race_analysis(Races::races()) -> boolean()

get_race_list(Races::races()) -> code()

get_race_list_size(Races::races()) -> non_neg_integer()

get_race_list_and_size(Races::races()) -> {code(), non_neg_integer()}

let_tag_new(Var::var_to_map1(), Arg::var_to_map1()) -> #let_tag{}

new() -> races()

put_curr_fun(CurrFun::mfa_or_funlbl() (see module dialyzer_callgraph), CurrFunLabel::label(), Races::races()) -> races()

put_fun_args(Args::core_args(), Races::races()) -> races()

put_race_analysis(Analysis::boolean(), Races::races()) -> races()

put_race_list(RaceList::code(), RaceListSize::non_neg_integer(), Races::races()) -> races()

View Functions