From cc5bc4f7ca3e831210d37dde3b3befd2ae013f24 Mon Sep 17 00:00:00 2001 From: k32 <10274441+k32@users.noreply.github.com> Date: Tue, 29 Jun 2021 00:27:53 +0200 Subject: [PATCH] build(rlog): Add xref check for forbidden mnesia APIs --- rebar.config | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/rebar.config b/rebar.config index 205d892aa..e5f46125a 100644 --- a/rebar.config +++ b/rebar.config @@ -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, "."},