java.io

Class FileDescriptor

java.lang.Object

java.io.FileDescriptor

public class FileDescriptor
extends Object

a simple abstraction for a file descriptor, which for us is little more than just an id for a native data buffer (we don't want to keep the data itself in the JPF space) <2do> still needs the standard descriptors

Constructor Summary

Constructors

Constructor and Description
FileDescriptor()

Method Summary

Methods

Modifier and Type	Method and Description
void	close()
void	sync()
boolean	valid()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FileDescriptor

public FileDescriptor()

Method Detail

valid

public boolean valid()

close

public void close()
           throws IOException

Throws:

IOException

sync

public void sync()