From 60e682897f98d9374b96c6324759f302170b2a17 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Mon, 20 Feb 2012 13:56:25 +0100 Subject: Add --time option to Dialyzer --- lib/dialyzer/src/dialyzer_succ_typings.erl | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'lib/dialyzer/src/dialyzer_succ_typings.erl') diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index 4d813e06bb..e901677ce2 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -132,7 +132,8 @@ get_warnings(Callgraph, Plt, DocPlt, Codeserver, NoWarnUnused, Parent) -> NewState#st.plt), MiniDocPlt = dialyzer_plt:get_mini_plt(DocPlt), {Warnings, FinalPlt, FinalDocPlt} = - get_warnings_from_modules(Mods, NewState, MiniDocPlt, CWarns), + ?timing("warning", + get_warnings_from_modules(Mods, NewState, MiniDocPlt, CWarns)), {postprocess_warnings(Warnings, Codeserver), dialyzer_plt:restore_full_plt(FinalPlt, Plt), dialyzer_plt:restore_full_plt(FinalDocPlt, DocPlt)}. @@ -201,7 +202,7 @@ refine_succ_typings(ModulePostorder, #st{codeserver = Codeserver, ?debug("Module postorder: ~p\n", [ModulePostorder]), Servers = {Codeserver, Callgraph, Plt}, Coordinator = dialyzer_coordinator:start(dataflow, Servers), - refine_succ_typings(ModulePostorder, State, Coordinator). + ?timing("refine",refine_succ_typings(ModulePostorder, State, Coordinator)). refine_succ_typings([M|Rest], State, Coordinator) -> Msg = io_lib:format("Dataflow of module: ~w\n", [M]), @@ -315,7 +316,7 @@ find_succ_typings(SCCs, #st{codeserver = Codeserver, callgraph = Callgraph, plt = Plt} = State) -> Servers = {Codeserver, dialyzer_callgraph:mini_callgraph(Callgraph), Plt}, Coordinator = dialyzer_coordinator:start(typesig, Servers), - find_succ_typings(SCCs, State, Coordinator). + ?timing("typesig", find_succ_typings(SCCs, State, Coordinator)). find_succ_typings([SCC|Rest], #st{parent = Parent} = State, Coordinator) -> Msg = io_lib:format("Typesig analysis for SCC: ~w\n", [format_scc(SCC)]), -- cgit v1.2.3