JML

java.io
Class FileDescriptor

java.lang.Object
  extended byjava.io.FileDescriptor

public final class FileDescriptor
extends Object


Field Summary
static FileDescriptor err
           
private  int fd
           
private  long handle
           
static FileDescriptor in
           
static FileDescriptor out
           
 
Constructor Summary
  FileDescriptor()
           
private FileDescriptor(int)
           
 
Method Summary
private static void initIDs()
           
private static long set(int)
           
private static FileDescriptor standardStream(int)
           
 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

handle

private long handle
Constructor Detail

FileDescriptor

public FileDescriptor()

FileDescriptor

private FileDescriptor(int)
Method Detail

valid

public boolean valid()

sync

public void sync()
          throws SyncFailedException
Throws:
SyncFailedException

initIDs

private static void initIDs()

set

private static long set(int)

standardStream

private static FileDescriptor standardStream(int)

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.