aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_timing.erl
blob: c2a7b3ecf87fe6c87ea79a390d04084c5a5357f7 (plain) (tree)



























                                                                         
                                                                        



                            
                                                   










                            
                         








                                  
                            

                        
                                                                   
                       
                   










                                                             
                       
                                                                 














                                  





                                                







                                  
%% -*- erlang-indent-level: 2 -*-
%%-------------------------------------------------------------------
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2006-2012. All Rights Reserved.
%%
%% The contents of this file are subject to the Erlang Public License,
%% Version 1.1, (the "License"); you may not use this file except in
%% compliance with the License. You should have received a copy of the
%% Erlang Public License along with this software. If not, it can be
%% retrieved online at http://www.erlang.org/.
%%
%% Software distributed under the License is distributed on an "AS IS"
%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
%% the License for the specific language governing rights and limitations
%% under the License.
%%
%% %CopyrightEnd%
%%

%%%-------------------------------------------------------------------
%%% File    : dialyzer_timing.erl
%%% Authors : Stavros Aronis <[email protected]>
%%% Description : Timing reports for Dialyzer
%%%-------------------------------------------------------------------

-module(dialyzer_timing).

-export([init/1, start_stamp/1, send_size_info/2, end_stamp/0, stop/0]).

-spec init(boolean()) -> ok.

init(Active) ->
  Pid = spawn_link(fun() -> loop_init(Active) end),
  case whereis(?MODULE) of
    undefined -> ok;
    _ -> unregister(?MODULE)
  end,
  register(?MODULE, Pid),
  ok.

loop_init(Active) ->
  case Active of
    true ->
      io:format("\n"),
      loop(now(), 0, "");
    false -> dummy_loop()
  end.

dummy_loop() ->
  receive
    {Pid, stop, _Now} -> Pid ! ok;
    _ -> dummy_loop()
  end.

loop(LastNow, Size, Unit) ->
  receive
    {stamp, Msg, Now} ->
      io:format("    ~-10s (+~4.2fs):", [Msg, diff(Now, LastNow)]),
      loop(Now, 0, "");
    {stamp, Now} ->
      SizeStr =
	case Size of
	  0 -> "";
	  _ ->
	    Data = io_lib:format("~p ~s",[Size, Unit]),
	    io_lib:format(" (~12s)",[Data])
	end,
      io:format("~7.2fs~s\n", [diff(Now, LastNow), SizeStr]),
      loop(Now, 0, "");
    {size, NewSize, NewUnit} ->
      loop(LastNow, NewSize, NewUnit);
    {Pid, stop, Now} ->
      io:format("    ~-9s (+~5.2fs)\n", ["",diff(Now, LastNow)]),
      Pid ! ok
  end.

-spec start_stamp(string()) -> ok.

start_stamp(Msg) ->
  ?MODULE ! {stamp, Msg, now()},
  ok.

-spec end_stamp() -> ok.

end_stamp() ->
  ?MODULE ! {stamp, now()},
  ok.

-spec send_size_info(integer(), string()) -> ok.

send_size_info(Size, Unit) ->
  ?MODULE ! {size, Size, Unit},
  ok.

-spec stop() -> ok.

stop() ->
  ?MODULE ! {self(), stop, now()},
  receive ok -> ok end.

diff(T2, T1) ->
  timer:now_diff(T2,T1) / 1000000.