Branch: Tag:

2008-07-14

2008-07-14 09:12:13 by Stephen R. van den Berg <srb@cuci.nl>

Renamed FILE.unget() to FILE.unread(), updated docs and Changelog

Rev: CHANGES:1.114
Rev: lib/modules/Stdio.pmod/module.pmod:1.242

2052:    input conversion.</p>   </dd>   <dt class='head--doc'>See also</dt> - <dd class='body--doc'><p><code>Stdio.File()-&gt;read()</code>, <code>set_charset()</code></p> + <dd class='body--doc'><p><code>Stdio.File()-&gt;read()</code>, <code>set_charset()</code>, <code>unread()</code></p>   </dd></dl>      
2090:   <hr />   <dl class='group--doc'>   <dt class='head--type'><span class='homogen--type'>Method</span> - <span class='homogen--name'><b>unget</b></span> + <span class='homogen--name'><b>ungets</b></span>   </dt> - <dd><p><code><code class='datatype'>void</code> <b><span class='method'>unget</span>(</b><code class='datatype'>string</code> <code class='argument'>s</code><b>)</b></code></p></dd> + <dd><p><code><code class='datatype'>void</code> <b><span class='method'>ungets</span>(</b><code class='datatype'>string</code> <code class='argument'>s</code><b>)</b></code></p></dd>      <dt class='head--doc'>Description</dt> - <dd class='body--doc'><p>This function puts a string back in the input buffer. The string + <dd class='body--doc'><p>This function puts a line back in the input buffer. The string    can then be read with eg <code>read()</code>, <code>gets()</code> or <code>getchar()</code>.</p>   </dd> -  + <dt class='head--doc'>Note</dt> + <dd class='body--doc'><p>The string is autoterminated by an extra line-feed.</p> + </dd>   <dt class='head--doc'>See also</dt> - <dd class='body--doc'><p><code>read()</code>, <code>gets()</code>, <code>getchar()</code></p> + <dd class='body--doc'><p><code>read()</code>, <code>gets()</code>, <code>getchar()</code>, <code>unread()</code></p>   </dd></dl>         <hr />   <dl class='group--doc'>   <dt class='head--type'><span class='homogen--type'>Method</span> - <span class='homogen--name'><b>ungets</b></span> + <span class='homogen--name'><b>unread</b></span>   </dt> - <dd><p><code><code class='datatype'>void</code> <b><span class='method'>ungets</span>(</b><code class='datatype'>string</code> <code class='argument'>s</code><b>)</b></code></p></dd> + <dd><p><code><code class='datatype'>void</code> <b><span class='method'>unread</span>(</b><code class='datatype'>string</code> <code class='argument'>s</code><b>)</b></code></p></dd>      <dt class='head--doc'>Description</dt> - <dd class='body--doc'><p>This function puts a line back in the input buffer. The string + <dd class='body--doc'><p>This function puts a string back in the input buffer. The string    can then be read with eg <code>read()</code>, <code>gets()</code> or <code>getchar()</code>.</p>   </dd> - <dt class='head--doc'>Note</dt> - <dd class='body--doc'><p>The string is autoterminated by an extra line-feed.</p> - </dd> +    <dt class='head--doc'>See also</dt> - <dd class='body--doc'><p><code>read()</code>, <code>gets()</code>, <code>getchar()</code></p> + <dd class='body--doc'><p><code>read()</code>, <code>gets()</code>, <code>getchar()</code>, <code>ungets()</code></p>   </dd></dl>