Adds limited support for private classes.

reflectable/lib/src/transformer_implementation.dart

 // (c) 2015, the Dart Team. All rights reserved. Use of this
 // source code is governed by a BSD-style license that can be found in
 // the LICENSE file.
 
 library reflectable.src.transformer_implementation;
 
 import 'dart:async';
 import 'dart:convert';
 import 'dart:io';
 import 'package:analyzer/src/generated/ast.dart';
@@ skipping 346 matching lines @@
   Iterable<_ClassDomain> get domains => elementToDomain.values;
 }
 
 /// Information about the program parts that can be reflected by a given
 /// Reflector.
 class _ReflectorDomain {
   final Resolver _resolver;
   final AssetId _generatedLibraryId;
   final ClassElement _reflector;
 
-  /// Do not use this, use [classes] which ensures that closures operations
+  /// Do not use this, use [classes] which ensures that closure operations
   /// have been performed as requested in [_capabilities]. Exception: In
   /// `_computeWorld`, [_classes] is filled in with the set of directly
   /// covered classes during creation of this [_ReflectorDomain].
   /// NB: [_classes] should be final, but it is not possible because this
   /// would create a cycle of final fields, which cannot be initialized.
   ClassElementEnhancedSet _classes;
 
   /// Used by [classes], only, to keep track of whether [_classes] has been
   /// properly initialized by means of closure operations.
   bool _classesInitialized = false;
@@ skipping 157 matching lines @@
     // Class related collections.
     Enumerator<FieldElement> fields = new Enumerator<FieldElement>();
     Enumerator<ParameterElement> parameters =
         new Enumerator<ParameterElement>();
     Set<String> instanceGetterNames = new Set<String>();
     Set<String> instanceSetterNames = new Set<String>();
 
     // Library and class related collections.
     Enumerator<ExecutableElement> members = new Enumerator<ExecutableElement>();
 
-    // Fill in [libraries], [members], [fields], [parameters],
-    // [instanceGetterNames], and [instanceSetterNames].
-    for (LibraryElement library in _libraries) {
+    /// Adds a library domain for [library] to [libraries], relying on checks
+    /// for importability and insertion into [importCollector] to have taken
+    /// place already.
+    void uncheckedAddLibrary(LibraryElement library) {
       _LibraryDomain libraryDomain = _createLibraryDomain(library, this);
       libraries.add(libraryDomain);
       libraryMap[library] = libraryDomain;
       libraryDomain._declarations.forEach(members.add);
       libraryDomain._declaredParameters.forEach(parameters.add);
       libraryDomain._declaredVariables.forEach(topLevelVariables.add);
     }
+
+    /// Used to add a library domain for [library] to [libraries], checking
+    /// that it is importable and registering it with [importCollector].
+    void addLibrary(LibraryElement library) {
+      if (!_isImportableLibrary(
+          library, _generatedLibraryId, _resolver)) return;
+      importCollector._addLibrary(library);
+      uncheckedAddLibrary(library);
+    }
+
+    // Fill in [libraries], [members], [fields], [parameters],
+    // [instanceGetterNames], and [instanceSetterNames].
+    _libraries.forEach(uncheckedAddLibrary);
+    classes.forEach((ClassElement classElement) {
+      if (!libraries.items.any((_LibraryDomain libraryDomain) =>
+          libraryDomain._libraryElement == classElement.library)) {
+        addLibrary(classElement.library);
+      }
+    });
     for (_ClassDomain classDomain in classes.domains) {
       // Gather the behavioral interface into [members]. Note that
       // this includes implicitly generated getters and setters, but
       // omits fields. Also note that this does not match the
       // semantics of the `declarations` method in a [ClassMirror].
       classDomain._declarations.forEach(members.add);
 
       // Add the behavioral interface from this class (redundantly, for
       // non-static members) and all superclasses (which matters) to
       // [members], such that it contains both the behavioral parts for
@@ skipping 85 matching lines @@
       return _typeCodeOfClass(classElement, importCollector);
     }));
 
     // Generate code for creation of library mirrors.
     String librariesCode;
     if (!_capabilities.supportsLibraries) {
       librariesCode = "null";
     } else {
       librariesCode = _formatAsList("m.LibraryMirror",
           libraries.items.map((_LibraryDomain library) {
-        return _libraryMirrorCode(library, members, topLevelVariables,
-            fields.length, importCollector, logger);
+        return _libraryMirrorCode(library, libraries.indexOf(library), members,
+            topLevelVariables, fields.length, importCollector, logger);
       }));
     }
 
     // Generate code for creation of parameter mirrors.
     Iterable<String> parametersList =
         parameters.items.map((ParameterElement element) {
       return _parameterMirrorCode(element, fields, members, importCollector,
           logger, reflectedTypeRequested);
     });
     String parameterMirrorsCode =
@@ skipping 189 matching lines @@
     String classMetadataCode;
     if (_capabilities._supportsMetadata) {
       classMetadataCode = _extractMetadataCode(classElement, _resolver,
           importCollector, logger, _generatedLibraryId);
     } else {
       classMetadataCode = "null";
     }
 
     int classIndex = classes.indexOf(classElement);
 
-    String result = 'new r.ClassMirrorImpl(r"${classDomain._simpleName}", '
+    return 'new r.ClassMirrorImpl(r"${classDomain._simpleName}", '
         'r"${_qualifiedName(classElement)}", $descriptor, $classIndex, '
         '${_constConstructionCode(importCollector)}, '
         '$declarationsCode, $instanceMembersCode, $staticMembersCode, '
         '$superclassIndex, $staticGettersCode, $staticSettersCode, '
         '$constructorsCode, $ownerIndex, $mixinIndex, '
         '$superinterfaceIndices, $classMetadataCode)';
-    return result;
   }
 
   String _methodMirrorCode(
       ExecutableElement element,
       Enumerator<FieldElement> fields,
       Enumerator<ExecutableElement> members,
       Enumerator<ParameterElement> parameters,
       _ImportCollector importCollector,
       TransformLogger logger,
       bool reflectedTypeRequested) {
@@ skipping 67 matching lines @@
     if (dartType is TypeParameterType) {
       ClassElement owningClassElement = dartType.element.enclosingElement;
       return 'const r.FakeType(r"${_qualifiedName(owningClassElement)}.'
           '${dartType.element}")';
     }
     return _typeCodeOfClass(dartType.element, importCollector);
   }
 
   String _typeCodeOfClass(
       ClassElement classElement, _ImportCollector importCollector) {
-    if (classElement is MixinApplication && classElement.declaredName == null) {
+    if ((classElement is MixinApplication &&
+            classElement.declaredName == null) ||
+        classElement.isPrivate) {
       return 'const r.FakeType(r"${_qualifiedName(classElement)}")';
     }
     if (classElement.type.isDynamic) return "dynamic";
     String prefix = importCollector._getPrefix(classElement.library);
     return "$prefix.${classElement.name}";
   }
 
   String _libraryMirrorCode(
       _LibraryDomain libraryDomain,
+      int libraryIndex,
       Enumerator<ExecutableElement> members,
       Enumerator<TopLevelVariableElement> variables,
       int fieldsLength,
       _ImportCollector importCollector,
       TransformLogger logger) {
     LibraryElement library = libraryDomain._libraryElement;
 
     String gettersCode = _formatAsMap(
         _gettersOfLibrary(libraryDomain).map((PropertyAccessorElement getter) {
       return _topLevelGettingClosure(importCollector, library, getter.name);
@@ skipping 24 matching lines @@
     String declarationsCode = "const <int>[${constants.NO_CAPABILITY_INDEX}]";
     if (_capabilities._impliesDeclarations) {
       List<int> declarationsIndices = <int>[]
         ..addAll(variableIndices)
         ..addAll(methodsIndices);
       declarationsCode = _formatAsConstList("int", declarationsIndices);
     }
 
     // TODO(sigurdm) clarify: Find out how to get good uri's in a
     // transformer.
-    // TODO(sigurdm) implement: Check for `uriCapability`.
-    String uriCode = "null";
+    String uriCode = (_capabilities._supportsUri ||
+            _capabilities.supportsLibraries)
+        ? 'Uri.parse(r"reflectable://$libraryIndex/$library")'
+        : 'null';
 
     String metadataCode;
     if (_capabilities._supportsMetadata) {
       metadataCode = _extractMetadataCode(
           library, _resolver, importCollector, logger, _generatedLibraryId);
     } else {
       metadataCode = "null";
     }
 
     return 'new r.LibraryMirrorImpl(r"${library.name}", $uriCode, '
@@ skipping 817 matching lines @@
         methodName,
         _getEvaluatedMetadata(metadata),
         getterMetadata == null ? null : _getEvaluatedMetadata(getterMetadata));
   }
 
   bool get _supportsMetadata {
     return _capabilities.any((ec.ReflectCapability capability) =>
         capability == ec.metadataCapability);
   }
 
+  bool get _supportsUri {
+    return _capabilities.any(
+        (ec.ReflectCapability capability) => capability == ec.uriCapability);
+  }
+
   /// Returns [true] iff these [Capabilities] specify reflection support
   /// where the set of classes must be downwards closed, i.e., extra classes
   /// must be added beyond the ones that are directly covered by the given
   /// metadata and global quantifiers, such that coverage on a class `C`
   /// implies coverage of every class `D` such that `D` is a subtype of `C`.
   bool get _impliesDownwardsClosure {
     return _capabilities.any((ec.ReflectCapability capability) =>
         capability == ec.subtypeQuantifyCapability);
   }
 
@@ skipping 408 matching lines @@
         assert(_isImportableLibrary(reflector.library, dataId, _resolver));
         importCollector._addLibrary(reflector.library);
         return new _ReflectorDomain(_resolver, dataId, reflector, capabilities);
       });
     }
 
     /// Adds [library] to the supported libraries of [reflector].
     void addLibrary(LibraryElement library, ClassElement reflector) {
       _ReflectorDomain domain = getReflectorDomain(reflector);
       if (domain._capabilities.supportsLibraries) {
-        assert(_isImportableLibrary(reflector.library, dataId, _resolver));
+        assert(_isImportableLibrary(library, dataId, _resolver));
         importCollector._addLibrary(library);
         domain._libraries.add(library);
       }
     }
 
     /// Adds a [_ClassDomain] representing [type] to the supported classes of
     /// [reflector]; also adds the enclosing library of [type] to the
     /// supported libraries.
     void addClassDomain(ClassElement type, ClassElement reflector) {
       if (!_isImportable(type, dataId, _resolver)) {
@@ skipping 82 matching lines @@
 
     // Populate [globalPatterns] and [globalMetadata].
     _findGlobalQuantifyAnnotations(globalPatterns, globalMetadata);
 
     // Visits all libraries and all classes in the given entry point,
     // gets their reflectors, and adds them to the domain of that
     // reflector.
     for (LibraryElement library in _resolver.libraries) {
       for (ClassElement reflector
           in getReflectors(library.name, library.metadata)) {
-        assert(_isImportableLibrary(reflector.library, dataId, _resolver));
+        assert(_isImportableLibrary(library, dataId, _resolver));
         addLibrary(library, reflector);
       }
 
       for (CompilationUnitElement unit in library.units) {
         for (ClassElement type in unit.types) {
           for (ClassElement reflector
               in getReflectors(_qualifiedName(type), type.metadata)) {
             addClassDomain(type, reflector);
           }
         }
@@ skipping 1283 matching lines @@
   return classElement == null
       ? "null"
       : "${classElement.library.name}.${classElement.name}";
 }
 
 String _qualifiedFunctionName(FunctionElement functionElement) {
   return functionElement == null
       ? "null"
       : "${functionElement.library.name}.${functionElement.name}";
 }