Dynamic Predicates: summary_row/9 module_row/10

568 Lines

54 Predicates

Imported Modules: lists between tools self_check junit_tests module_information

15 Exports

1 specified Imports

Imports	Exports
Name: intersection/3 Module: sets	Name: print_coverage_info/0 Name: print_coverage_info/1 Name: get_file_coverage_info/1 Name: get_file_coverage_info/2 Name: gen_pltables_coverage_rows/4 Name: gen_pltables_descriptions_table/3 Name: export_tables/3 Name: export_tables_html/1 Name: export_tables_latex/1 Name: export_tables_html_stream/1 Name: export_tables_latex_stream/1 Name: colorize_source_files/2 Name: export_emma/1 Name: $NOT_COVERED/1 Name: uncovered/1

Imports

Exports

Name: intersection/3

Module: sets

Name: print_coverage_info/0

Name: print_coverage_info/1

Name: get_file_coverage_info/1

Name: get_file_coverage_info/2

Name: gen_pltables_coverage_rows/4

Name: gen_pltables_descriptions_table/3

Name: export_tables/3

Name: export_tables_html/1

Name: export_tables_latex/1

Name: export_tables_html_stream/1

Name: export_tables_latex_stream/1

Name: colorize_source_files/2

Name: export_emma/1

Name: $NOT_COVERED/1

Name: uncovered/1

Predicates

Predicates:

allowed_file/1

colored_html_path/3

colorize_source_file/5

colorize_source_files/2

colorize_source_lines/7

count_uncoverable_preds/2

coverage_attributes/3

create_fresh_file_data/2

create_fresh_pred_data/2

export_tables_html_stream/1

export_tables_latex/1

export_tables_latex_stream/1

gen_pltables_coverage_rows/4

gen_pltables_coverage_table/3

gen_pltables_descriptions_rows/2

gen_pltables_descriptions_table/3

get_file_coverage_info/1

get_file_coverage_info/2

init_program_data/1

junit_coverage_report_error/2

line_det/4

merge_coverage_file_data/2

merge_coverage_file_data/3

merge_coverage_pred_data/2

merge_coverage_pred_data/3

print_coverage_info/0

print_coverage_info/1

uncoverable_clauses/3

colorize_source_file/5

colorize_source_files/2

colorize_source_lines/7

count_uncoverable_preds/2

coverage_attributes/3

create_fresh_file_data/2

create_fresh_pred_data/2

export_tables_html_stream/1

export_tables_latex/1

export_tables_latex_stream/1

gen_pltables_coverage_rows/4

gen_pltables_coverage_rows([], _, _, _).

gen_pltables_coverage_rows([file_data(File,Preds,CovPreds,Clauses,CovClauses,CoveredLines,_,_)|T],
    TableAttributes, ImportantGroups, ColorizedURL) :-
    allowed_file(File), !,
    get_tail_filename(File,TF),
    get_modulename_filename(File, Module),
    uncoverable_preds(File,IntPreds),
    uncoverable_clauses(File,IntClauses,CoveredLines),
    (Clauses-IntClauses =:= 0
    -> PercentageClauses1 = 0
    ; PercentageClauses1 is CovClauses*100/(Clauses-IntClauses)),
    RoundedClauses is round(PercentageClauses1*10),
    PercentageClauses is RoundedClauses/10,
    (PercentageClauses > 100 -> junit_coverage_report_error(coverage_tables,'Covered more than 100% of all Clauses') ; true),
    (Preds - IntPreds =:= 0
    -> PercentagePreds1 = 0
    ; PercentagePreds1 is CovPreds*100/(Preds-IntPreds)),
    RoundedPreds is round(PercentagePreds1*10),
    PercentagePreds is RoundedPreds/10,
    (PercentagePreds > 100 -> junit_coverage_report_error(coverage_tables,'Covered more than 100% of all Clauses') ; true),
    (get_module_info(Module, group, ModuleGroup) ; ModuleGroup = other),
    (
    PercentageClauses < 10 ->
    RowAttrs1 = [color('FF0000')] ;
    RowAttrs1 = []
    ),
    (
    PercentagePreds < 10 ->
    RowAttrs2 = [color('FF0000')|RowAttrs1] ;
    RowAttrs2 = RowAttrs1
    ),
    (pltable(ModuleGroup,_) -> true
    ;
    ((
    member(ModuleGroup, ImportantGroups) ->
    ToAppend = [description(ModuleGroup, [bold])] ;
    ToAppend = [description(ModuleGroup, [])]
    ),
    append(ToAppend,TableAttributes, TableAttributes2),
    gen_pltables_coverage_table(ModuleGroup, TableAttributes2, [file_data(File,Preds,CovPreds,Clauses,CovClauses,_,_,_)|T])
    )),
    ajoin([ColorizedURL,Module,'.html'],URL),
    append([url(URL)],RowAttrs2,RowAttrs3),
    add_row(ModuleGroup, [TF,Clauses,CovClauses,IntClauses,PercentageClauses,Preds,CovPreds,IntPreds,PercentagePreds],RowAttrs3),
    assertz(module_row(ModuleGroup,TF,Clauses,CovClauses,IntClauses,PercentageClauses,Preds,CovPreds,IntPreds,PercentagePreds)),
    gen_pltables_coverage_rows(T, TableAttributes, ImportantGroups,ColorizedURL).

gen_pltables_coverage_rows([_H|T], TableAttributes, ImportantGroups, ColorizedURL) :-
    gen_pltables_coverage_rows(T, TableAttributes, ImportantGroups,ColorizedURL).

gen_pltables_coverage_table/3

gen_pltables_descriptions_rows/2

gen_pltables_descriptions_table/3

get_file_coverage_info/1

get_file_coverage_info/2

init_program_data/1

junit_coverage_report_error/2

line_det/4

merge_coverage_file_data/2

merge_coverage_file_data/3

merge_coverage_pred_data/2

merge_coverage_pred_data/3

print_coverage_info/0

print_coverage_info/1

summary_row(ModuleGroup, [], [Preds,CovPreds,IntPreds,Clauses,CovClauses,IntClauses]) :-
    PercentageClauses1 is CovClauses*100/(Clauses-IntClauses),
    RoundedClauses is round(PercentageClauses1*10),
    PercentageClauses is RoundedClauses/10,
    (PercentageClauses > 100 -> junit_coverage_report_error(coverage_tables,'Covered more than 100% of all Clauses') ; true),
    PercentagePreds1 is CovPreds*100/(Preds-IntPreds),
    RoundedPreds is round(PercentagePreds1*10),
    PercentagePreds is RoundedPreds/10,
    (PercentagePreds > 100 -> junit_coverage_report_error(coverage_tables,'Covered more than 100% of all Clauses') ; true),
    add_row(ModuleGroup, [summary,Clauses,CovClauses,IntClauses,PercentageClauses,Preds,CovPreds,IntPreds,PercentagePreds], [bold]),
    assertz(summary_row(ModuleGroup,Clauses,CovClauses,IntClauses,PercentageClauses,Preds,CovPreds,IntPreds,PercentagePreds)).

summary_row(ModuleGroup, [file_data(File,Preds,CovPreds,Clauses,CovClauses,CoveredLines,_,_)|T],[CPreds,CCovPreds,CFailPreds,CClauses,CCovClauses,CFailClauses]) :-
    allowed_file(File), !,
    get_modulename_filename(File, Module),
    (get_module_info(Module, group, ModuleGroupFile) ; ModuleGroupFile = other),
    ( ModuleGroup = ModuleGroupFile ->
    ( NCPreds is CPreds + Preds,
    NCCovPreds is CCovPreds + CovPreds,
    NCClauses is CClauses + Clauses,
    NCCovClauses is CCovClauses + CovClauses,
    uncoverable_preds(File,IntPreds),
    uncoverable_clauses(File,IntClauses,CoveredLines),
    NCFailPreds is IntPreds + CFailPreds,
    NCFailClauses is IntClauses + CFailClauses,
    summary_row(ModuleGroup,T,[NCPreds,NCCovPreds,NCFailPreds,NCClauses,NCCovClauses,NCFailClauses])
    )
    ; summary_row(ModuleGroup,T,[CPreds,CCovPreds,CFailPreds,CClauses,CCovClauses,CFailClauses])
).

summary_row(ModuleGroup, [_H|T],[CPreds,CCovPreds,CFailPreds,CClauses,CCovClauses,CFailClauses]) :-
    summary_row(ModuleGroup,T,[CPreds,CCovPreds,CFailPreds,CClauses,CCovClauses,CFailClauses]).

uncoverable_clauses/3

uncoverable_preds/2

uncovered/1

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_6629,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/coverage/coverage_tools.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file pltablesrc(pltables) does not exist
! goal: absolute_file_name(pltablesrc(pltables),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/coverage/coverage_tools.pl')])

Name: suffix/2	Module: foo_error
Name: not/1
Name: atom_codes/2
Name: get_tail_filename/2	Module: foo_error

Name: gen_pltables_coverage_rows/4	Module: coverage_tools
Name: summary_row/3	Module: coverage_tools

Name: ajoin/2	Module: foo_error
Name: get_modulename_filename/2	Module: foo_error

Name: close/1
Name: write/2
Name: colorize_source_lines/7	Module: coverage_tools
Name: open/3
Name: colored_html_path/3	Module: coverage_tools

Name: RECURSIVE_CALL/2	Module: coverage_tools
Name: colorize_source_file/5	Module: coverage_tools
Name: format/2
Name: is/2
Name: length/2

Name: RECURSIVE_CALL/7	Module: coverage_tools
Name: is/2
Name: output_source_line/7	Module: coverage_tools
Name: true
Name: =/2
Name: ->/3
Name: read_line/2

Name: merge_coverage_file_data/3	Module: coverage_tools
Name: merge_coverage_file_data/2	Module: coverage_tools

Name: true
Name: trace
Name: nl
Name: print_pred/2	Module: coverage_tools
Name: print/1
Name: </2
Name: ->/3
Name: =/2
Name: uncovered/1	Module: coverage_tools

Name: merge_coverage_pred_data/3	Module: coverage_tools
Name: merge_coverage_pred_data/2	Module: coverage_tools

Name: RECURSIVE_CALL/3	Module: coverage_tools
Name: \=/2
Name: !

Name: fail
Name: format/3
Name: emma_data/2	Module: coverage_tools
Name: number_of_modules/2	Module: module_information
Name: true
Name: junit_coverage_report_error/2	Module: coverage_tools
Name: >/2
Name: ->/3
Name: is/2
Name: summary_row/9	dynamic predicate

Name: close/1
Name: write/2
Name: emma_data/1	Module: coverage_tools
Name: emma_header/1	Module: coverage_tools
Name: open/3

Name: tables_to_xml/2	Module: foo_error
Name: tables_to_latex/2	Module: foo_error
Name: tables_to_html/2	Module: foo_error
Name: sort/2
Name: findall/3

Name: tables_to_html_stream/2	Module: foo_error
Name: sort/2
Name: findall/3

Name: tables_to_latex_stream/2	Module: foo_error
Name: sort/2
Name: findall/3

Name: RECURSIVE_CALL/4	Module: coverage_tools
Name: assertz/1
Name: add_row/3	Module: foo_error
Name: append/3
Name: ajoin/2	Module: foo_error
Name: gen_pltables_coverage_table/3	Module: coverage_tools
Name: =/2
Name: member/2
Name: ->/3
Name: true
Name: pltable/2	Module: foo_error
Name: </2
Name: get_module_info/3	Module: foo_error
Name: junit_coverage_report_error/2	Module: coverage_tools
Name: >/2
Name: is/2
Name: =:=/2
Name: uncoverable_clauses/3	Module: coverage_tools
Name: uncoverable_preds/2	Module: coverage_tools
Name: get_modulename_filename/2	Module: foo_error
Name: get_tail_filename/2	Module: foo_error
Name: !
Name: allowed_file/1	Module: coverage_tools

Name: summary_row/3	Module: coverage_tools
Name: add_column/3	Module: foo_error
Name: new_table/2	Module: foo_error

Name: gen_pltables_descriptions_rows/2	Module: coverage_tools
Name: findall/3
Name: !
Name: add_column/3	Module: foo_error
Name: new_table/2	Module: foo_error

Name: get_file_coverage_info/2	Module: coverage_tools
Name: coverage_data/1

Name: merge_coverage_file_data/3	Module: coverage_tools
Name: create_fresh_file_data/2	Module: coverage_tools

Name: merge_coverage_pred_data/3	Module: coverage_tools
Name: create_fresh_pred_data/2	Module: coverage_tools

Name: format/3
Name: escape_line/2	Module: coverage_tools
Name: line_det/4	Module: coverage_tools
Name: source_line_class/5	Module: coverage_tools

Name: print_file_stats/1	Module: coverage_tools
Name: merge_coverage_file_data/2	Module: coverage_tools
Name: nl
Name: print_uncovered/1	Module: coverage_tools
Name: merge_coverage_pred_data/2	Module: coverage_tools
Name: coverage_data/1

Name: print_file_stats/2	Module: coverage_tools
Name: merge_coverage_file_data/2	Module: coverage_tools
Name: nl
Name: print_uncovered/2	Module: coverage_tools
Name: merge_coverage_pred_data/2	Module: coverage_tools
Name: coverage_data/1

Name: print_file_stats2/2	Module: coverage_tools
Name: init_program_data/1	Module: coverage_tools
Name: nl
Name: print/1

prob_prolog/src/coverage/coverage_tools.pl

Modules

Predicates of coverage_tools

Module Information

Dynamic Predicates: summary_row/9 module_row/10

568 Lines

54 Predicates

Imported Modules: lists between tools self_check junit_tests module_information

15 Exports

1 specified Imports

Predicates:

Determinacy Checker:

Name: RECURSIVE_CALL/2	Module: coverage_tools
Name: merge_program_data/3	Module: coverage_tools
Name: format/2
Name: is/2
Name: =/2

Name: create_fresh_pred_data/2	Module: coverage_tools
Name: print_uncovered2/2	Module: coverage_tools
Name: print_uncovered2/1	Module: coverage_tools

Name: RECURSIVE_CALL/1	Module: coverage_tools
Name: nl
Name: print_pred/2	Module: coverage_tools
Name: print/1
Name: !

Name: !
Name: memberchk/2
Name: call_counter_collected/4	Module: coverage_tools.pl
Name: clause_counter_collected/6	Module: coverage_tools.pl

Name: length/2
Name: remove_dups/2	Module: foo_error
Name: findall/3

Name: count_uncoverable_preds/2	Module: coverage_tools
Name: remove_dups/2	Module: foo_error
Name: findall/3

Name: merge_pred_data/3	Module: coverage_tools
Name: create_fresh_pred_data/2	Module: coverage_tools