| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java
|
| index a7e1c37a56789e302b108adf9e29747c836f8eb2..aad76f8b4e265755be755b39d8ff2dc3666e15ea 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java
|
| @@ -19,6 +19,7 @@ import com.google.dart.engine.element.ElementVisitor;
|
| import com.google.dart.engine.element.ParameterElement;
|
| import com.google.dart.engine.utilities.dart.ParameterKind;
|
| import com.google.dart.engine.utilities.source.SourceRange;
|
| +import com.google.dart.engine.utilities.translation.DartName;
|
|
|
| /**
|
| * Instances of the class {@code ParameterElementImpl} implement a {@code ParameterElement}.
|
| @@ -69,6 +70,7 @@ public class ParameterElementImpl extends VariableElementImpl implements Paramet
|
| *
|
| * @param name the name of this element
|
| */
|
| + @DartName("forNode")
|
| public ParameterElementImpl(Identifier name) {
|
| super(name);
|
| }
|
|
|