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 |