Add a space at the end of line being parsed to correctly process cases like 3.14.

lib/json/json.dart

 // Copyright (c) 2011, 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.
 
 #library("json");
 
 // Pure Dart implementation of JSON protocol.
 
 /**
  * Utility class to parse JSON and serialize objects to JSON.
@@ skipping 78 matching lines @@
 
   static final String NULL_STRING = "null";
   static final String TRUE_STRING = "true";
   static final String FALSE_STRING = "false";
 
 
   static parse(String json) {
     return new _JsonParser._internal(json)._parseToplevel();
   }
 
-  _JsonParser._internal(String this.json) {
+  _JsonParser._internal(String json) : this.json = '${json} ' {

[Anders Johnsen, 2012/04/28 08:23:22]

This is not the correct way to fix this. This will re-allocate the string. I'll
fix my number parsing.

[Anton Muhin, 2012/04/28 08:25:07]

I didn't do performance measurements, I'd prefer it work correctly first.

Regarding number parsing code.  I was considering this as well, but it's not
obvious what is better in the long run: additional checks if the string is
exhausted or one additional allocation.

[Anders Johnsen, 2012/04/28 09:03:07]

Agreed! I'll fix the number parsing error in another CL.

     if (tokens !== null) return;
 
     // Use a list as jump-table, faster then switch and if.
     tokens = new List<int>(LAST_ASCII + 1);
     tokens[TAB] = WHITESPACE;
     tokens[NEW_LINE] = WHITESPACE;
     tokens[CARRIAGE_RETURN] = WHITESPACE;
     tokens[SPACE] = WHITESPACE;
     tokens[CHAR_0] = NUMBER_LITERAL;
     tokens[CHAR_1] = NUMBER_LITERAL;
@@ skipping 398 matching lines @@
         });
         _sb.add('}');
         _seen.removeLast();
         return;
 
       default:
         throw const JsonUnsupportedObjectType();
     }
   }
 }