← Back to branch summary

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

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

Viewing all changes in revision 1.

Committer: Bazaar Package Importer
Author(s): Ludovic Brenta
Date: 2006-08-24 08:44:11 UTC
Revision ID: james.westby@ubuntu.com-20060824084411-1r15uio1h75lqgpx

Tags: upstream-1.4r20

Import upstream version 1.4r20

files added:

COPYING

HISTORY

doc

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

readme.txt

rules

rules/no_standard_entity.aru

rules/no_standard_unit.aru

rules/no_system_entity.aru

rules/verif.aru

src

src/Makefile

src/a4g_bugs.adb

src/a4g_bugs.ads

src/adactl.adb

src/adactl.xml

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/options_analyzer.ads

src/pfni.adb

src/ptree.adb

src/ruler.adb

src/ruler.ads

src/rules-allocators.adb

src/rules-allocators.ads

src/rules-declaration.adb

src/rules-declaration.ads

src/rules-default_parameter.adb

src/rules-default_parameter.ads

src/rules-entities.adb

src/rules-entities.ads

src/rules-entity_inside_exception.adb

src/rules-entity_inside_exception.ads

src/rules-exception_propagation.adb

src/rules-exception_propagation.ads

src/rules-instantiations.adb

src/rules-instantiations.ads

src/rules-local_hiding.adb

src/rules-local_hiding.ads

src/rules-local_instantiation.adb

src/rules-local_instantiation.ads

src/rules-max_nesting.adb

src/rules-max_nesting.ads

src/rules-naming_convention.adb

src/rules-naming_convention.ads

src/rules-no_closing_name.adb

src/rules-no_closing_name.ads

src/rules-not_elaboration_calls.adb

src/rules-not_elaboration_calls.ads

src/rules-parameter_aliasing.adb

src/rules-parameter_aliasing.ads

src/rules-pragmas.adb

src/rules-pragmas.ads

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-side_effect_parameters.ads

src/rules-silent_exceptions.adb

src/rules-silent_exceptions.ads

src/rules-simplifiable_expressions.adb

src/rules-simplifiable_expressions.ads

src/rules-specification_objects.adb

src/rules-specification_objects.ads

src/rules-statement.adb

src/rules-statement.ads

src/rules-unnecessary_use.adb

src/rules-unnecessary_use.ads

src/rules-use_clauses.adb

src/rules-use_clauses.ads

src/rules-when_others_null.adb

src/rules-when_others_null.ads

src/rules.ads

src/string_matching.ads

src/string_matching_gnat.adb

src/string_matching_gnat.ads

src/string_matching_portable.adb

src/string_matching_portable.ads

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

test/conf

test/conf/t_allocators.aru

test/conf/t_declarations.aru

test/conf/t_default_parameter.aru

test/conf/t_entities.aru

test/conf/t_entity_inside_exception.aru

test/conf/t_exception_propagation.aru

test/conf/t_instantiations.aru

test/conf/t_local_hiding.aru

test/conf/t_local_instantiation.aru

test/conf/t_max_nesting.aru

test/conf/t_naming_convention.aru

test/conf/t_no_closing_name.aru

test/conf/t_not_elaboration_calls.aru

test/conf/t_parameter_aliasing.aru

test/conf/t_pragmas.aru

test/conf/t_real_operators.aru

test/conf/t_representation_clauses.aru

test/conf/t_side_effect_parameters.aru

test/conf/t_silent_exceptions.aru

test/conf/t_simplifiable_expressions.aru

test/conf/t_specification_objects.aru

test/conf/t_statements.aru

test/conf/t_unnecessary_use_clause.aru

test/conf/t_use_clauses.aru

test/conf/t_when_others_null.aru

test/conf/tfw_inhibit.aru

test/conf/tfw_naming.aru

test/conf/tfw_rule_off.aru

test/conf/tfw_rule_off_ignored.aru

test/ref

test/ref/t_allocators.txt

test/ref/t_declarations.txt

test/ref/t_default_parameter.txt

test/ref/t_entities.txt

test/ref/t_entity_inside_exception.txt

test/ref/t_exception_propagation.txt

test/ref/t_instantiations.txt

test/ref/t_local_hiding.txt

test/ref/t_local_instantiation.txt

test/ref/t_max_nesting.txt

test/ref/t_naming_convention.txt

test/ref/t_no_closing_name.txt

test/ref/t_not_elaboration_calls.txt

test/ref/t_parameter_aliasing.txt

test/ref/t_pragmas.txt

test/ref/t_real_operators.txt

test/ref/t_representation_clauses.txt

test/ref/t_side_effect_parameters.txt

test/ref/t_silent_exceptions.txt

test/ref/t_simplifiable_expressions.txt

test/ref/t_specification_objects.txt

test/ref/t_statements.txt

test/ref/t_unnecessary_use_clause.txt

test/ref/t_use_clauses.txt

test/ref/t_when_others_null.txt

test/ref/tfw_help.txt

test/ref/tfw_inhibit.txt

test/ref/tfw_naming.txt

test/ref/tfw_rule_off.txt

test/ref/tfw_rule_off_ignored.txt

test/ref/tfw_stress.txt

test/run.sh

test/synchro.dmc

test/t_allocators.adb

test/t_declarations.adb

test/t_default_parameter.adb

test/t_entities.adb

test/t_entity_inside_exception.adb

test/t_exception_propagation.adb

test/t_instantiations.adb

test/t_local_hiding.adb

test/t_local_instantiation.adb

test/t_local_instantiation.ads

test/t_max_nesting-sep.adb

test/t_max_nesting.adb

test/t_naming_convention.adb

test/t_no_closing_name.adb

test/t_not_elaboration_calls.adb

test/t_not_elaboration_calls.ads

test/t_parameter_aliasing.adb

test/t_pragmas.adb

test/t_real_operators.adb

test/t_representation_clauses.adb

test/t_side_effect_parameters.adb

test/t_silent_exceptions.adb

test/t_simplifiable_expressions.adb

test/t_specification_objects.adb

test/t_statements.adb

test/t_unnecessary_use_clause-gen.ads

test/t_unnecessary_use_clause-sep.adb

test/t_unnecessary_use_clause.adb

test/t_unnecessary_use_clause.ads

test/t_use_clauses.adb

test/t_when_others_null.adb

test/tfw_inhibit_1.adb

test/tfw_inhibit_2.adb

test/tfw_inhibit_3.adb

test/tfw_naming.adb

test/tfw_rule_off.adb

test/tfw_rule_off_ignored.adb

test/x_specification_objects.ads

test/xfw_pack.adb

test/xfw_pack.ads

Show diffs side-by-side

added added

removed removed

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

rules/no_standard_entity.aru

rules/no_standard_unit.aru

rules/no_system_entity.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-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/options_analyzer.ads

src/rules-allocators.adb

src/rules-allocators.ads

src/rules-declaration.adb

src/rules-declaration.ads

src/rules-default_parameter.adb

src/rules-default_parameter.ads

src/rules-entities.adb

src/rules-entities.ads

src/rules-entity_inside_exception.adb

src/rules-entity_inside_exception.ads

src/rules-exception_propagation.adb

src/rules-exception_propagation.ads

src/rules-instantiations.adb

src/rules-instantiations.ads

src/rules-local_hiding.adb

src/rules-local_hiding.ads

src/rules-local_instantiation.adb

src/rules-local_instantiation.ads

src/rules-max_nesting.adb

src/rules-max_nesting.ads

src/rules-naming_convention.adb

src/rules-naming_convention.ads

src/rules-no_closing_name.adb

src/rules-no_closing_name.ads

src/rules-not_elaboration_calls.adb

src/rules-not_elaboration_calls.ads

src/rules-parameter_aliasing.adb

src/rules-parameter_aliasing.ads

src/rules-pragmas.adb

src/rules-pragmas.ads

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-side_effect_parameters.ads

src/rules-silent_exceptions.adb

src/rules-silent_exceptions.ads

src/rules-simplifiable_expressions.adb

src/rules-simplifiable_expressions.ads

src/rules-specification_objects.adb

src/rules-specification_objects.ads

src/rules-statement.adb

src/rules-statement.ads

src/rules-unnecessary_use.adb

src/rules-unnecessary_use.ads

src/rules-use_clauses.adb

src/rules-use_clauses.ads

src/rules-when_others_null.adb

src/rules-when_others_null.ads

src/string_matching.ads

src/string_matching_gnat.adb

src/string_matching_gnat.ads

src/string_matching_portable.adb

src/string_matching_portable.ads

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_allocators.aru

test/conf/t_declarations.aru

test/conf/t_default_parameter.aru

test/conf/t_entities.aru

test/conf/t_entity_inside_exception.aru

test/conf/t_exception_propagation.aru

test/conf/t_instantiations.aru

test/conf/t_local_hiding.aru

test/conf/t_local_instantiation.aru

test/conf/t_max_nesting.aru

test/conf/t_naming_convention.aru

test/conf/t_no_closing_name.aru

test/conf/t_not_elaboration_calls.aru

test/conf/t_parameter_aliasing.aru

test/conf/t_pragmas.aru

test/conf/t_real_operators.aru

test/conf/t_representation_clauses.aru

test/conf/t_side_effect_parameters.aru

test/conf/t_silent_exceptions.aru

test/conf/t_simplifiable_expressions.aru

test/conf/t_specification_objects.aru

test/conf/t_statements.aru

test/conf/t_unnecessary_use_clause.aru

test/conf/t_use_clauses.aru

test/conf/t_when_others_null.aru

test/conf/tfw_inhibit.aru

test/conf/tfw_naming.aru

test/conf/tfw_rule_off.aru

test/conf/tfw_rule_off_ignored.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_entity_inside_exception.txt

test/ref/t_exception_propagation.txt

test/ref/t_instantiations.txt

test/ref/t_local_hiding.txt

test/ref/t_local_instantiation.txt

test/ref/t_max_nesting.txt

test/ref/t_naming_convention.txt

test/ref/t_no_closing_name.txt

test/ref/t_not_elaboration_calls.txt

test/ref/t_parameter_aliasing.txt

test/ref/t_pragmas.txt

test/ref/t_real_operators.txt

test/ref/t_representation_clauses.txt

test/ref/t_side_effect_parameters.txt

test/ref/t_silent_exceptions.txt

test/ref/t_simplifiable_expressions.txt

test/ref/t_specification_objects.txt

test/ref/t_statements.txt

test/ref/t_unnecessary_use_clause.txt

test/ref/t_use_clauses.txt

test/ref/t_when_others_null.txt

test/ref/tfw_help.txt

test/ref/tfw_inhibit.txt

test/ref/tfw_naming.txt

test/ref/tfw_rule_off.txt

test/ref/tfw_rule_off_ignored.txt

test/ref/tfw_stress.txt

test/synchro.dmc

test/t_allocators.adb

test/t_declarations.adb

test/t_default_parameter.adb

test/t_entities.adb

test/t_entity_inside_exception.adb

test/t_exception_propagation.adb

test/t_instantiations.adb

test/t_local_hiding.adb

test/t_local_instantiation.adb

test/t_local_instantiation.ads

test/t_max_nesting-sep.adb

test/t_max_nesting.adb

test/t_naming_convention.adb

test/t_no_closing_name.adb

test/t_not_elaboration_calls.adb

test/t_not_elaboration_calls.ads

test/t_parameter_aliasing.adb

test/t_pragmas.adb

test/t_real_operators.adb

test/t_representation_clauses.adb

test/t_side_effect_parameters.adb

test/t_silent_exceptions.adb

test/t_simplifiable_expressions.adb

test/t_specification_objects.adb

test/t_statements.adb

test/t_unnecessary_use_clause-gen.ads

test/t_unnecessary_use_clause-sep.adb

test/t_unnecessary_use_clause.adb

test/t_unnecessary_use_clause.ads

test/t_use_clauses.adb

test/t_when_others_null.adb

test/tfw_inhibit_1.adb

test/tfw_inhibit_2.adb

test/tfw_inhibit_3.adb

test/tfw_naming.adb

test/tfw_rule_off.adb

test/tfw_rule_off_ignored.adb

test/x_specification_objects.ads

test/xfw_pack.adb

test/xfw_pack.ads

Older »