diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-03 20:44:03 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-27 04:15:55 -0500 |
| commit | 8ff03120fc5febb76324ffd3a3bbfa1bcb75514c (patch) | |
| tree | 91d0673170634ed8facce45d517a0fa682b06253 | |
| parent | 79b149b19d9079f67dfb2c5d7b99aa103f108e19 (diff) | |
| download | gcc-8ff03120fc5febb76324ffd3a3bbfa1bcb75514c.zip gcc-8ff03120fc5febb76324ffd3a3bbfa1bcb75514c.tar.gz gcc-8ff03120fc5febb76324ffd3a3bbfa1bcb75514c.tar.bz2 | |
[Ada] Default_Initial_Condition assertion policy is now RM defined
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst:
(Assertion_Policy): Move "Default_Initial_Condition" from
ID_ASSERTION_KIND to RM_ASSERTION_KIND section.
* gnat_rm.texi: Regenerate.
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 54 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 54 |
2 files changed, 54 insertions, 54 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 2fad1d6..f8a62a5 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -434,33 +434,33 @@ Syntax:: ASSERTION_KIND ::= RM_ASSERTION_KIND | ID_ASSERTION_KIND - RM_ASSERTION_KIND ::= Assert | - Static_Predicate | - Dynamic_Predicate | - Pre | - Pre'Class | - Post | - Post'Class | - Type_Invariant | - Type_Invariant'Class - - ID_ASSERTION_KIND ::= Assertions | - Assert_And_Cut | - Assume | - Contract_Cases | - Debug | - Default_Initial_Condition | - Ghost | - Initial_Condition | - Invariant | - Invariant'Class | - Loop_Invariant | - Loop_Variant | - Postcondition | - Precondition | - Predicate | - Refined_Post | - Statement_Assertions | + RM_ASSERTION_KIND ::= Assert | + Static_Predicate | + Dynamic_Predicate | + Pre | + Pre'Class | + Post | + Post'Class | + Type_Invariant | + Type_Invariant'Class | + Default_Initial_Condition + + ID_ASSERTION_KIND ::= Assertions | + Assert_And_Cut | + Assume | + Contract_Cases | + Debug | + Ghost | + Initial_Condition | + Invariant | + Invariant'Class | + Loop_Invariant | + Loop_Variant | + Postcondition | + Precondition | + Predicate | + Refined_Post | + Statement_Assertions | Subprogram_Variant POLICY_IDENTIFIER ::= Check | Disable | Ignore | Suppressible diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index c51c605..b6ea1e4 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -1807,33 +1807,33 @@ pragma Assertion_Policy ( ASSERTION_KIND ::= RM_ASSERTION_KIND | ID_ASSERTION_KIND -RM_ASSERTION_KIND ::= Assert | - Static_Predicate | - Dynamic_Predicate | - Pre | - Pre'Class | - Post | - Post'Class | - Type_Invariant | - Type_Invariant'Class - -ID_ASSERTION_KIND ::= Assertions | - Assert_And_Cut | - Assume | - Contract_Cases | - Debug | - Default_Initial_Condition | - Ghost | - Initial_Condition | - Invariant | - Invariant'Class | - Loop_Invariant | - Loop_Variant | - Postcondition | - Precondition | - Predicate | - Refined_Post | - Statement_Assertions | +RM_ASSERTION_KIND ::= Assert | + Static_Predicate | + Dynamic_Predicate | + Pre | + Pre'Class | + Post | + Post'Class | + Type_Invariant | + Type_Invariant'Class | + Default_Initial_Condition + +ID_ASSERTION_KIND ::= Assertions | + Assert_And_Cut | + Assume | + Contract_Cases | + Debug | + Ghost | + Initial_Condition | + Invariant | + Invariant'Class | + Loop_Invariant | + Loop_Variant | + Postcondition | + Precondition | + Predicate | + Refined_Post | + Statement_Assertions | Subprogram_Variant POLICY_IDENTIFIER ::= Check | Disable | Ignore | Suppressible |