← Back to branch summary

~ubuntu-branches/ubuntu/jaunty/adacontrol/jaunty

~ubuntu-branches/ubuntu/jaunty/adacontrol/jaunty

Viewing all changes in revision 3.

Committer: Bazaar Package Importer
Author(s): Ludovic Brenta
Date: 2006-10-12 19:17:22 UTC
mfrom: (1.1.1 upstream)
Revision ID: james.westby@ubuntu.com-20061012191722-fo5bcn4k5r0iubgd

Tags: 1.5r24-1

* New upstream release.
* debian/control (Depends): add gnat-4.1.
(Enhances): add gnat-gps.
* debian/adacontrol.gpr: build pfni.
* debian/rules: install the new gnat-gps plug-in, and pfni.
* debian/pfni.1: new.
* patches/gps-integration.patch: new.

files added:
GPS

GPS/adactl.gif

GPS/adactl.py

GPS/zadactl.xml

debian/pfni.1

patches/gps-integration.patch

rules/no_annex_c.aru

rules/no_annex_d.aru

rules/no_annex_e.aru

rules/no_annex_f.aru

rules/no_annex_g.aru

rules/no_annex_h.aru

rules/no_obsolescent_features.aru

rules/ravenscar.aru

src/framework-element_queues.ads

src/framework-ruler.adb

src/framework-ruler.ads

src/linear_queue.adb

src/linear_queue.ads

src/rules-abnormal_function_return.adb

src/rules-abnormal_function_return.ads

src/rules-case_statement.adb

src/rules-case_statement.ads

src/rules-control_characters.adb

src/rules-control_characters.ads

src/rules-declarations.adb

src/rules-declarations.ads

src/rules-directly_accessed_globals.adb

src/rules-directly_accessed_globals.ads

src/rules-global_references.adb

src/rules-global_references.ads

src/rules-header_comments.adb

src/rules-header_comments.ads

src/rules-if_for_case.adb

src/rules-if_for_case.ads

src/rules-max_blank_lines.adb

src/rules-max_blank_lines.ads

src/rules-max_line_length.adb

src/rules-max_line_length.ads

src/rules-max_statement_nesting.adb

src/rules-max_statement_nesting.ads

src/rules-movable_accept_statements.adb

src/rules-movable_accept_statements.ads

src/rules-no_safe_initialization.adb

src/rules-no_safe_initialization.ads

src/rules-non_static_constraints.adb

src/rules-non_static_constraints.ads

src/rules-positional_parameters.adb

src/rules-positional_parameters.ads

src/rules-potentially_blocking_operations.adb

src/rules-potentially_blocking_operations.ads

src/rules-reduceable_scope.adb

src/rules-reduceable_scope.ads

src/rules-return_type.adb

src/rules-return_type.ads

src/rules-special_comments.adb

src/rules-special_comments.ads

src/rules-statements.adb

src/rules-statements.ads

src/rules-style.adb

src/rules-style.ads

src/rules-terminating_tasks.adb

src/rules-terminating_tasks.ads

src/rules-unsafe_paired_calls.adb

src/rules-unsafe_paired_calls.ads

src/rules-usage.adb

src/rules-usage.ads

src/rules-with_clauses.adb

src/rules-with_clauses.ads

src/rules.adb

src/unrepr.sed

test/conf/t_abnormal_function_return.aru

test/conf/t_case_statement.aru

test/conf/t_control_characters.aru

test/conf/t_directly_accessed_globals.aru

test/conf/t_global_references.aru

test/conf/t_header_comments.aru

test/conf/t_if_for_case.aru

test/conf/t_max_blank_lines.aru

test/conf/t_max_line_length.aru

test/conf/t_max_statement_nesting.aru

test/conf/t_movable_accept_statements.aru

test/conf/t_no_safe_initialization.aru

test/conf/t_non_static_constraints.aru

test/conf/t_positional_parameters.aru

test/conf/t_potentially_blocking_operations.aru

test/conf/t_reduceable_scope.aru

test/conf/t_return_type.aru

test/conf/t_special_comments.aru

test/conf/t_style.aru

test/conf/t_terminating_tasks.aru

test/conf/t_unsafe_paired_calls.aru

test/conf/t_usage.aru

test/conf/t_with_clauses.aru

test/conf/x_errors.aru

test/gnat.adc

test/ref/t_abnormal_function_return.txt

test/ref/t_case_statement.adt

test/ref/t_case_statement.txt

test/ref/t_control_characters.txt

test/ref/t_directly_accessed_globals.txt

test/ref/t_global_references.txt

test/ref/t_header_comments.txt

test/ref/t_if_for_case.txt

test/ref/t_max_blank_lines.txt

test/ref/t_max_line_length.txt

test/ref/t_movable_accept_statements.txt

test/ref/t_no_safe_initialization.txt

test/ref/t_non_static_constraints.txt

test/ref/t_positional_parameters.txt

test/ref/t_potentially_blocking_operations.txt

test/ref/t_reduceable_scope.txt

test/ref/t_return_type.txt

test/ref/t_special_comments.txt

test/ref/t_style.txt

test/ref/t_terminating_tasks.txt

test/ref/t_unsafe_paired_calls.txt

test/ref/t_usage.txt

test/ref/t_with_clauses.txt

test/ref/tfw_check.txt

test/t_abnormal_function_return.adb

test/t_case_statement.adb

test/t_control_characters.adb

test/t_declarations-sep.adb

test/t_directly_accessed_globals.adb

test/t_entities-sep.adb

test/t_global_references.adb

test/t_header_comments-sep.adb

test/t_header_comments.adb

test/t_if_for_case.adb

test/t_max_blank_lines.adb

test/t_max_line_length.adb

test/t_max_statement_nesting.adb

test/t_movable_accept_statements-renaming.adb

test/t_movable_accept_statements.adb

test/t_naming_convention-sep.adb

test/t_naming_convention.ads

test/t_no_safe_initialization-sep.adb

test/t_no_safe_initialization.adb

test/t_non_static_constraints.adb

test/t_positional_parameters.adb

test/t_potentially_blocking_operations.adb

test/t_reduceable_scope.adb

test/t_return_type-empty_string.adb

test/t_return_type.adb

test/t_special_comments.adb

test/t_style.adb

test/t_terminating_tasks.adb

test/t_unsafe_paired_calls.adb

test/t_usage.adb

test/t_with_clauses-sep.adb

test/t_with_clauses.adb

test/x_declarations-child.adb

test/x_declarations.ads

test/x_header_comments.adb

test/x_header_comments.ads

test/x_usage.adb

test/x_usage.ads

test/x_with_clauses_1-child1.adb

test/x_with_clauses_1-child2.adb

test/x_with_clauses_1.adb

test/x_with_clauses_1.ads

test/x_with_clauses_2.ads

test/xfw_naming.adb

test/xfw_naming.ads

files removed:
src/adactl.xml

src/ruler.adb

src/ruler.ads

src/rules-declaration.adb

src/rules-declaration.ads

src/rules-no_closing_name.adb

src/rules-no_closing_name.ads

src/rules-specification_objects.adb

src/rules-specification_objects.ads

src/rules-statement.adb

src/rules-statement.ads

src/rules-when_others_null.adb

src/rules-when_others_null.ads

t

test/conf/t_no_closing_name.aru

test/conf/t_specification_objects.aru

test/conf/t_when_others_null.aru

test/ref/t_no_closing_name.txt

test/ref/t_specification_objects.txt

test/ref/t_when_others_null.txt

test/res

test/res/t_allocators.txt

test/res/t_declarations.txt

test/res/t_default_parameter.txt

test/res/t_entities.txt

test/res/t_entity_inside_exception.txt

test/res/t_exception_propagation.txt

test/res/t_instantiations.txt

test/res/t_local_hiding.txt

test/res/t_local_instantiation.txt

test/res/t_max_nesting.txt

test/res/t_naming_convention.txt

test/res/t_no_closing_name.txt

test/res/t_not_elaboration_calls.txt

test/res/t_parameter_aliasing.txt

test/res/t_pragmas.txt

test/res/t_real_operators.txt

test/res/t_representation_clauses.txt

test/res/t_side_effect_parameters.txt

test/res/t_silent_exceptions.txt

test/res/t_simplifiable_expressions.txt

test/res/t_specification_objects.txt

test/res/t_statements.txt

test/res/t_unnecessary_use_clause.txt

test/res/t_use_clauses.txt

test/res/t_when_others_null.txt

test/res/tfw_help.txt

test/res/tfw_inhibit.txt

test/res/tfw_naming.txt

test/res/tfw_rule_off.txt

test/res/tfw_rule_off_ignored.txt

test/res/tfw_stress.txt

test/synchro.dmc

test/t_no_closing_name.adb

test/t_specification_objects.adb

test/t_when_others_null.adb

test/test.log

test/x_specification_objects.ads

test/xfw_pack.adb

test/xfw_pack.ads

files modified:
HISTORY

debian/adacontrol.gpr

debian/changelog

debian/control

debian/rules

doc/adacontrol_pm.html

doc/adacontrol_pm.info

doc/adacontrol_pm.pdf

doc/adacontrol_pm.texi

doc/adacontrol_ug.html

doc/adacontrol_ug.info

doc/adacontrol_ug.pdf

doc/adacontrol_ug.texi

doc/support.txt

patches/series

rules/no_standard_entity.aru

rules/no_standard_unit.aru

rules/no_system_entity.aru

rules/verif.aru

src/Makefile

src/a4g_bugs.adb

src/a4g_bugs.ads

src/adactl.adb

src/adactl_options.adb

src/adactl_options.ads

src/binary_map.adb

src/binary_map.ads

src/framework-language-commands.adb

src/framework-language-commands.ads

src/framework-language-scanner.adb

src/framework-language-scanner.ads

src/framework-language.adb

src/framework-language.ads

src/framework-plugs.adb

src/framework-plugs.ads

src/framework-reports.adb

src/framework-reports.ads

src/framework-rules_manager.adb

src/framework-rules_manager.ads

src/framework-scope_manager.adb

src/framework-scope_manager.ads

src/framework-specific_plugs.adb

src/framework-specific_plugs.ads

src/framework.adb

src/framework.ads

src/implementation_options.adb

src/implementation_options.ads

src/options_analyzer.adb

src/pfni.adb

src/ptree.adb

src/rules-allocators.adb

src/rules-default_parameter.adb

src/rules-entities.adb

src/rules-entity_inside_exception.adb

src/rules-exception_propagation.adb

src/rules-exception_propagation.ads

src/rules-instantiations.adb

src/rules-local_hiding.adb

src/rules-local_instantiation.adb

src/rules-local_instantiation.ads

src/rules-max_nesting.adb

src/rules-naming_convention.adb

src/rules-not_elaboration_calls.adb

src/rules-parameter_aliasing.adb

src/rules-pragmas.adb

src/rules-real_operators.adb

src/rules-real_operators.ads

src/rules-representation_clauses.adb

src/rules-representation_clauses.ads

src/rules-side_effect_parameters.adb

src/rules-silent_exceptions.adb

src/rules-simplifiable_expressions.adb

src/rules-simplifiable_expressions.ads

src/rules-unnecessary_use.adb

src/rules-unnecessary_use.ads

src/rules-use_clauses.adb

src/rules.ads

src/string_matching_gnat.adb

src/string_matching_gnat.ads

src/string_matching_portable.adb

src/thick_queries.adb

src/thick_queries.ads

src/units_list.adb

src/units_list.ads

src/utilities.adb

src/utilities.ads

src/verif.aru

test/conf/t_allocators.aru

test/conf/t_declarations.aru

test/conf/t_default_parameter.aru

test/conf/t_entities.aru

test/conf/t_exception_propagation.aru

test/conf/t_instantiations.aru

test/conf/t_local_instantiation.aru

test/conf/t_naming_convention.aru

test/conf/t_not_elaboration_calls.aru

test/conf/t_pragmas.aru

test/conf/t_silent_exceptions.aru

test/conf/t_statements.aru

test/conf/tfw_inhibit.aru

test/conf/tfw_naming.aru

test/conf/tfw_rule_off.aru

test/ref/t_allocators.txt

test/ref/t_declarations.txt

test/ref/t_default_parameter.txt

test/ref/t_entities.txt

test/ref/t_exception_propagation.txt

test/ref/t_instantiations.txt

test/ref/t_local_instantiation.txt

test/ref/t_naming_convention.txt

test/ref/t_not_elaboration_calls.txt

test/ref/t_pragmas.txt

test/ref/t_real_operators.txt

test/ref/t_silent_exceptions.txt

test/ref/t_simplifiable_expressions.txt

test/ref/t_statements.txt

test/ref/t_unnecessary_use_clause.txt

test/ref/tfw_help.txt

test/ref/tfw_naming.txt

test/run.sh *

test/t_allocators.adb

test/t_declarations.adb

test/t_entities.adb

test/t_exception_propagation.adb

test/t_naming_convention.adb

test/t_silent_exceptions.adb

test/t_simplifiable_expressions.adb

test/t_statements.adb

test/tfw_naming.adb

test/tfw_rule_off.adb

Show diffs side-by-side

added added

removed removed

GPS/zadactl.xml

debian/adacontrol.gpr

debian/changelog

doc/adacontrol_pm.html

doc/adacontrol_pm.info

doc/adacontrol_pm.pdf

doc/adacontrol_pm.texi

doc/adacontrol_ug.html

doc/adacontrol_ug.info

doc/adacontrol_ug.pdf

doc/adacontrol_ug.texi

doc/support.txt

patches/gps-integration.patch

rules/no_annex_c.aru

rules/no_annex_d.aru

rules/no_annex_e.aru

rules/no_annex_f.aru

rules/no_annex_g.aru

rules/no_annex_h.aru

rules/no_obsolescent_features.aru

rules/no_standard_entity.aru

rules/no_standard_unit.aru

rules/no_system_entity.aru

rules/ravenscar.aru

rules/verif.aru

src/a4g_bugs.adb

src/a4g_bugs.ads

src/adactl_options.adb

src/adactl_options.ads

src/binary_map.adb

src/binary_map.ads

src/framework-element_queues.ads

src/framework-language-commands.adb

src/framework-language-commands.ads

src/framework-language-scanner.adb

src/framework-language-scanner.ads

src/framework-language.adb

src/framework-language.ads

src/framework-plugs.adb

src/framework-plugs.ads

src/framework-reports.adb

src/framework-reports.ads

src/framework-ruler.adb

src/framework-ruler.ads

src/framework-rules_manager.adb

src/framework-rules_manager.ads

src/framework-scope_manager.adb

src/framework-scope_manager.ads

src/framework-specific_plugs.adb

src/framework-specific_plugs.ads

src/framework.adb

src/framework.ads

src/implementation_options.adb

src/implementation_options.ads

src/linear_queue.adb

src/linear_queue.ads

src/options_analyzer.adb

src/rules-abnormal_function_return.adb

src/rules-abnormal_function_return.ads

src/rules-allocators.adb

src/rules-case_statement.adb

src/rules-case_statement.ads

src/rules-control_characters.adb

src/rules-control_characters.ads

src/rules-declaration.adb

src/rules-declaration.ads

src/rules-declarations.adb

src/rules-declarations.ads

src/rules-default_parameter.adb

src/rules-directly_accessed_globals.adb

src/rules-directly_accessed_globals.ads

src/rules-entities.adb

src/rules-entity_inside_exception.adb

src/rules-exception_propagation.adb

src/rules-exception_propagation.ads

src/rules-global_references.adb

src/rules-global_references.ads

src/rules-header_comments.adb

src/rules-header_comments.ads

src/rules-if_for_case.adb

src/rules-if_for_case.ads

src/rules-instantiations.adb

src/rules-local_hiding.adb

src/rules-local_instantiation.adb

src/rules-local_instantiation.ads

src/rules-max_blank_lines.adb

src/rules-max_blank_lines.ads

src/rules-max_line_length.adb

src/rules-max_line_length.ads

src/rules-max_nesting.adb

src/rules-max_statement_nesting.adb

src/rules-max_statement_nesting.ads

src/rules-movable_accept_statements.adb

src/rules-movable_accept_statements.ads

src/rules-naming_convention.adb

src/rules-no_closing_name.adb

src/rules-no_closing_name.ads

src/rules-no_safe_initialization.adb

src/rules-no_safe_initialization.ads

src/rules-non_static_constraints.adb

src/rules-non_static_constraints.ads

src/rules-not_elaboration_calls.adb

src/rules-parameter_aliasing.adb

src/rules-positional_parameters.adb

src/rules-positional_parameters.ads

src/rules-potentially_blocking_operations.adb

src/rules-potentially_blocking_operations.ads

src/rules-pragmas.adb

src/rules-real_operators.adb

src/rules-real_operators.ads

src/rules-reduceable_scope.adb

src/rules-reduceable_scope.ads

src/rules-representation_clauses.adb

src/rules-representation_clauses.ads

src/rules-return_type.adb

src/rules-return_type.ads

src/rules-side_effect_parameters.adb

src/rules-silent_exceptions.adb

src/rules-simplifiable_expressions.adb

src/rules-simplifiable_expressions.ads

src/rules-special_comments.adb

src/rules-special_comments.ads

src/rules-specification_objects.adb

src/rules-specification_objects.ads

src/rules-statement.adb

src/rules-statement.ads

src/rules-statements.adb

src/rules-statements.ads

src/rules-style.adb

src/rules-style.ads

src/rules-terminating_tasks.adb

src/rules-terminating_tasks.ads

src/rules-unnecessary_use.adb

src/rules-unnecessary_use.ads

src/rules-unsafe_paired_calls.adb

src/rules-unsafe_paired_calls.ads

src/rules-usage.adb

src/rules-usage.ads

src/rules-use_clauses.adb

src/rules-when_others_null.adb

src/rules-when_others_null.ads

src/rules-with_clauses.adb

src/rules-with_clauses.ads

src/string_matching_gnat.adb

src/string_matching_gnat.ads

src/string_matching_portable.adb

src/thick_queries.adb

src/thick_queries.ads

src/units_list.adb

src/units_list.ads

src/utilities.adb

src/utilities.ads

test/conf/t_abnormal_function_return.aru

test/conf/t_allocators.aru

test/conf/t_case_statement.aru

test/conf/t_control_characters.aru

test/conf/t_declarations.aru

test/conf/t_default_parameter.aru

test/conf/t_directly_accessed_globals.aru

test/conf/t_entities.aru

test/conf/t_exception_propagation.aru

test/conf/t_global_references.aru

test/conf/t_header_comments.aru

test/conf/t_if_for_case.aru

test/conf/t_instantiations.aru

test/conf/t_local_instantiation.aru

test/conf/t_max_blank_lines.aru

test/conf/t_max_line_length.aru

test/conf/t_max_statement_nesting.aru

test/conf/t_movable_accept_statements.aru

test/conf/t_naming_convention.aru

test/conf/t_no_closing_name.aru

test/conf/t_no_safe_initialization.aru

test/conf/t_non_static_constraints.aru

test/conf/t_not_elaboration_calls.aru

test/conf/t_positional_parameters.aru

test/conf/t_potentially_blocking_operations.aru

test/conf/t_pragmas.aru

test/conf/t_reduceable_scope.aru

test/conf/t_return_type.aru

test/conf/t_silent_exceptions.aru

test/conf/t_special_comments.aru

test/conf/t_specification_objects.aru

test/conf/t_statements.aru

test/conf/t_style.aru

test/conf/t_terminating_tasks.aru

test/conf/t_unsafe_paired_calls.aru

test/conf/t_usage.aru

test/conf/t_when_others_null.aru

test/conf/t_with_clauses.aru

test/conf/tfw_inhibit.aru

test/conf/tfw_naming.aru

test/conf/tfw_rule_off.aru

test/conf/x_errors.aru

test/ref/t_abnormal_function_return.txt

test/ref/t_allocators.txt

test/ref/t_case_statement.adt

test/ref/t_case_statement.txt

test/ref/t_control_characters.txt

test/ref/t_declarations.txt

test/ref/t_default_parameter.txt

test/ref/t_directly_accessed_globals.txt

test/ref/t_entities.txt

test/ref/t_exception_propagation.txt

test/ref/t_global_references.txt

test/ref/t_header_comments.txt

test/ref/t_if_for_case.txt

test/ref/t_instantiations.txt

test/ref/t_local_instantiation.txt

test/ref/t_max_blank_lines.txt

test/ref/t_max_line_length.txt

test/ref/t_movable_accept_statements.txt

test/ref/t_naming_convention.txt

test/ref/t_no_closing_name.txt

test/ref/t_no_safe_initialization.txt

test/ref/t_non_static_constraints.txt

test/ref/t_not_elaboration_calls.txt

test/ref/t_positional_parameters.txt

test/ref/t_potentially_blocking_operations.txt

test/ref/t_pragmas.txt

test/ref/t_real_operators.txt

test/ref/t_reduceable_scope.txt

test/ref/t_return_type.txt

test/ref/t_silent_exceptions.txt

test/ref/t_simplifiable_expressions.txt

test/ref/t_special_comments.txt

test/ref/t_specification_objects.txt

test/ref/t_statements.txt

test/ref/t_style.txt

test/ref/t_terminating_tasks.txt

test/ref/t_unnecessary_use_clause.txt

test/ref/t_unsafe_paired_calls.txt

test/ref/t_usage.txt

test/ref/t_when_others_null.txt

test/ref/t_with_clauses.txt

test/ref/tfw_check.txt

test/ref/tfw_help.txt

test/ref/tfw_naming.txt

test/res/t_allocators.txt

test/res/t_declarations.txt

test/res/t_default_parameter.txt

test/res/t_entities.txt

test/res/t_entity_inside_exception.txt

test/res/t_exception_propagation.txt

test/res/t_instantiations.txt

test/res/t_local_hiding.txt

test/res/t_local_instantiation.txt

test/res/t_max_nesting.txt

test/res/t_naming_convention.txt

test/res/t_no_closing_name.txt

test/res/t_not_elaboration_calls.txt

test/res/t_parameter_aliasing.txt

test/res/t_pragmas.txt

test/res/t_real_operators.txt

test/res/t_representation_clauses.txt

test/res/t_side_effect_parameters.txt

test/res/t_silent_exceptions.txt

test/res/t_simplifiable_expressions.txt

test/res/t_specification_objects.txt

test/res/t_statements.txt

test/res/t_unnecessary_use_clause.txt

test/res/t_use_clauses.txt

test/res/t_when_others_null.txt

test/res/tfw_help.txt

test/res/tfw_inhibit.txt

test/res/tfw_naming.txt

test/res/tfw_rule_off.txt

test/res/tfw_rule_off_ignored.txt

test/res/tfw_stress.txt

test/synchro.dmc

test/t_abnormal_function_return.adb

test/t_allocators.adb

test/t_case_statement.adb

test/t_control_characters.adb

test/t_declarations-sep.adb

test/t_declarations.adb

test/t_directly_accessed_globals.adb

test/t_entities-sep.adb

test/t_entities.adb

test/t_exception_propagation.adb

test/t_global_references.adb

test/t_header_comments-sep.adb

test/t_header_comments.adb

test/t_if_for_case.adb

test/t_max_blank_lines.adb

test/t_max_line_length.adb

test/t_max_statement_nesting.adb

test/t_movable_accept_statements-renaming.adb

test/t_movable_accept_statements.adb

test/t_naming_convention-sep.adb

test/t_naming_convention.adb

test/t_naming_convention.ads

test/t_no_closing_name.adb

test/t_no_safe_initialization-sep.adb

test/t_no_safe_initialization.adb

test/t_non_static_constraints.adb

test/t_positional_parameters.adb

test/t_potentially_blocking_operations.adb

test/t_reduceable_scope.adb

test/t_return_type-empty_string.adb

test/t_return_type.adb

test/t_silent_exceptions.adb

test/t_simplifiable_expressions.adb

test/t_special_comments.adb

test/t_specification_objects.adb

test/t_statements.adb

test/t_style.adb

test/t_terminating_tasks.adb

test/t_unsafe_paired_calls.adb

test/t_usage.adb

test/t_when_others_null.adb

test/t_with_clauses-sep.adb

test/t_with_clauses.adb

test/tfw_naming.adb

test/tfw_rule_off.adb

test/x_declarations-child.adb

test/x_declarations.ads

test/x_header_comments.adb

test/x_header_comments.ads

test/x_specification_objects.ads

test/x_usage.adb

test/x_usage.ads

test/x_with_clauses_1-child1.adb

test/x_with_clauses_1-child2.adb

test/x_with_clauses_1.adb

test/x_with_clauses_1.ads

test/x_with_clauses_2.ads

test/xfw_naming.adb

test/xfw_naming.ads

test/xfw_pack.adb

test/xfw_pack.ads

Older »