| Index: editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart
|
| diff --git a/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart b/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart
|
| index 64ef68ab318163d06f2182d20bb8e9ae04f471e4..55b7cd6c033c942ed158e464f28030df8f7c6a25 100644
|
| --- a/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart
|
| +++ b/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart
|
| @@ -422,6 +422,16 @@ bool javaStringEqualsIgnoreCase(String a, String b) {
|
| return a.toLowerCase() == b.toLowerCase();
|
| }
|
|
|
| +bool javaStringRegionMatches(String t, int toffset, String o, int ooffset, int len) {
|
| + if (toffset < 0) return false;
|
| + if (ooffset < 0) return false;
|
| + var tend = toffset + len;
|
| + var oend = ooffset + len;
|
| + if (tend > t.length) return false;
|
| + if (oend > o.length) return false;
|
| + return t.substring(toffset, tend) == o.substring(ooffset, oend);
|
| +}
|
| +
|
| bool javaBooleanOr(bool a, bool b) {
|
| return a || b;
|
| }
|
|
|