| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | |
| 2 // for details. All rights reserved. Use of this source code is governed by a | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 /// This library is injected into the applications under coverage. | |
| 6 library coverage_lib; | |
| 7 | |
| 8 import 'dart:io'; | |
| 9 import 'dart:typed_data'; | |
| 10 | |
| 11 const PORT = 0; // replaced during rewrite | |
| 12 final _executedIds = new Uint8List(1024 * 64); | |
| 13 | |
| 14 touch(int id) { | |
| 15 int listIndex = id ~/ 8; | |
| 16 int bitIndex = id % 8; | |
| 17 _executedIds[listIndex] |= 1 << bitIndex; | |
| 18 } | |
| 19 | |
| 20 postStatistics() { | |
| 21 var httpClient = new HttpClient(); | |
| 22 return httpClient.post('127.0.0.1', PORT, '/statistics') | |
| 23 .then((request) { | |
| 24 request.add(_executedIds); | |
| 25 return request.close(); | |
| 26 }); | |
| 27 } | |
| OLD | NEW |