bb33a42e72
Before this CL to read the source (and line endings etc) for a specific file index, one had to read at least part of the data for all previous file indexes (e.g. read all the line endings). This CL introduces an index to the included sources meaning that we have random access based on file id, i.e. can go to the data concerning a specific file id in constant time. Benchmarks run with "time python tools/test.py -m release -cdartk language -j6" shows that - of 5 runs - the runtime has changed as follows: real: -3.93% +/- 1.03% user: -3.41% +/- 0.54% sys: No difference at 95% (statistics by math stolen from ministat) So it is ~4% faster to run the language tests (with above command), shaving approximately 9 seconds off the real runtime. Change-Id: I9e60a16958356b16b3da0bf6c01ffc5619deb976 Reviewed-on: https://dart-review.googlesource.com/3180 Reviewed-by: Samir Jindel <sjindel@google.com>