- sleep(i);
- return null;
-
- } else if (method.equals("openFile")) {
- if (checkOnly) return Boolean.TRUE;
- if (args.length() != 1) return null;
- String file = Platform.fileDialog(args.elementAt(0).toString(), false);
- return file == null ? null : Res.stringToRes("file:" + file);
-
- } else if (method.equals("saveFile")) {
- if (checkOnly) return Boolean.TRUE;
- // FIXME
- /*
- if (args.length() != 2) return null;
- if (!(args.elementAt(1) instanceof ByteStream)) return null;
- String file = args.elementAt(0).toString();
- if (safeFiles.get(Platform.isCaseSensitive() ? file : file.toLowerCase()) == null) {
- file = Platform.fileDialog(file, true);
- if (file == null) return null;
- safeFiles.put(Platform.isCaseSensitive() ? file : file.toLowerCase(), new Object());
- }
- try {
- ((ByteStream)args.elementAt(1)).writeTo(new FileOutputStream(file));
- return null;
- } catch (IOException e) {
- if (Log.on) Log.log(ByteStream.class, "IO Exception while writing a ByteStream to a file");
- if (Log.on) Log.log(ByteStream.class, e);
- throw new JS.Exn("error while writing a ByteStream to a file");
- }
- */
-
- } else if (method.equals("saveFileAs")) {
- // FIXME
- /*
- if (checkOnly) return Boolean.TRUE;
- if (args.length() != 2) return null;
- if (!(args.elementAt(1) instanceof ByteStream)) return null;
- String file = args.elementAt(0).toString();
- file = Platform.fileDialog(file, true);
- if (file == null) return null;
- safeFiles.put(Platform.isCaseSensitive() ? file : file.toLowerCase(), new Object());
- try {
- ((ByteStream)args.elementAt(1)).writeTo(new FileOutputStream(file));
- return null;
- } catch (IOException e) {
- if (Log.on) Log.log(ByteStream.class, "IO Exception while writing a ByteStream to a file");
- if (Log.on) Log.log(ByteStream.class, e);
- throw new JS.Exn("error while writing a ByteStream to a file");
- }
- */