mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-28 00:11:16 +08:00
2003-06-27 Michael Koch <konqueror@gmx.de>
* java/io/RandomAccessFile.java (readLine): Removed wrong @deprecated tag. (getChannel): Made final. From-SVN: r68574
This commit is contained in:
parent
67f2899de2
commit
824d4a1036
@ -1,3 +1,9 @@
|
||||
2003-06-27 Michael Koch <konqueror@gmx.de>
|
||||
|
||||
* java/io/RandomAccessFile.java
|
||||
(readLine): Removed wrong @deprecated tag.
|
||||
(getChannel): Made final.
|
||||
|
||||
2003-06-27 Michael Koch <konqueror@gmx.de>
|
||||
|
||||
* gnu/java/nio/FileChannelImpl.java
|
||||
|
@ -488,8 +488,6 @@ public class RandomAccessFile implements DataOutput, DataInput
|
||||
* @exception IOException If an error occurs
|
||||
*
|
||||
* @see DataOutput
|
||||
*
|
||||
* @deprecated
|
||||
*/
|
||||
public final String readLine () throws IOException
|
||||
{
|
||||
@ -962,7 +960,7 @@ public class RandomAccessFile implements DataOutput, DataInput
|
||||
* A file channel must be created by first creating an instance of
|
||||
* Input/Output/RandomAccessFile and invoking the getChannel() method on it.
|
||||
*/
|
||||
public synchronized FileChannel getChannel ()
|
||||
public final synchronized FileChannel getChannel ()
|
||||
{
|
||||
if (ch == null)
|
||||
ch = new FileChannelImpl (fd, true, this);
|
||||
|
Loading…
x
Reference in New Issue
Block a user