Robust/src/ClassLibrary/SSJavaInfer/FileDescriptor.java

   1 /* FileDescriptor.java -- Opaque file handle class
   2    Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004
   3    Free Software Foundation, Inc.
   4
   5    This file is part of GNU Classpath.
   6
   7    GNU Classpath is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 2, or (at your option)
  10    any later version.
  11
  12    GNU Classpath is distributed in the hope that it will be useful, but
  13    WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  15    General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with GNU Classpath; see the file COPYING.  If not, write to the
  19    Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  20    02110-1301 USA.
  21
  22    Linking this library statically or dynamically with other modules is
  23    making a combined work based on this library.  Thus, the terms and
  24    conditions of the GNU General Public License cover the whole
  25    combination.
  26
  27    As a special exception, the copyright holders of this library give you
  28    permission to link this library with independent modules to produce an
  29    executable, regardless of the license terms of these independent
  30    modules, and to copy and distribute the resulting executable under
  31    terms of your choice, provided that you also meet, for each linked
  32    independent module, the terms and conditions of the license of that
  33    module.  An independent module is a module which is not derived from
  34    or based on this library.  If you modify this library, you may extend
  35    this exception to your version of the library, but you are not
  36    obligated to do so.  If you do not wish to do so, delete this
  37    exception statement from your version. */
  38
  39 //package java.io;
  40
  41 /*import gnu.java.nio.FileChannelImpl;
  42
  43  import java.nio.channels.ByteChannel;
  44  import java.nio.channels.FileChannel;
  45  */
  46 /**
  47  * This class represents an opaque file handle as a Java class. It should be
  48  * used only to pass to other methods that expect an object of this type. No
  49  * system specific information can be obtained from this object.
  50  *
  51  * @author Aaron M. Renn (arenn@urbanophile.com)
  52  * @author Tom Tromey (tromey@cygnus.com)
  53  * @date September 24, 1998
  54  */
  55 public final class FileDescriptor {
  56   /**
  57    * A <code>FileDescriptor</code> representing the system standard input
  58    * stream. This will usually be accessed through the <code>System.in</code>
  59    * variable.
  60    */
  61   public static final FileDescriptor in = new FileDescriptor("System.in" /*
  62                                                                           * FileChannelImpl
  63                                                                           * .in
  64                                                                           */);
  65
  66   /**
  67    * A <code>FileDescriptor</code> representing the system standard output
  68    * stream. This will usually be accessed through the <code>System.out</code>
  69    * variable.
  70    */
  71   public static final FileDescriptor out = new FileDescriptor("System.out" /*
  72                                                                             * FileChannelImpl
  73                                                                             * .
  74                                                                             * out
  75                                                                             */);
  76
  77   /**
  78    * A <code>FileDescriptor</code> representing the system standard error
  79    * stream. This will usually be accessed through the <code>System.err</code>
  80    * variable.
  81    */
  82   public static final FileDescriptor err = new FileDescriptor("System.err" /*
  83                                                                             * FileChannelImpl
  84                                                                             * .
  85                                                                             * err
  86                                                                             */);
  87
  88   // final ByteChannel channel;
  89   final String channel;
  90
  91   /**
  92    * This method is used to initialize an invalid FileDescriptor object.
  93    */
  94   public FileDescriptor() {
  95     channel = null;
  96   }
  97
  98   /**
  99    * This method is used to initialize a FileDescriptor object.
 100    */
 101   /*
 102    * FileDescriptor(ByteChannel channel) { this.channel = channel; }
 103    */
 104
 105   FileDescriptor(String channel) {
 106     this.channel = channel;
 107   }
 108
 109   /**
 110    * This method forces all data that has not yet been physically written to the
 111    * underlying storage medium associated with this <code>FileDescriptor</code>
 112    * to be written out. This method will not return until all data has been
 113    * fully written to the underlying device. If the device does not support this
 114    * functionality or if an error occurs, then an exception will be thrown.
 115    */
 116   /*
 117    * public void sync () throws SyncFailedException { if (channel instanceof
 118    * FileChannel) { try { ((FileChannel) channel).force(true); } catch
 119    * (IOException ex) { if (ex instanceof SyncFailedException) throw
 120    * (SyncFailedException) ex; else throw new
 121    * SyncFailedException(ex.toString()); } } }
 122    */
 123
 124   /**
 125    * This methods tests whether or not this object represents a valid open
 126    * native file handle.
 127    *
 128    * @return <code>true</code> if this object represents a valid native file
 129    *         handle, <code>false</code> otherwise
 130    */
 131   /*
 132    * public boolean valid () { ByteChannel c = channel; return (c != null) &&
 133    * (c.isOpen()); }
 134    */
 135 }