dialyzer_races

Functions


beg_clause_new(Arg, Pats, Guard) -> term()

cleanup(Races) -> term()

end_case_new(Clauses) -> term()

end_clause_new(Arg, Pats, Guard) -> term()

format_args(ArgList, TypeList, State, Call) -> term()

get_curr_fun(Races) -> term()

get_curr_fun_args(Races) -> term()

get_new_table(Races) -> term()

get_race_analysis(Races) -> term()

get_race_list(Races) -> term()

get_race_list_size(Races) -> term()

get_race_warnings(Races, State) -> term()

let_tag_new(Var, Arg) -> term()

new() -> term()

put_curr_fun(CurrFun, CurrFunLabel, Races) -> term()

put_fun_args(Args, Races) -> term()

put_race_analysis(Analysis, Races) -> term()

put_race_list(RaceList, RaceListSize, Races) -> term()

race(State) -> term()

store_race_call(Fun, ArgTypes, Args, FileLine, State) -> term()

View Functions