anchor.diff:    }
   
     /**
  -   * This verifies that the enclosing class does not have a setter with the same name as the passed
  -   * instance method declaration.
  -   *
  -   * TODO(jwren) add other "conflicting" error codes into algorithm/ data structure
  -   *
  -   * @param node the method declaration to evaluate
  -   * @return `true` if and only if an error code is generated on the passed node
  +   * Verify that the enclosing class does not have a setter with the same name
  +   * as the given instance method declaration.
  +   *
  +   * TODO(jwren) add other "conflicting" error codes into algorithm/ data
  +   * structure.
  +   *
      * See [StaticWarningCode.CONFLICTING_INSTANCE_METHOD_SETTER].
      */
     bool _checkForConflictingInstanceMethodSetter(ClassDeclaration node) {
  
positive.code:   }
  
    /**
     * This verifies that final fields that are declared, without any constructors in the enclosing
     * class, are initialized. Cases in which there is at least one constructor are handled at the end
     * of [checkForAllFinalInitializedErrorCodes].
     *
     * @param node the class declaration to test
     * @return `true` if and only if an error code is generated on the passed node
     * See [CompileTimeErrorCode.CONST_NOT_INITIALIZED], and
     * [StaticWarningCode.FINAL_NOT_INITIALIZED].
     */
  
negative.code:   }
  
    /**
     * Check the given [executableElement] against override-error codes. This
     * method computes the given executableElement is overriding and calls
     * [_checkForAllInvalidOverrideErrorCodes] when the [InheritanceManager]
     * returns a [MultiplyInheritedExecutableElement], this method loops through
     * the list in the [MultiplyInheritedExecutableElement]. The [parameters] are
     * the parameters of the executable element. The [errorNameTarget] is the node
     * to report problems on.
     */
    bool _checkForAllInvalidOverrideErrorCodesForExecutable(
        ExecutableElement executableElement, List<ParameterElement> parameters,
  