| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/NamespaceBuilder.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/NamespaceBuilder.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/NamespaceBuilder.java
|
| index ee665da36d521a920d6b2a4157a95bac8a4267ce..cc645f61f13b837e2efbd9e13fc426747a399f26 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/NamespaceBuilder.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/scope/NamespaceBuilder.java
|
| @@ -48,6 +48,27 @@ public class NamespaceBuilder {
|
| }
|
|
|
| /**
|
| + * Create a namespace representing the export namespace of the given {@link ExportElement}.
|
| + *
|
| + * @param element the export element whose export namespace is to be created
|
| + * @return the export namespace that was created
|
| + */
|
| + public Namespace createExportNamespace(ExportElement element) {
|
| + LibraryElement exportedLibrary = element.getExportedLibrary();
|
| + if (exportedLibrary == null) {
|
| + //
|
| + // The exported library will be null if the URI does not reference a valid library.
|
| + //
|
| + return Namespace.EMPTY;
|
| + }
|
| + HashMap<String, Element> definedNames = createExportMapping(
|
| + exportedLibrary,
|
| + new HashSet<LibraryElement>());
|
| + definedNames = apply(definedNames, element.getCombinators());
|
| + return new Namespace(definedNames);
|
| + }
|
| +
|
| + /**
|
| * Create a namespace representing the export namespace of the given library.
|
| *
|
| * @param library the library whose export namespace is to be created
|
|
|