blob: 8f1bac80e42da63132f294e1107476cd857dd090 [file] [log] [blame]
// Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
/// This library is injected into the applications under coverage.
library coverage_lib;
import 'dart:io';
import 'dart:typed_data';
const PORT = 0; // replaced during rewrite
final _executedIds = new Uint8List(1024 * 64);
touch(int id) {
int listIndex = id ~/ 8;
int bitIndex = id % 8;
_executedIds[listIndex] |= 1 << bitIndex;
}
postStatistics() {
var httpClient = new HttpClient();
return httpClient.post('127.0.0.1', PORT, '/statistics')
.then((request) {
request.add(_executedIds);
return request.close();
});
}