| Index: dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart
|
| diff --git a/dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart b/dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart
|
| index d0caf293318de8c86f9a46cbc5fe3da084f58b0e..5426c727876cbb3663a4752b2ed788ca34b9c3b6 100644
|
| --- a/dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart
|
| +++ b/dart/sdk/lib/_internal/compiler/implementation/elements/elements.dart
|
| @@ -1857,6 +1857,16 @@ class Elements {
|
| return new SourceString('$r\$$s');
|
| }
|
|
|
| + static SourceString deconstructConstructorName(SourceString name,
|
| + ClassElement holder) {
|
| + String r = '${holder.name.slowToString()}\$';
|
| + String s = name.slowToString();
|
| + if (s.startsWith(r)) {
|
| + return new SourceString(s.substring(r.length));
|
| + }
|
| + return null;
|
| + }
|
| +
|
| /**
|
| * Map an operator-name to a valid Dart identifier.
|
| *
|
|
|