commit b0b055541b5699cf8ab18f106ac85d1cd711c219
author Devon Carew <devoncarew@google.com> Fri Jan 18 22:46:23 2019 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> Fri Jan 18 22:46:23 2019 +0000
tree 760b30b8a7002069aa38a972ce2a5bfe662f3b96
parent 292ce7a1b8077ef20e0054c6fd07d30f9ae837a8

Make Script.tokenPosTable optional.

Change-Id: I681f6c3c762e16a2eff8a9aac1d680856aa94935
Reviewed-on: https://dart-review.googlesource.com/c/90321
Reviewed-by: Ben Konyi <bkonyi@google.com>
Commit-Queue: Devon Carew <devoncarew@google.com>

runtime/vm/service/service.md

diff --git a/runtime/vm/service/service.md b/runtime/vm/service/service.md
index 9d90108..f8d56fe 100644
--- a/runtime/vm/service/service.md
+++ b/runtime/vm/service/service.md
@@ -2393,8 +2393,9 @@
   // scripts.
   string source [optional];
 
-  // A table encoding a mapping from token position to line and column.
-  int[][] tokenPosTable;
+  // A table encoding a mapping from token position to line and column. This
+  // field is null if sources aren't available.
+  int[][] tokenPosTable [optional];
 }
 ```
 

runtime/vm/service/service_dev.md

diff --git a/runtime/vm/service/service_dev.md b/runtime/vm/service/service_dev.md
index 5d59f09..945d4f9 100644
--- a/runtime/vm/service/service_dev.md
+++ b/runtime/vm/service/service_dev.md
@@ -2393,8 +2393,9 @@
   // scripts.
   string source [optional];
 
-  // A table encoding a mapping from token position to line and column.
-  int[][] tokenPosTable;
+  // A table encoding a mapping from token position to line and column. This
+  // field is null if sources aren't available.
+  int[][] tokenPosTable [optional];
 }
 ```