CVS difference for ai12s/ai12-0187-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0187-1.txt

--- ai12s/ai12-0187-1.txt	2016/09/01 00:20:44	1.3
+++ ai12s/ai12-0187-1.txt	2016/10/03 03:57:29	1.4
@@ -258,7 +258,7 @@
                Post => Is_Open(File) = True and then
                        Ada.Text_IO.Mode(File) = Mode;
              -- No implicit postcondition here, both stable property functions
-             -- are named.
+             -- are named in the explicit postcondition.
 
 [Author's note: Those who will complain about writing Is_Open = True (and you
 know who you are ;-), I wrote it this way to emphasize that the postcondition
@@ -271,12 +271,12 @@
           with Stable_Properties => not Mode,
                Post => Is_Open(File) = False;
              -- No implicit postcondition here, Mode was explicitly removed,
-             -- and Is_Open is used in the postcondition.
+             -- and Is_Open is used in the explicit postcondition.
 
        ...
 
        procedure Put(File : in  File_Type; Item : in String)
-          with Pre => Mode(File) or else Mode_Error;
+          with Pre => Mode(File) /= In_File or else Mode_Error;
                    -- Mode will raise Status_Error if needed.
              -- An implicit postcondition here:
              -- Post => Is_Open(File) = Is_Open(File)'Old and then

Questions? Ask the ACAA Technical Agent