From 788ddf07630d84085d2e6cfc803d432a4e8c8325 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Tue, 8 Jan 2013 13:37:23 +0100 Subject: [stdlib] Fix a contract bug Also minor corrections of the docs of io(3) --- lib/stdlib/doc/src/io.xml | 51 ++++++++++++++++++++++++++++++++++++++++------- 1 file changed, 44 insertions(+), 7 deletions(-) (limited to 'lib/stdlib/doc/src') diff --git a/lib/stdlib/doc/src/io.xml b/lib/stdlib/doc/src/io.xml index e904f0f0c8..67edc013d4 100644 --- a/lib/stdlib/doc/src/io.xml +++ b/lib/stdlib/doc/src/io.xml @@ -4,7 +4,7 @@
- 19962012 + 19962013 Ericsson AB. All Rights Reserved. @@ -306,6 +306,11 @@

The parsing failed.

+ {error, ErrorDescription} + +

Other (rare) error condition, for instance {error, estale} + if reading from an NFS file system.

+
@@ -333,6 +338,11 @@

The parsing failed.

+ {error, ErrorDescription} + +

Other (rare) error condition, for instance {error, estale} + if reading from an NFS file system.

+
@@ -851,12 +861,21 @@ enter>: alan : joe {eof, EndLocation} -

End of file was encountered.

+

End of file was encountered by the tokenizer.

+
+ eof + +

End of file was encountered by the I/O-server.

{error, ErrorInfo, ErrorLocation} -

An error occurred.

+

An error occurred while tokenizing.

+ {error, ErrorDescription} + +

Other (rare) error condition, for instance {error, estale} + if reading from an NFS file system.

+

Example:

@@ -913,12 +932,21 @@ enter>1.0er.
           
           {eof, EndLocation}
           
-            

End of file was encountered.

+

End of file was encountered by the tokenizer.

+
+ eof + +

End of file was encountered by the I/O-server.

{error, ErrorInfo, ErrorLocation} -

An error occurred.

+

An error occurred while tokenizing or parsing.

+ {error, ErrorDescription} + +

Other (rare) error condition, for instance {error, estale} + if reading from an NFS file system.

+

Example:

@@ -955,12 +983,21 @@ enter>abc("hey".
           
           {eof, EndLocation}
           
-            

End of file was encountered.

+

End of file was encountered by the tokenizer.

+
+ eof + +

End of file was encountered by the I/O-server.

{error, ErrorInfo, ErrorLocation} -

An error occurred.

+

An error occurred while tokenizing or parsing.

+ {error, ErrorDescription} + +

Other (rare) error condition, for instance {error, estale} + if reading from an NFS file system.

+
-- cgit v1.2.3