CVS difference for 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