From fc5fab26dcf931b39a213b769bc2d7bdf3e428dd Mon Sep 17 00:00:00 2001 From: k32 <10274441+k32@users.noreply.github.com> Date: Thu, 21 Oct 2021 20:42:25 +0200 Subject: [PATCH] chore(xref): Extend the list of forbidden Mnesia APIs --- rebar.config | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/rebar.config b/rebar.config index 650b8ca9f..72a75a4b3 100644 --- a/rebar.config +++ b/rebar.config @@ -16,12 +16,14 @@ {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: +%% Check the forbidden mnesia calls: {xref_queries, [ {"E || \"mnesia\":\"dirty_delete.*\"/\".*\" : Fun", []} , {"E || \"mnesia\":\"transaction\"/\".*\" : Fun", []} , {"E || \"mnesia\":\"async_dirty\"/\".*\" : Fun", []} , {"E || \"mnesia\":\"clear_table\"/\".*\" : Fun", []} + , {"E || \"mnesia\":\"create_table\"/\".*\" : Fun", []} + , {"E || \"mnesia\":\"delete_table\"/\".*\" : Fun", []} ]}. {dialyzer, [