chore(xref): Extend the list of forbidden Mnesia APIs
This commit is contained in:
parent
c9a0c37dbb
commit
15205942e0
|
@ -16,12 +16,14 @@
|
||||||
{xref_checks,[undefined_function_calls,undefined_functions,locals_not_used,
|
{xref_checks,[undefined_function_calls,undefined_functions,locals_not_used,
|
||||||
deprecated_function_calls,warnings_as_errors,deprecated_functions]}.
|
deprecated_function_calls,warnings_as_errors,deprecated_functions]}.
|
||||||
|
|
||||||
%% Check for the mnesia calls forbidden by Ekka:
|
%% Check the forbidden mnesia calls:
|
||||||
{xref_queries,
|
{xref_queries,
|
||||||
[ {"E || \"mnesia\":\"dirty_delete.*\"/\".*\" : Fun", []}
|
[ {"E || \"mnesia\":\"dirty_delete.*\"/\".*\" : Fun", []}
|
||||||
, {"E || \"mnesia\":\"transaction\"/\".*\" : Fun", []}
|
, {"E || \"mnesia\":\"transaction\"/\".*\" : Fun", []}
|
||||||
, {"E || \"mnesia\":\"async_dirty\"/\".*\" : Fun", []}
|
, {"E || \"mnesia\":\"async_dirty\"/\".*\" : Fun", []}
|
||||||
, {"E || \"mnesia\":\"clear_table\"/\".*\" : Fun", []}
|
, {"E || \"mnesia\":\"clear_table\"/\".*\" : Fun", []}
|
||||||
|
, {"E || \"mnesia\":\"create_table\"/\".*\" : Fun", []}
|
||||||
|
, {"E || \"mnesia\":\"delete_table\"/\".*\" : Fun", []}
|
||||||
]}.
|
]}.
|
||||||
|
|
||||||
{dialyzer, [
|
{dialyzer, [
|
||||||
|
|
Loading…
Reference in New Issue