| Index: compiler/java/com/google/dart/compiler/backend/js/DartMangler.java
|
| diff --git a/compiler/java/com/google/dart/compiler/backend/js/DartMangler.java b/compiler/java/com/google/dart/compiler/backend/js/DartMangler.java
|
| index d381a01b1389c5b83f02d94763d576812a3e0971..e3062273f67e7a9692e1b5d1dd04b37602fd0abb 100644
|
| --- a/compiler/java/com/google/dart/compiler/backend/js/DartMangler.java
|
| +++ b/compiler/java/com/google/dart/compiler/backend/js/DartMangler.java
|
| @@ -103,6 +103,9 @@ public interface DartMangler {
|
| public String mangleNamedMethod(MethodElement method, LibraryElement currentLibrary);
|
| public String mangleNamedMethod(String methodName, LibraryElement currentLibrary);
|
|
|
| + public String mangleLookupMethod(MethodElement method, LibraryElement currentLibrary);
|
| + public String mangleLookupMethod(String methodName, LibraryElement currentLibrary);
|
| +
|
| /**
|
| * Mangles the given method, so that it does not clash with any built-in JS property or other
|
| * mangled fields or methods. This method is different than mangleMethod, as it returns
|
|
|