| // Copyright (c) 2015, 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. |
| |
| // part of "developer.dart"; |
| |
| @patch |
| bool _isDartStreamEnabled() native "Timeline_isDartStreamEnabled"; |
| |
| @patch |
| int _getTraceClock() native "Timeline_getTraceClock"; |
| |
| @patch |
| int _getNextAsyncId() native "Timeline_getNextAsyncId"; |
| |
| @patch |
| void _reportTaskEvent(int taskId, String phase, String category, String name, |
| String argumentsAsJson) native "Timeline_reportTaskEvent"; |
| |
| @patch |
| void _reportFlowEvent(String category, String name, int type, int id, |
| String argumentsAsJson) native "Timeline_reportFlowEvent"; |
| |
| @patch |
| void _reportInstantEvent(String category, String name, String argumentsAsJson) |
| native "Timeline_reportInstantEvent"; |