gradualizer

%% @private
%% @doc Cache tables for memoizing certain calculated values
%% Currently cached
%% - glb(Type1, Type2, Module)
%% @end
-module(gradualizer_cache).

-behaviour(gen_server).

%% API
-export([start_link/1,
         get_glb/3,
         store_glb/4
        ]).

%% gen_server callbacks
-export([init/1, handle_call/3, handle_cast/2, handle_info/2,
         terminate/2, code_change/3]).

-define(SERVER, ?MODULE).
-define(GLB_CACHE, gradualizer_glb_cache).

-record(state, {}).

%% give shorter alias
-type type() :: gradualizer_type:abstract_type().

%%===================================================================
%% API
%%===================================================================

-spec start_link(Opts) -> R when
      Opts :: list(),
      R :: {ok, Pid :: pid()}
         | {error, Error :: {already_started, pid()}}
         | {error, Error :: any()}.
start_link(Opts) ->
    gen_server:start_link({local, ?SERVER}, ?MODULE, [Opts], []).

%%
%% GLB Cache
%%

-spec get_glb(module(), type(), type()) -> false | {type(), constraints:constraints()}.
get_glb(Module, T1, T2) ->
    try ets:lookup(?GLB_CACHE, {Module, T1, T2}) of
        [] ->
            false;
        [{_, TyCs}] ->
            TyCs
    catch error:badarg ->
            %% cache not initialized
            false
    end.

-spec store_glb(module(), type(), type(), {type(), constraints:constraints()}) -> ok.
store_glb(Module, T1, T2, TyCs) ->
    try
        ets:insert(?GLB_CACHE, {{Module, T1, T2}, TyCs}),
        ok
    catch error:badarg ->
            %% cache not initialized
            ok
    end.

%%===================================================================
%% gen_server callbacks
%%===================================================================

init([_Opts]) ->
    ets:new(?GLB_CACHE, [set, public, named_table]),
    {ok, #state{}}.

handle_call(_Request, _From, State) ->
    {reply, unknown_request, State}.

handle_cast(_Request, State) ->
    {noreply, State}.

handle_info(_Info, State) ->
    {noreply, State}.

terminate(_Reason, _State) ->
    ok.

code_change(_OldVsn, State, _Extra) ->
    {ok, State}.