| OLD | NEW |
| 1 library java.io; | 1 library java.io; |
| 2 | 2 |
| 3 import "dart:io"; | 3 import "dart:io"; |
| 4 import "dart:uri"; | 4 import "dart:uri"; |
| 5 | 5 |
| 6 class JavaSystemIO { | 6 class JavaSystemIO { |
| 7 static Map<String, String> _properties = new Map(); | 7 static Map<String, String> _properties = new Map(); |
| 8 static String getProperty(String name) { | 8 static String getProperty(String name) { |
| 9 { | 9 { |
| 10 String value = _properties[name]; | 10 String value = _properties[name]; |
| (...skipping 69 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 80 return true; | 80 return true; |
| 81 } | 81 } |
| 82 return false; | 82 return false; |
| 83 } | 83 } |
| 84 Uri toURI() => new Uri.fromComponents(path: _path.toString()); | 84 Uri toURI() => new Uri.fromComponents(path: _path.toString()); |
| 85 String readAsStringSync() => _newFile().readAsStringSync(); | 85 String readAsStringSync() => _newFile().readAsStringSync(); |
| 86 int lastModified() => _newFile().lastModifiedSync().millisecondsSinceEpoch; | 86 int lastModified() => _newFile().lastModifiedSync().millisecondsSinceEpoch; |
| 87 File _newFile() => new File.fromPath(_path); | 87 File _newFile() => new File.fromPath(_path); |
| 88 Directory _newDirectory() => new Directory.fromPath(_path); | 88 Directory _newDirectory() => new Directory.fromPath(_path); |
| 89 } | 89 } |
| OLD | NEW |