libs/java/GPBinFiles_FILE.java

   1 // File Object for CP
   2 // dwc August 1999.
   3
   4
   5 package CP.GPBinFiles;
   6
   7 import java.io.*;
   8 import CP.GPFiles.*;
   9
  10 public class GPBinFiles_FILE extends GPFiles_FILE {
  11   public RandomAccessFile rf;
  12   public long length;
  13 }
  14
  15