commit 8439f0ce297f6bdc6920337ec6362b657edbdd3e
author sigmundch <sigmund@google.com> Wed Feb 13 21:10:41 2019 -0800
committer GitHub <noreply@github.com> Wed Feb 13 21:10:41 2019 -0800
tree 1d7fbdf7c7dfc8292aa8cf75801178af5521a399
parent 38de0d830b8358162caf2956fa1db18895abc438

Allow null dart2js version (#65)

lib/binary_codec.dart

diff --git a/lib/binary_codec.dart b/lib/binary_codec.dart
index 949cb29..672d280 100644
--- a/lib/binary_codec.dart
+++ b/lib/binary_codec.dart
@@ -72,7 +72,7 @@
   void visitProgram(ProgramInfo info) {
     visitFunction(info.entrypoint);
     sink.writeInt(info.size);
-    sink.writeString(info.dart2jsVersion);
+    sink.writeStringOrNull(info.dart2jsVersion);
     writeDate(info.compilationMoment);
     writeDuration(info.compilationDuration);
     // Note: we don't record the 'toJsonDuration' field. Consider deleting it?
@@ -302,7 +302,7 @@
     var info = new ProgramInfo();
     info.entrypoint = readFunction();
     info.size = source.readInt();
-    info.dart2jsVersion = source.readString();
+    info.dart2jsVersion = source.readStringOrNull();
     info.compilationMoment = readDate();
     info.compilationDuration = readDuration();
     info.toJsonDuration = new Duration(microseconds: 0);