libs/csharp/GPFiles.cs

   1 /* ------------------------------------------------------------ */
   2 // Body of GPFiles interface.
   3 // This file implements the code of the GPFiles.cp file.
   4 // dwc August 1999. COOL version kjg May 2000
   5 // kjg September 2000.  Stripped version as abstract base class.
   6 // kjg March 2001.  Version for Beta-2 libraries.
   7 /* ------------------------------------------------------------ */
   8
   9 namespace GPFiles {
  10 public abstract class GPFiles {
  11
  12   public static char pathSep = ';';
  13   public static char fileSep = '\\';
  14   public static char optChar = '/';
  15
  16   /* ---------------------------------- */
  17
  18   private static System.String mkStr(char[] arr) {
  19     int  ix = 0;
  20     char ch;
  21     do {
  22         ch = arr[ix]; ix++;
  23     } while (ch != '\0');
  24     return new System.String(arr,0,ix-1);
  25   }
  26
  27   /* ---------------------------------- */
  28
  29   public static bool isOlder(FILE first, FILE second) {
  30         int comp = System.DateTime.Compare(
  31                      System.IO.File.GetLastWriteTime(first.path),
  32                      System.IO.File.GetLastWriteTime(second.path)
  33                 );
  34         return comp == -1;
  35     }
  36
  37   public static void MakeDirectory(char[] dirName) {
  38         System.String path = mkStr(dirName);
  39         System.IO.Directory.CreateDirectory(path);
  40     }
  41
  42   public static char[] CurrentDirectory() {
  43         return System.IO.Directory.GetCurrentDirectory().ToCharArray();
  44   }
  45
  46   public static bool exists(char[] filName) {
  47         System.String path  = mkStr(filName);
  48         return System.IO.File.Exists(path);
  49     }
  50
  51   } // end of class GPFiles
  52
  53 /* ------------------------------------------------------------ */
  54
  55 public abstract class FILE {
  56         public System.String path;
  57   }  // end of class GPFiles.FILE
  58
  59 /* ------------------------------------------------------------ */
  60 }  // end of NameSpace GPFiles
  61 /* ------------------------------------------------------------ */
  62