Make isEmpty a getter.

pkg/intl/lib/src/date_format_field.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * This is a private class internal to DateFormat which is used for formatting
  * particular fields in a template. e.g. if the format is hh:mm:ss then the
  * fields would be "hh", ":", "mm", ":", and "ss". Each type of field knows
  * how to format that portion of a date.
  */
@@ skipping 201 matching lines @@
    * We are given [input] as a stream from which we want to read a date. We
    * can't dynamically build up a date, so we are given a list [dateFields] of
    * the constructor arguments and an [position] at which to set it
    * (year,month,day,hour,minute,second,fractionalSecond)
    * then after all parsing is done we construct a date from the arguments.
    * This method handles reading any of string fields from an enumerated set.
    */
    int parseEnumeratedString(_Stream input, List possibilities) {
      var results = new _Stream(possibilities).findIndexes(
        (each) => input.peek(each.length) == each);
-     if (results.isEmpty()) throwFormatException(input);
+     if (results.isEmpty) throwFormatException(input);
      results.sort(
        (a, b) => possibilities[a].length.compareTo(possibilities[b].length));
      var longestResult = results.last();
      input.read(possibilities[longestResult].length);
      return longestResult;
      }
 
   String formatMonth(Date date) {
     switch (width) {
       case 5: return symbols.NARROWMONTHS[date.month-1];
@@ skipping 162 matching lines @@
     var basicString = toBePrinted.toString();
     if (basicString.length >= width) return basicString;
     var buffer = new StringBuffer();
     for (var i = 0; i < width - basicString.length; i++) {
       buffer.add('0');
      }
     buffer.add(basicString);
     return buffer.toString();
   }
 }