1 | % (c) 2018-2019 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, | |
2 | % Heinrich Heine Universitaet Duesseldorf | |
3 | % This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html) | |
4 | ||
5 | :- module(source_profiler,[reset_source_profiler/0, source_profiler_enabled/0, | |
6 | add_source_location_hits/2, | |
7 | %tcltk_get_source_profile_info/1, | |
8 | show_source_profile_in_bbresults/0, | |
9 | print_source_profile/0, | |
10 | tcltk_get_source_hit_location/5]). | |
11 | ||
12 | % TO DO: optionally load more precise microsecond timer | |
13 | ||
14 | :- load_files(library(system), [when(compile_time), imports([environ/2])]). | |
15 | ||
16 | :- if(\+ environ(prob_src_profile, true)). | |
17 | ||
18 | source_profiler_enabled :- fail. | |
19 | reset_source_profiler. | |
20 | add_source_location_hits(_,_). | |
21 | print_source_profile :- | |
22 | print('No source profiling information available'),nl, | |
23 | print('Recompile ProB with -Dprob_src_profile=true'),nl. | |
24 | show_source_profile_in_bbresults. | |
25 | tcltk_get_source_hit_location(_,_,_,_,_) :- fail. | |
26 | :- else. | |
27 | ||
28 | :- volatile source_hits/3. | |
29 | :- dynamic source_hits/3. | |
30 | ||
31 | source_profiler_enabled. | |
32 | reset_source_profiler :- | |
33 | retractall(source_hits(_,_,_)). | |
34 | ||
35 | :- use_module(eventhandling,[register_event_listener/3]). | |
36 | :- register_event_listener(clear_specification,reset_source_profiler, | |
37 | 'Reset source location profiler.'). | |
38 | ||
39 | :- use_module(library(terms),[term_hash/2]). | |
40 | add_source_location_hits(SourceSpan,Nr) :- | |
41 | %extract_span_description(SourceSpan,M), print(M),nl, | |
42 | term_hash(SourceSpan,Hash), | |
43 | (retract(source_hits(Hash,SourceSpan,Old)) -> New is Old+Nr ; New is Nr), | |
44 | assert(source_hits(Hash,SourceSpan,New)). | |
45 | ||
46 | :- use_module(library(lists)). | |
47 | :- use_module(error_manager,[extract_span_description/2, extract_file_line_col/6, extract_line_col_for_main_file/5]). | |
48 | ||
49 | print_source_profile :- format('----Source Location Profiler Info----~n',[]), | |
50 | findall(src_loc_msg(Nr,FullFilename,Line,Col,EndLine,EndCol), | |
51 | source_hit(FullFilename,Line,Col,EndLine,EndCol,Nr), | |
52 | Ls), | |
53 | sort(Ls,Sorted), | |
54 | maplist(print_src,Sorted), | |
55 | format('----~n',[]). | |
56 | ||
57 | :- use_module(tools_commands,[show_source_locations_with_bb_results/1]). | |
58 | show_source_profile_in_bbresults :- | |
59 | findall(src_loc_msg(Nr,FullFilename,Line,Col,EndLine,EndCol), | |
60 | source_hit(FullFilename,Line,Col,EndLine,EndCol,Nr), | |
61 | Ls), | |
62 | sort(Ls,Sorted), reverse(Sorted,RS), | |
63 | show_source_locations_with_bb_results(RS). | |
64 | ||
65 | source_hit(FullFilename,Line,Col,EndLine,EndCol,Nr) :- | |
66 | source_hits(_,SourceSpan,Nr), | |
67 | extract_file_line_col(SourceSpan,FullFilename,Line,Col,EndLine,EndCol). | |
68 | ||
69 | print_src(src_loc_msg(Nr,FullFilename,Line,Col,EndLine,EndCol)) :- | |
70 | format(' ~w hits at ~w:~w -- ~w:~w in ~w~n',[Nr,Line,Col,EndLine,EndCol,FullFilename]). | |
71 | ||
72 | % can be used in a while loop: | |
73 | tcltk_get_source_hit_location(Nr,Srow,Scol,Erow,Ecol) :- | |
74 | retract(source_hits(_,Span,Nr)), | |
75 | extract_line_col_for_main_file(Span,Srow,Scol,Erow,Ecol). | |
76 | ||
77 | :- endif. |