anchor.diff:   */
   abstract class IsolateMirror implements Mirror {
     /**
  -   * Returns a unique name used to refer to an isolate
  -   * in debugging messages.
  +   * A unique name used to refer to the isolate in debugging messages.
      */
     String get debugName;
   
     /**
  -   * Returns [:true:] if and only if this mirror reflects
  -   * the currently running isolate. Otherwise returns
  -   * [:false:].
  +   * Whether this mirror reflects the currently running isolate.
      */
     bool get isCurrent;
   
     /**
  -   * Returns a [LibraryMirror] on the root library for this
  -   * isolate.
  +   * The root library for the reflected isolate.
      */
     LibraryMirror get rootLibrary;
   
     /**
  -   * Returns [:true:] if this mirror is equal to [other].
  -   * Otherwise returns [:false:].
  +   * Whether [other] is an [IsolateMirror] on the same isolate as this mirror.
  +   *
      * The equality holds if and only if
  -   * (1) [other] is a mirror of the same kind
  -   * and
  -   * (2) the isolate being reflected by this mirror is the same
  -   * isolate being reflected by [other].
  +   *
  +   * 1. [other] is a mirror of the same kind, and
  +   * 2. the isolate being reflected by this mirror is the same isolate being
  +   *    reflected by [other].
      */
     bool operator == (other);
   }
  
positive.code:    * The source location of this Dart language entity, or [:null:] if the
     * entity is synthetic.
     *
     * If the reflectee is a variable, the returned location gives the position of   * the variable name at its point of declaration.
     *
     * If the reflectee is a library, class, typedef, function or type variable
     * with associated metadata, the returned location gives the position of the
     * first metadata declaration associated with the reflectee.
     *
     * Otherwise:
     * If the reflectee is a library, the returned location gives the position of
     * the keyword 'library' at the reflectee's point of declaration, if the
     * reflectee is a named library, or the first character of the first line in
     * the compilation unit defining the reflectee if the reflectee is anonymous.
     *
     * If the reflectee is an abstract class, the returned location gives the
     * position of the keyword 'abstract' at the reflectee's point of declaration.   * Otherwise, if the reflectee is a class, the returned location gives the
     * position of the keyword 'class' at the reflectee's point of declaration.
     *
     * If the reflectee is a typedef the returned location gives the position of
  
negative.code:    * in the corresponding class, the result of the invocation is an instance
     * mirror on a closure corresponding to that method.
     *
     * If the invocation returns a result *r*, this method returns the result of
     * calling [reflect]\(*r*\).
     *
     * If the invocation causes a compilation error, the effect is the same as if
     * a non-reflective compilation error had been encountered.
     *
     * If the invocation throws an exception *e* (that it does not catch), this
     * method throws *e*.
     */
    // TODO(ahe): Remove stuff about scope and private members. [fieldName] is a
    // capability giving access to private members.
    InstanceMirror getField(Symbol fieldName);
  
    /**
     * Invokes a setter and returns a mirror on the result.
     *
     * The setter may be either the implicit setter for a non-final field or a
     * user-defined setter method.
     *
     * Let *o* be the object reflected by this mirror,
     * let *f* be the simple name of the getter denoted by [fieldName],
     * and let *a* be the object bound to [value].
     *
     * Then this method will perform the setter invocation *o.f = a* in a scope
     * that has access to the private members of *o* (if *o* is a class or
     * library) or the private members of the class of *o* (otherwise).
     *
     * If the invocation returns a result *r*, this method returns the result of
     * calling [reflect]\([value]\).
     *
     * If the invocation causes a compilation error, the effect is the same as if
     * a non-reflective compilation error had been encountered.
     *
     * If the invocation throws an exception *e* (that it does not catch) this
     * method throws *e*.
     */
    /* TODO(turnidge): Handle ambiguous names.*/
    InstanceMirror setField(Symbol fieldName, Object value);
  
    /**
     * Performs [invocation] on [reflectee].
     *
     * Equivalent to
     *
     *     if (invocation.isGetter) {
  