diff options
Diffstat (limited to 'gcc/ada/contracts.ads')
| -rw-r--r-- | gcc/ada/contracts.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/contracts.ads b/gcc/ada/contracts.ads index ca9f84f..8b82037 100644 --- a/gcc/ada/contracts.ads +++ b/gcc/ada/contracts.ads @@ -56,6 +56,7 @@ package Contracts is -- Part_Of -- Postcondition -- Precondition + -- Program_Exit -- Refined_Depends -- Refined_Global -- Refined_Post @@ -90,6 +91,7 @@ package Contracts is -- Global (stand alone subprogram body) -- Postcondition (stand alone subprogram body) -- Precondition (stand alone subprogram body) + -- Program_Exit (stand alone subprogram body) -- Refined_Depends -- Refined_Global -- Refined_Post @@ -110,6 +112,7 @@ package Contracts is -- Global -- Postcondition -- Precondition + -- Program_Exit -- Subprogram_Variant -- Test_Case -- @@ -186,6 +189,7 @@ package Contracts is -- Global -- Postcondition -- Precondition + -- Program_Exit -- Refined_Depends -- Refined_Global -- Refined_Post |