Added `dynamicReflected..Type`, corrected type expressions.

reflectable/lib/mirrors.dart

 // Copyright (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.
 
 // This file defines the same types as sdk/lib/mirrors/mirrors.dart, in
 // order to enable code using [dart:mirrors] to switch to using
 // [Reflectable] based mirrors with the smallest possible change.
 // The changes are discussed below, under headings on the form
 // 'API Change: ..'.
 
@@ skipping 291 matching lines @@
 }
 
 abstract class CombinatorMirror implements Mirror {
   List<String> get identifiers;
   bool get isShow;
   bool get isHide;
 }
 
 abstract class TypeMirror implements DeclarationMirror {
   bool get hasReflectedType;
   Type get reflectedType;

[sigurdm, 2015/11/26 10:18:03]

Document conditions for availability.

[eernst, 2015/11/26 11:24:00]

Done.

   List<TypeVariableMirror> get typeVariables;
   List<TypeMirror> get typeArguments;
   bool get isOriginalDeclaration;
   TypeMirror get originalDeclaration;
 
   // Possible ARG: Type.
   // Input from Gilad on this issue:
   // I think we could consider using Type objects as arguments, because that is
   // actually more uniform; in general, the mirror API takes in base level
   // objects and produces meta-level objects. As a practical matter, I'd say we
@@ skipping 12 matching lines @@
   bool get isAbstract;
   bool get isEnum;
 
   // The non-abstract members declared in this class.
   Map<String, DeclarationMirror> get declarations;
   Map<String, MethodMirror> get instanceMembers;
   Map<String, MethodMirror> get staticMembers;
 
   ClassMirror get mixin;
 
+  /// Return true iff this class mirror is capable of delivering its

[sigurdm, 2015/11/26 10:18:03]

Returns

[eernst, 2015/11/26 11:23:59]

Done, fixed 10 occurrences of `/// [verb-not-in-present-tense]` globally.

+  /// [dynamicReflectedType].

[sigurdm, 2015/11/26 10:18:03]

Explain when this is/is not the case.

[eernst, 2015/11/26 11:24:00]

Done.

+  bool get hasDynamicReflectedType;
+
+  /// Return the [Type] object representing the fully dynamic instantiation of

[sigurdm, 2015/11/26 10:18:03]

Returns ...

[eernst, 2015/11/26 11:24:00]

Done.

+  /// this class if it is generic, and return the [Type] object representing
+  /// this class if it is not generic. The fully dynamic instantiation of a
+  /// generic class `C` is the application of `C` to a type argument list of
+  /// the appropriate length where every argument is `dynamic`. For instance,
+  /// the fully dynamic instantiation of `List` and `Map` is `List<dynamic>`
+  /// respectively `Map<dynamic, dynamic>`.

[sigurdm, 2015/11/26 10:18:03]

Write about the relation to hasDynamicReflectedType, and when it is available.

[eernst, 2015/11/26 11:24:00]

Done.

+  Type get dynamicReflectedType;
+
   /**
    * Invokes the named constructor and returns the result.
    *
    * Let *c* be the class reflected by this mirror
    * let *a1, ..., an* be the elements of [positionalArguments]
    * let *k1, ..., km* be the identifiers denoted by the elements of
    * [namedArguments.keys]
    * and let *v1, ..., vm* be the elements of [namedArguments.values].
    * If [constructorName] was created from the empty string
    * Then this method will execute the instance creation expression
@@ skipping 87 matching lines @@
 }
 
 abstract class TypedefMirror implements TypeMirror {
   FunctionTypeMirror get referent;
 }
 
 abstract class MethodMirror implements DeclarationMirror {
   TypeMirror get returnType; // Possible RET: Type
   bool get hasReflectedReturnType;
   Type get reflectedReturnType;
+  bool get hasDynamicReflectedReturnType;
+  Type get dynamicReflectedReturnType;
   String get source;
   List<ParameterMirror> get parameters;
   bool get isStatic;
   bool get isAbstract;
   bool get isSynthetic;
   bool get isRegularMethod;
   bool get isOperator;
   bool get isGetter;
   bool get isSetter;
   bool get isConstructor;
   String get constructorName;
   bool get isConstConstructor;
   bool get isGenerativeConstructor;
   bool get isRedirectingConstructor;
   bool get isFactoryConstructor;
   bool operator ==(other);
 }
 
 abstract class VariableMirror implements DeclarationMirror {
   TypeMirror get type; // Possible RET: Type
   bool get hasReflectedType;
   Type get reflectedType;
+  bool get hasDynamicReflectedType;
+  Type get dynamicReflectedType;
   bool get isStatic;
   bool get isFinal;
   bool get isConst;
   bool operator ==(other);
 }
 
 abstract class ParameterMirror implements VariableMirror {
-  TypeMirror get type; // Possible RET: Type
-  bool get hasReflectedType;
-  Type get reflectedType;
   bool get isOptional;
   bool get isNamed;
   bool get hasDefaultValue;
   Object get defaultValue; // RET: InstanceMirror
 }
 
 abstract class SourceLocation {
   int get line;
   int get column;
   Uri get sourceUri;
 }
 
 class Comment {
   final String text;
   final String trimmedText;
   final bool isDocComment;
   const Comment(this.text, this.trimmedText, this.isDocComment);
 }
+
+class TypeValue<E> {
+  const TypeValue();
+  Type get type => E;
+}