 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
2,956 |
Makefile
|
|
- |
rw-r--r-- |
24,745 |
a4g_bugs.adb
|
|
- |
rw-r--r-- |
6,692 |
a4g_bugs.ads
|
|
- |
rw-r--r-- |
8,849 |
adactl.adb
|
|
- |
rw-r--r-- |
15,325 |
adactl_options.adb
|
|
- |
rw-r--r-- |
3,238 |
adactl_options.ads
|
|
- |
rw-r--r-- |
9,784 |
binary_map.adb
|
|
- |
rw-r--r-- |
4,178 |
binary_map.ads
|
|
- |
rw-r--r-- |
615 |
build.gpr
|
|
- |
rw-r--r-- |
2,181 |
framework-element_queues.ads
|
|
- |
rw-r--r-- |
14,392 |
framework-language-commands.adb
|
|
- |
rw-r--r-- |
2,780 |
framework-language-commands.ads
|
|
- |
rw-r--r-- |
22,289 |
framework-language-scanner.adb
|
|
- |
rw-r--r-- |
5,858 |
framework-language-scanner.ads
|
|
- |
rw-r--r-- |
46,354 |
framework-language.adb
|
|
- |
rw-r--r-- |
8,827 |
framework-language.ads
|
|
- |
rw-r--r-- |
25,893 |
framework-plugs.adb
|
|
- |
rw-r--r-- |
2,730 |
framework-plugs.ads
|
|
- |
rw-r--r-- |
21,554 |
framework-reports.adb
|
|
- |
rw-r--r-- |
4,177 |
framework-reports.ads
|
|
- |
rw-r--r-- |
30,262 |
framework-ruler.adb
|
|
- |
rw-r--r-- |
2,561 |
framework-ruler.ads
|
|
- |
rw-r--r-- |
11,524 |
framework-rules_manager.adb
|
|
- |
rw-r--r-- |
4,753 |
framework-rules_manager.ads
|
|
- |
rw-r--r-- |
28,025 |
framework-scope_manager.adb
|
|
- |
rw-r--r-- |
8,873 |
framework-scope_manager.ads
|
|
- |
rw-r--r-- |
3,999 |
framework-specific_plugs.adb
|
|
- |
rw-r--r-- |
2,926 |
framework-specific_plugs.ads
|
|
- |
rw-r--r-- |
28,530 |
framework.adb
|
|
- |
rw-r--r-- |
15,397 |
framework.ads
|
|
- |
rw-r--r-- |
5,469 |
implementation_options.adb
|
|
- |
rw-r--r-- |
2,916 |
implementation_options.ads
|
|
- |
rw-r--r-- |
5,707 |
linear_queue.adb
|
|
- |
rw-r--r-- |
3,960 |
linear_queue.ads
|
|
- |
rw-r--r-- |
37 |
makepat.sed
|
|
- |
rw-r--r-- |
9,691 |
options_analyzer.adb
|
|
- |
rw-r--r-- |
4,065 |
options_analyzer.ads
|
|
- |
rw-r--r-- |
12,272 |
pfni.adb
|
|
- |
rw-r--r-- |
12,919 |
ptree.adb
|
|
- |
rw-r--r-- |
6,336 |
rules-abnormal_function_return.adb
|
|
- |
rw-r--r-- |
2,462 |
rules-abnormal_function_return.ads
|
|
- |
rw-r--r-- |
7,851 |
rules-allocators.adb
|
|
- |
rw-r--r-- |
2,673 |
rules-allocators.ads
|
|
- |
rw-r--r-- |
12,353 |
rules-array_declarations.adb
|
|
- |
rw-r--r-- |
2,439 |
rules-array_declarations.ads
|
|
- |
rw-r--r-- |
25,605 |
rules-barrier_expressions.adb
|
|
- |
rw-r--r-- |
2,282 |
rules-barrier_expressions.ads
|
|
- |
rw-r--r-- |
17,239 |
rules-case_statement.adb
|
|
- |
rw-r--r-- |
2,470 |
rules-case_statement.ads
|
|
- |
rw-r--r-- |
7,605 |
rules-control_characters.adb
|
|
- |
rw-r--r-- |
2,517 |
rules-control_characters.ads
|
|
- |
rw-r--r-- |
30,114 |
rules-declarations.adb
|
|
- |
rw-r--r-- |
2,508 |
rules-declarations.ads
|
|
- |
rw-r--r-- |
15,492 |
rules-default_parameter.adb
|
|
- |
rw-r--r-- |
2,350 |
rules-default_parameter.ads
|
|
- |
rw-r--r-- |
18,197 |
rules-directly_accessed_globals.adb
|
|
- |
rw-r--r-- |
2,630 |
rules-directly_accessed_globals.ads
|
|
- |
rw-r--r-- |
5,151 |
rules-entities.adb
|
|
- |
rw-r--r-- |
2,315 |
rules-entities.ads
|
|
- |
rw-r--r-- |
8,142 |
rules-entity_inside_exception.adb
|
|
- |
rw-r--r-- |
2,685 |
rules-entity_inside_exception.ads
|
|
- |
rw-r--r-- |
30,828 |
rules-exception_propagation.adb
|
|
- |
rw-r--r-- |
3,062 |
rules-exception_propagation.ads
|
|
- |
rw-r--r-- |
11,817 |
rules-expressions.adb
|
|
- |
rw-r--r-- |
2,256 |
rules-expressions.ads
|
|
- |
rw-r--r-- |
29,470 |
rules-global_references.adb
|
|
- |
rw-r--r-- |
2,459 |
rules-global_references.ads
|
|
- |
rw-r--r-- |
12,204 |
rules-header_comments.adb
|
|
- |
rw-r--r-- |
2,589 |
rules-header_comments.ads
|
|
- |
rw-r--r-- |
13,326 |
rules-if_for_case.adb
|
|
- |
rw-r--r-- |
2,450 |
rules-if_for_case.ads
|
|
- |
rw-r--r-- |
11,481 |
rules-instantiations.adb
|
|
- |
rw-r--r-- |
2,809 |
rules-instantiations.ads
|
|
- |
rw-r--r-- |
12,324 |
rules-insufficient_parameters.adb
|
|
- |
rw-r--r-- |
2,351 |
rules-insufficient_parameters.ads
|
|
- |
rw-r--r-- |
14,042 |
rules-local_hiding.adb
|
|
- |
rw-r--r-- |
2,558 |
rules-local_hiding.ads
|
|
- |
rw-r--r-- |
7,725 |
rules-local_instantiation.adb
|
|
- |
rw-r--r-- |
2,739 |
rules-local_instantiation.ads
|
|
- |
rw-r--r-- |
6,458 |
rules-max_blank_lines.adb
|
|
- |
rw-r--r-- |
2,599 |
rules-max_blank_lines.ads
|
|
- |
rw-r--r-- |
25,130 |
rules-max_call_depth.adb
|
|
- |
rw-r--r-- |
2,250 |
rules-max_call_depth.ads
|
|
- |
rw-r--r-- |
5,498 |
rules-max_line_length.adb
|
|
- |
rw-r--r-- |
2,525 |
rules-max_line_length.ads
|
|
- |
rw-r--r-- |
8,647 |
rules-max_nesting.adb
|
|
- |
rw-r--r-- |
2,591 |
rules-max_nesting.ads
|
|
- |
rw-r--r-- |
10,075 |
rules-max_parameters.adb
|
|
- |
rw-r--r-- |
2,265 |
rules-max_parameters.ads
|
|
- |
rw-r--r-- |
8,581 |
rules-max_statement_nesting.adb
|
|
- |
rw-r--r-- |
2,610 |
rules-max_statement_nesting.ads
|
|
- |
rw-r--r-- |
38,297 |
rules-movable_accept_statements.adb
|
|
- |
rw-r--r-- |
3,111 |
rules-movable_accept_statements.ads
|
|
- |
rw-r--r-- |
47,874 |
rules-naming_convention.adb
|
|
- |
rw-r--r-- |
2,345 |
rules-naming_convention.ads
|
|
- |
rw-r--r-- |
18,858 |
rules-no_safe_initialization.adb
|
|
- |
rw-r--r-- |
2,560 |
rules-no_safe_initialization.ads
|
|
- |
rw-r--r-- |
10,626 |
rules-non_static.adb
|
|
- |
rw-r--r-- |
2,499 |
rules-non_static.ads
|
|
- |
rw-r--r-- |
6,273 |
rules-not_elaboration_calls.adb
|
|
- |
rw-r--r-- |
2,673 |
rules-not_elaboration_calls.ads
|
|
- |
rw-r--r-- |
5,420 |
rules-other_dependencies.adb
|
|
- |
rw-r--r-- |
2,270 |
rules-other_dependencies.ads
|
|
- |
rw-r--r-- |
10,716 |
rules-parameter_aliasing.adb
|
|
- |
rw-r--r-- |
2,826 |
rules-parameter_aliasing.ads
|
|
- |
rw-r--r-- |
27,867 |
rules-potentially_blocking_operations.adb
|
|
- |
rw-r--r-- |
2,466 |
rules-potentially_blocking_operations.ads
|
|
- |
rw-r--r-- |
6,584 |
rules-pragmas.adb
|
|
- |
rw-r--r-- |
2,594 |
rules-pragmas.ads
|
|
- |
rw-r--r-- |
20,214 |
rules-reduceable_scope.adb
|
|
- |
rw-r--r-- |
2,782 |
rules-reduceable_scope.ads
|
|
- |
rw-r--r-- |
11,461 |
rules-representation_clauses.adb
|
|
- |
rw-r--r-- |
2,763 |
rules-representation_clauses.ads
|
|
- |
rw-r--r-- |
23,936 |
rules-return_type.adb
|
|
- |
rw-r--r-- |
2,735 |
rules-return_type.ads
|
|
- |
rw-r--r-- |
13,905 |
rules-side_effect_parameters.adb
|
|
- |
rw-r--r-- |
2,582 |
rules-side_effect_parameters.ads
|
|
- |
rw-r--r-- |
25,828 |
rules-silent_exceptions.adb
|
|
- |
rw-r--r-- |
2,732 |
rules-silent_exceptions.ads
|
|
- |
rw-r--r-- |
33,632 |
rules-simplifiable_expressions.adb
|
|
- |
rw-r--r-- |
2,909 |
rules-simplifiable_expressions.ads
|
|
- |
rw-r--r-- |
6,594 |
rules-special_comments.adb
|
|
- |
rw-r--r-- |
2,536 |
rules-special_comments.ads
|
|
- |
rw-r--r-- |
27,119 |
rules-statements.adb
|
|
- |
rw-r--r-- |
2,808 |
rules-statements.ads
|
|
- |
rw-r--r-- |
59,689 |
rules-style.adb
|
|
- |
rw-r--r-- |
3,219 |
rules-style.ads
|
|
- |
rw-r--r-- |
7,216 |
rules-terminating_tasks.adb
|
|
- |
rw-r--r-- |
2,545 |
rules-terminating_tasks.ads
|
|
- |
rw-r--r-- |
5,364 |
rules-uncheckable.adb
|
|
- |
rw-r--r-- |
2,419 |
rules-uncheckable.ads
|
|
- |
rw-r--r-- |
19,775 |
rules-unnecessary_use.adb
|
|
- |
rw-r--r-- |
3,414 |
rules-unnecessary_use.ads
|
|
- |
rw-r--r-- |
29,140 |
rules-unsafe_paired_calls.adb
|
|
- |
rw-r--r-- |
2,265 |
rules-unsafe_paired_calls.ads
|
|
- |
rw-r--r-- |
8,716 |
rules-unsafe_unchecked_conversion.adb
|
|
- |
rw-r--r-- |
2,499 |
rules-unsafe_unchecked_conversion.ads
|
|
- |
rw-r--r-- |
48,113 |
rules-usage.adb
|
|
- |
rw-r--r-- |
2,717 |
rules-usage.ads
|
|
- |
rw-r--r-- |
6,687 |
rules-use_clauses.adb
|
|
- |
rw-r--r-- |
2,653 |
rules-use_clauses.ads
|
|
- |
rw-r--r-- |
15,736 |
rules-with_clauses.adb
|
|
- |
rw-r--r-- |
2,575 |
rules-with_clauses.ads
|
|
- |
rw-r--r-- |
2,570 |
rules.adb
|
|
- |
rw-r--r-- |
2,566 |
rules.ads
|
|
- |
rw-r--r-- |
2,467 |
string_matching.ads
|
|
- |
rw-r--r-- |
3,782 |
string_matching_gnat.adb
|
|
- |
rw-r--r-- |
2,877 |
string_matching_gnat.ads
|
|
- |
rw-r--r-- |
5,225 |
string_matching_portable.adb
|
|
- |
rw-r--r-- |
3,250 |
string_matching_portable.ads
|
|
- |
rw-r--r-- |
1,009 |
t_unsafe_unchecked_conversion.adb
|
|
- |
rw-r--r-- |
125,709 |
thick_queries.adb
|
|
- |
rw-r--r-- |
29,649 |
thick_queries.ads
|
|
- |
rw-r--r-- |
14,223 |
units_list.adb
|
|
- |
rw-r--r-- |
2,944 |
units_list.ads
|
|
- |
rw-r--r-- |
1,087 |
unrepr.sed
|
|
- |
rw-r--r-- |
17,383 |
utilities.adb
|
|
- |
rw-r--r-- |
6,135 |
utilities.ads
|
|
- |
rw-r--r-- |
1,937 |
verif.aru
|
