| Index: editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| diff --git a/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart b/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| index 53c25466be328dd454b752c549e3195208a1f858..b5ac6d99f44ea32ef05af5e6c985768f7733ee17 100644
|
| --- a/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| +++ b/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| @@ -81,6 +81,9 @@ class JavaFile {
|
| }
|
| return false;
|
| }
|
| + bool isDirectory() {
|
| + return _newDirectory().existsSync();
|
| + }
|
| Uri toURI() => new Uri.fromComponents(path: _path.toString());
|
| String readAsStringSync() => _newFile().readAsStringSync();
|
| int lastModified() => _newFile().lastModifiedSync().millisecondsSinceEpoch;
|
|
|