| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Rule changes according to HISTORY file since version 1.15r5:
New rules:
----------
positional_associations (took over style (positional_association))
type_usage
unit_pattern
unsafe_elaboration
Changes to existing rules:
--------------------------
No_Operator_Usage:
added observed relational
Changed syntax
Filtering on indexing in addition to logical operators
Style (Multiple_Elements):
separated keywords from other subrules
(Casing_Identifier, original): Check closing identifier, allow multiple
casing options.
Positional_Association: removed, now subrule of Positional_Associations.
Parameter_Order, Formal_Parameter_Order: modes are separated by "|".
Multiple_Element: checks proper presentation of "end", "for ... loop"
With_Clauses:
Handle correctly case of with clauses required due to a use clause
or pragma Elaborate for the same package in the context clauses.
Use_Clauses
Added subrules type, type_global, type_local.
Array_Declarations:
Slightly changed the syntax of the component subrule.
Case_Statements:
Added subrule values_if_others
Declarations:
Added subrules box_defaulted_formal_function,
name_defaulted_formal_function, box_defaulted_formal_procedure,
name_defaulted_formal_procedure, null_defaulted_formal_procedure,
non_ravenscar_task, access_constrained_array_type,
access_unconstrained_array_type, access_def_discriminated_type,
access_nondef_discriminated_type,
access_unknown_discriminated_type, access_formal_type,
access_language_type, equality_operator
Better placement of some messages
Dependencies:
Added subrules public_child, private_child
Expressions:
Added subrules in, not_in, static_membership, and_array,
and_logical, and_binary, or_array, or_logical, or_binary,
xor_array, xor_logical, xor_binary, upward_conversion,
downward_conversion, extension_aggregate, extendable_aggregate,
array_positional_others, array_named_others,
unconverted_fixed_multiplying_op
Subrule Mixed_Operators considers membership tests and short circuit forms
Local_Hiding:
Added modifiers Not_Identical_Renaming, Not_Different_Families
Global_References:
Added subrules read, written
Multiple_Assignments:
The rule has been renamed to "Assignments"
Added subrule sliding.
Added criterion total.
Naming_Convention:
Added specific patterns by object and functions type names and categories
Added subrules regular_static_constant, regular_nonstatic_constant
Object declarations:
Added subrule type.
Parameter_Declarations:
Added subrules tagged_parameters, class_wide_parameters.
Added callables dispatching_function, dispatching_parameter
Reduceable_Scope:
Don't suggest moving declarations to a task specification
Representation_Clauses:
Added subrule no_bit_order_layout
Statements:
Added subrules named_exit, exit_plain_loop, simple_block,
unnamed_simple_block, redispatching_call.
Normalized behaviour of subrule exit.
Notes:
svn path=/head/; revision=351199
|
