BufferedReader.java, [...]: Fixed javadocs all over.
2004-11-16 Michael Koch <konqueror@gmx.de> * java/io/BufferedReader.java, java/io/FileInputStream.java, java/io/FileOutputStream.java, java/io/FileWriter.java, java/io/OutputStreamWriter.java, java/io/PipedInputStream.java, java/io/PipedOutputStream.java, java/io/PipedReader.java, java/io/PipedWriter.java, java/io/PrintStream.java, java/io/PushbackInputStream.java, java/io/RandomAccessFile.java, java/io/Reader.java, java/io/StreamTokenizer.java, java/io/StringReader.java, java/net/NetworkInterface.java, java/net/URLClassLoader.java, java/nio/ByteOrder.java, java/nio/channels/Channel.java: Fixed javadocs all over. From-SVN: r90727
This commit is contained in:
parent
d39289db5a
commit
be06f47bc1
20 changed files with 225 additions and 199 deletions
libjava/java/io
|
@ -128,21 +128,21 @@ public class PipedWriter extends Writer
|
|||
* <code>PipedReader</code> to which this object is connected has
|
||||
* a buffer that cannot hold all of the chars to be written.
|
||||
*
|
||||
* @param buf The array containing chars to write to the stream.
|
||||
* @param buffer The array containing chars to write to the stream.
|
||||
* @param offset The index into the array to start writing chars from.
|
||||
* @param len The number of chars to write.
|
||||
*
|
||||
* @exception IOException If the stream has not been connected or has
|
||||
* been closed.
|
||||
*/
|
||||
public void write(char[] b, int off, int len) throws IOException
|
||||
public void write(char[] buffer, int offset, int len) throws IOException
|
||||
{
|
||||
if (sink == null)
|
||||
throw new IOException ("Not connected");
|
||||
if (closed)
|
||||
throw new IOException ("Pipe closed");
|
||||
|
||||
sink.receive (b, off, len);
|
||||
sink.receive(buffer, offset, len);
|
||||
}
|
||||
|
||||
/**
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue