Flutter Engine
The Flutter Engine
ServerLogEntryKind.java
Go to the documentation of this file.
1/*
2 * Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file
3 * for details. All rights reserved. Use of this source code is governed by a
4 * BSD-style license that can be found in the LICENSE file.
5 *
6 * This file has been automatically generated. Please do not edit it manually.
7 * To regenerate the file, use the script "pkg/analysis_server/tool/spec/generate_files".
8 */
9package org.dartlang.analysis.server.protocol;
10
11/**
12 * An enumeration of the kinds of server long entries.
13 *
14 * @coverage dart.server.generated.types
15 */
16public class ServerLogEntryKind {
17
18 /**
19 * A notification from the server, such as "analysis.highlights". The "data" field contains a JSON
20 * object with abbreviated notification.
21 */
22 public static final String NOTIFICATION = "NOTIFICATION";
23
24 /**
25 * Arbitrary string, describing some event that happened in the server, e.g. starting a file
26 * analysis, and details which files were accessed. These entries are not structured, but provide
27 * context information about requests and notification, and can be related by "time" for further
28 * manual analysis.
29 */
30 public static final String RAW = "RAW";
31
32 /**
33 * A request from the client, as the server views it, e.g. "edit.getAssists". The "data" field
34 * contains a JSON object with abbreviated request.
35 */
36 public static final String REQUEST = "REQUEST";
37
38 /**
39 * Various counters and measurements related to execution of a request. The "data" field contains a
40 * JSON object with following fields:
41 *
42 * - "id" - the id of the request - copied from the request.
43 * - "method" - the method of the request, e.g. "edit.getAssists".
44 * - "clientRequestTime" - the time (milliseconds since epoch) at which the client made the request
45 * - copied from the request.
46 * - "serverRequestTime" - the time (milliseconds since epoch) at which the server received and
47 * decoded the JSON request.
48 * - "responseTime" - the time (milliseconds since epoch) at which the server created the response
49 * to be encoded into JSON and sent to the client.
50 */
51 public static final String RESPONSE = "RESPONSE";
52
53}