JML

java.io
Class FileDescriptor

java.lang.Object
  extended byjava.io.FileDescriptor

public final class FileDescriptor
extends Object


Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Field Summary
static FileDescriptor err
           
private  int fd
           
static FileDescriptor in
           
static FileDescriptor out
           
 
Constructor Summary
  FileDescriptor()
           
private FileDescriptor(int)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
private static void initIDs()
           
 void sync()
           
 boolean valid()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

in

public static final FileDescriptor in

out

public static final FileDescriptor out

fd

private int fd

err

public static final FileDescriptor err
Constructor Detail

FileDescriptor

public FileDescriptor()

FileDescriptor

private FileDescriptor(int)
Method Detail

initIDs

private static void initIDs()

sync

public void sync()
          throws SyncFailedException
Throws:
SyncFailedException

valid

public boolean valid()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.