38 |
|
|
39 |
package java.io; |
package java.io; |
40 |
|
|
|
import gnu.classpath.Configuration; |
|
41 |
import java.nio.channels.FileChannel; |
import java.nio.channels.FileChannel; |
42 |
import gnu.java.nio.FileChannelImpl; |
import gnu.java.nio.FileChannelImpl; |
43 |
|
|
206 |
* |
* |
207 |
* @exception IOException If an error occurs |
* @exception IOException If an error occurs |
208 |
*/ |
*/ |
209 |
public final FileDescriptor getFD() throws IOException |
public final FileDescriptor getFD () throws IOException |
210 |
{ |
{ |
211 |
|
if (! fd.valid()) |
212 |
|
throw new IOException (); |
213 |
return fd; |
return fd; |
214 |
} |
} |
215 |
|
|
220 |
* |
* |
221 |
* @exception IOException If an error occurs |
* @exception IOException If an error occurs |
222 |
*/ |
*/ |
223 |
public void write(int b) throws IOException |
public void write (int b) throws IOException |
224 |
{ |
{ |
225 |
fd.write (b); |
fd.write (b); |
226 |
} |
} |
262 |
*/ |
*/ |
263 |
public void close () throws IOException |
public void close () throws IOException |
264 |
{ |
{ |
265 |
fd.close (); |
if (fd.valid()) |
266 |
|
fd.close(); |
267 |
} |
} |
268 |
|
|
269 |
/** |
/** |