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 |