+2014-02-06 Robert Dewar <dewar@adacore.com>
+
+ * exp_util.ads, checks.adb, sem_prag.adb, prj-util.adb, sem_ch13.adb:
+ Minor reformatting and code clean ups.
+
2014-02-06 Pascal Obry <obry@adacore.com>
* prj-util.adb (For_Interface_Sources): Skip non compilable languages.
-- predicated subtype itself, rather than some covering type. This
-- is likely to be a common error, and thus deserves a warning.
- elsif Present (S) and then S = Predicate_Function (Typ) then
+ elsif Present (S) and then S = Predicate_Function (Typ) then
Error_Msg_N
("predicate check includes a function call that "
& "requires a predicate check??", Parent (N));
function Within_Case_Or_If_Expression (N : Node_Id) return Boolean;
-- Determine whether arbitrary node N is within a case or an if expression
- function Within_Internal_Subprogram return Boolean;
+ function Within_Internal_Subprogram return Boolean;
-- Indicates that some expansion is taking place within the body of a
-- predefined primitive operation. Some expansion activity (e.g. predicate
-- checks) is disabled in such.
-- the interface for standalone libraries.
if Sid.Kind = Spec
+ and then not Sid.Project.Externally_Built
and then not Sid.Locally_Removed
and then (Project.Standalone_Library = No
- or else Sid.Declared_In_Interfaces)
- and then Sid.Dep_Name /= No_File -- for non compilable languages
+ or else Sid.Declared_In_Interfaces)
+
+ -- Handle case of non-compilable languages
+
+ and then Sid.Dep_Name /= No_File
then
Action (Sid);
Inside_Freezing_Actions := Inside_Freezing_Actions - 1;
-- If we have a type with predicates, build predicate function. This
- -- is not needed in the generic casee, and is not needed within TSS
+ -- is not needed in the generic case, and is not needed within TSS
-- subprograms and other predefined primitives.
if Non_Generic_Case
and then Present (Component_Associations (Expr))
then
Error_Msg_N
- ("dependency clause contains extra parenthesis", Expr);
+ ("dependency clause contains extra parentheses", Expr);
-- Otherwise the expression is a malformed construct