anchor.diff:          end,
       {atomic, Result} = mnesia:transaction(T),
       Result.
  +
  +priv_clear_leases() ->
  +    mnesia:clear_table(lease).
  
positive.code: -behaviour(gen_server).
  
  %% API
  -export([start_link/1, stop/0,
           request_lease/3, end_lease/2, get_leases/0]).
  
  %% gen_server callbacks
  -export([init/1, handle_call/3, handle_cast/2, handle_info/2,
  
negative.code: -spec get_leases() -> [#lease{}].
  get_leases() ->
      gen_server:call(?MODULE, {lease_req, get_leases}).
  
  %%--------------------------------------------------------------------
  %% @doc
  %% Clears all existing leases from the table.
  %%
  %% @spec clear_leases() -> ok.
  %% @end
  %%--------------------------------------------------------------------
  -spec clear_leases() -> ok.
  clear_leases() ->
      gen_server:call(?MODULE, {lease_req, clear_leases}).
  
  
  %%%===================================================================
  