| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java
|
| index ab5140104d67b3fdf7024458182e45ef9e746c36..6a8a62b3357c60ba9aaf48755dcc726b343661c1 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java
|
| @@ -35,6 +35,7 @@ import com.google.dart.engine.source.Source;
|
| import com.google.dart.engine.type.InterfaceType;
|
| import com.google.dart.engine.type.Type;
|
| import com.google.dart.engine.utilities.general.StringUtilities;
|
| +import com.google.dart.engine.utilities.translation.DartName;
|
|
|
| import java.util.ArrayList;
|
| import java.util.HashSet;
|
| @@ -143,11 +144,25 @@ public class LibraryElementImpl extends ElementImpl implements LibraryElement {
|
| * @param context the analysis context in which the library is defined
|
| * @param name the name of this element
|
| */
|
| + @DartName("forNode")
|
| public LibraryElementImpl(AnalysisContext context, LibraryIdentifier name) {
|
| super(name);
|
| this.context = context;
|
| }
|
|
|
| + /**
|
| + * Initialize a newly created library element to have the given name.
|
| + *
|
| + * @param context the analysis context in which the library is defined
|
| + * @param name the name of this element
|
| + * @param nameOffset the offset of the name of this element in the file that contains the
|
| + * declaration of this element
|
| + */
|
| + public LibraryElementImpl(AnalysisContext context, String name, int nameOffset) {
|
| + super(name, nameOffset);
|
| + this.context = context;
|
| + }
|
| +
|
| @Override
|
| public <R> R accept(ElementVisitor<R> visitor) {
|
| return visitor.visitLibraryElement(this);
|
|
|