diff options
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 23a23d30648..99711546cb5 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -35,14 +35,6 @@ package Sem_Prag is -- Subprograms -- ----------------- - procedure Analyze_PPC_In_Decl_Part (N : Node_Id; S : Entity_Id); - -- Special analyze routine for precondition/postcondition pragma that - -- appears within a declarative part where the pragma is associated - -- with a subprogram specification. N is the pragma node, and S is the - -- entity for the related subprogram. This procedure does a preanalysis - -- of the expressions in the pragma as "spec expressions" (see section - -- in Sem "Handling of Default and Per-Object Expressions..."). - procedure Analyze_Pragma (N : Node_Id); -- Analyze procedure for pragma reference node N @@ -54,6 +46,14 @@ package Sem_Prag is -- expressions in the pragma as "spec expressions" (see section in Sem -- "Handling of Default and Per-Object Expressions..."). + procedure Analyze_PPC_In_Decl_Part (N : Node_Id; S : Entity_Id); + -- Special analyze routine for precondition/postcondition pragma that + -- appears within a declarative part where the pragma is associated + -- with a subprogram specification. N is the pragma node, and S is the + -- entity for the related subprogram. This procedure does a preanalysis + -- of the expressions in the pragma as "spec expressions" (see section + -- in Sem "Handling of Default and Per-Object Expressions..."). + function Check_Disabled (Nam : Name_Id) return Boolean; -- This function is used in connection with pragmas Assertion, Check, -- Precondition, and Postcondition, to determine if Check pragmas (or |