2 // Body of GPFiles interface.
3 // This file implements the code of the GPFiles.cp file.
11 public class GPFiles
{
13 public static char pathSep
= System
.getProperty("path.separator").charAt(0);
14 public static char fileSep
= System
.getProperty("file.separator").charAt(0);
15 public static char optChar
= '-';
17 public static boolean isOlder(GPFiles_FILE first
, GPFiles_FILE second
) {
18 return (first
.f
.lastModified() < second
.f
.lastModified());
21 public static void MakeDirectory(char[] dirName
) {
22 File path
= new File(CP
.CPJ
.CPJ
.MkStr(dirName
));
24 boolean ok
= path
.mkdirs();
28 public static char[] CurrentDirectory() {
29 String curDir
= System
.getProperty("user.dir");
30 return curDir
.toCharArray();
33 public static boolean exists(char[] dirName
) {
34 File path
= new File(CP
.CPJ
.CPJ
.MkStr(dirName
));