| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ConstructorElementHandle.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ConstructorElementHandle.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ConstructorElementHandle.java
|
| index fda47a3d9a34f88c49b93f64f27161a858ca08c2..28f84c0a626fd5b122b9e9aacfe93f749b424669 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ConstructorElementHandle.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/ConstructorElementHandle.java
|
| @@ -44,6 +44,11 @@ public class ConstructorElementHandle extends ExecutableElementHandle implements
|
| }
|
|
|
| @Override
|
| + public ConstructorElement getRedirectedConstructor() {
|
| + return getActualElement().getRedirectedConstructor();
|
| + }
|
| +
|
| + @Override
|
| public boolean isConst() {
|
| return getActualElement().isConst();
|
| }
|
|
|