|
|
@@ -15,6 +15,15 @@
|
|
|
{xref_checks,[undefined_function_calls,undefined_functions,locals_not_used,
|
|
|
deprecated_function_calls,warnings_as_errors,deprecated_functions]}.
|
|
|
|
|
|
+%% Check for the mnesia calls forbidden by Ekka:
|
|
|
+{xref_queries,
|
|
|
+ [ {"E || \"mnesia\":\"dirty_write\"/\".*\" : Fun", []}
|
|
|
+ , {"E || \"mnesia\":\"dirty_delete.*\"/\".*\" : Fun", []}
|
|
|
+ , {"E || \"mnesia\":\"transaction\"/\".*\" : Fun", []}
|
|
|
+ , {"E || \"mnesia\":\"async_dirty\"/\".*\" : Fun", []}
|
|
|
+ , {"E || \"mnesia\":\"clear_table\"/\".*\" : Fun", []}
|
|
|
+ ]}.
|
|
|
+
|
|
|
{dialyzer, [
|
|
|
{warnings, [unmatched_returns, error_handling, race_conditions]},
|
|
|
{plt_location, "."},
|