diff options
author | Hans Bolinder <[email protected]> | 2011-06-28 14:00:10 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2011-08-25 15:37:11 +0200 |
commit | c6f772a04eafccf03d20b0bbda08c399b4640f38 (patch) | |
tree | 2f874162ed8ff7cd9d10d9472d7b771862d20eed /lib/kernel/doc/src/gen_udp.xml | |
parent | d48eaa0731017e5cdadca0af77ac14cd949b6c67 (diff) | |
download | otp-c6f772a04eafccf03d20b0bbda08c399b4640f38.tar.gz otp-c6f772a04eafccf03d20b0bbda08c399b4640f38.tar.bz2 otp-c6f772a04eafccf03d20b0bbda08c399b4640f38.zip |
Improve types and specifications of the inet modules
Diffstat (limited to 'lib/kernel/doc/src/gen_udp.xml')
-rw-r--r-- | lib/kernel/doc/src/gen_udp.xml | 21 |
1 files changed, 3 insertions, 18 deletions
diff --git a/lib/kernel/doc/src/gen_udp.xml b/lib/kernel/doc/src/gen_udp.xml index c0e783f508..daa9b7d887 100644 --- a/lib/kernel/doc/src/gen_udp.xml +++ b/lib/kernel/doc/src/gen_udp.xml @@ -36,25 +36,10 @@ <datatypes> <datatype> - <name name="hostname"/> + <name name="option"/> </datatype> <datatype> - <name name="ip_address"/> - <desc> - <p>Represents an address of a TCP socket. - It is a tuple as explained in - <seealso marker="inet">inet(3)</seealso>.</p> - </desc> - </datatype> - <datatype> - <name name="port_number"/> - </datatype> - <datatype> - <name name="posix"/> - <desc> - <p>See <seealso marker="inet#error_codes"> - inet(3); POSIX Error Codes</seealso>.</p> - </desc> + <name name="option_name"/> </datatype> <datatype> <name><marker id="type-socket">socket()</marker></name> @@ -87,7 +72,7 @@ <p>If the host has several network interfaces, this option specifies which one to use.</p> </item> - <tag><c>{fd, int()}</c></tag> + <tag><c>{fd, integer() >= 0}</c></tag> <item> <p>If a socket has somehow been opened without using <c>gen_udp</c>, use this option to pass the file |