| Index: pkg/analysis_server/lib/plugin/protocol/protocol.dart
|
| diff --git a/pkg/analysis_server/lib/plugin/protocol/protocol.dart b/pkg/analysis_server/lib/plugin/protocol/protocol.dart
|
| deleted file mode 100644
|
| index 99774648a8b8f241400be0688ccd4af2e006e4b1..0000000000000000000000000000000000000000
|
| --- a/pkg/analysis_server/lib/plugin/protocol/protocol.dart
|
| +++ /dev/null
|
| @@ -1,598 +0,0 @@
|
| -// Copyright (c) 2014, 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.
|
| -
|
| -/**
|
| - * Support for client code that needs to interact with the requests, responses
|
| - * and notifications that are part of the analysis server's wire protocol.
|
| - */
|
| -library analysis_server.plugin.protocol.protocol;
|
| -
|
| -import 'dart:collection';
|
| -import 'dart:convert' hide JsonDecoder;
|
| -
|
| -import 'package:analysis_server/src/protocol/protocol_internal.dart';
|
| -
|
| -part 'generated_protocol.dart';
|
| -
|
| -/**
|
| - * A [RequestHandler] that supports [startup] and [shutdown] methods.
|
| - *
|
| - * Clients may not extend, implement or mix-in this class.
|
| - */
|
| -abstract class DomainHandler implements RequestHandler {
|
| - /**
|
| - * Perform any operations associated with the shutdown of the domain. It is
|
| - * not guaranteed that this method will be called. If it is, it will be
|
| - * called after the last [Request] has been made.
|
| - */
|
| - void shutdown() {}
|
| -
|
| - /**
|
| - * Perform any operations associated with the startup of the domain. This
|
| - * will be called before the first [Request].
|
| - */
|
| - void startup() {}
|
| -}
|
| -
|
| -/**
|
| - * An interface for enumerated types in the protocol.
|
| - *
|
| - * Clients may not extend, implement or mix-in this class.
|
| - */
|
| -abstract class Enum {
|
| - /**
|
| - * The name of the enumerated value. This should match the name of the
|
| - * static getter which provides access to this enumerated value.
|
| - */
|
| - String get name;
|
| -}
|
| -
|
| -/**
|
| - * A notification from the server about an event that occurred.
|
| - *
|
| - * Clients may not extend, implement or mix-in this class.
|
| - */
|
| -class Notification {
|
| - /**
|
| - * The name of the JSON attribute containing the name of the event that
|
| - * triggered the notification.
|
| - */
|
| - static const String EVENT = 'event';
|
| -
|
| - /**
|
| - * The name of the JSON attribute containing the result values.
|
| - */
|
| - static const String PARAMS = 'params';
|
| -
|
| - /**
|
| - * The name of the event that triggered the notification.
|
| - */
|
| - final String event;
|
| -
|
| - /**
|
| - * A table mapping the names of notification parameters to their values, or
|
| - * `null` if there are no notification parameters.
|
| - */
|
| - Map<String, Object> _params;
|
| -
|
| - /**
|
| - * Initialize a newly created [Notification] to have the given [event] name.
|
| - * If [_params] is provided, it will be used as the params; otherwise no
|
| - * params will be used.
|
| - */
|
| - Notification(this.event, [this._params]);
|
| -
|
| - /**
|
| - * Initialize a newly created instance based on the given JSON data.
|
| - */
|
| - factory Notification.fromJson(Map json) {
|
| - return new Notification(json[Notification.EVENT],
|
| - json[Notification.PARAMS] as Map<String, Object>);
|
| - }
|
| -
|
| - /**
|
| - * Return a table representing the structure of the Json object that will be
|
| - * sent to the client to represent this response.
|
| - */
|
| - Map<String, Object> toJson() {
|
| - Map<String, Object> jsonObject = {};
|
| - jsonObject[EVENT] = event;
|
| - if (_params != null) {
|
| - jsonObject[PARAMS] = _params;
|
| - }
|
| - return jsonObject;
|
| - }
|
| -}
|
| -
|
| -/**
|
| - * A request that was received from the client.
|
| - *
|
| - * Clients may not extend, implement or mix-in this class.
|
| - */
|
| -class Request {
|
| - /**
|
| - * The name of the JSON attribute containing the id of the request.
|
| - */
|
| - static const String ID = 'id';
|
| -
|
| - /**
|
| - * The name of the JSON attribute containing the name of the request.
|
| - */
|
| - static const String METHOD = 'method';
|
| -
|
| - /**
|
| - * The name of the JSON attribute containing the request parameters.
|
| - */
|
| - static const String PARAMS = 'params';
|
| -
|
| - /**
|
| - * The name of the optional JSON attribute indicating the time (milliseconds
|
| - * since epoch) at which the client made the request.
|
| - */
|
| - static const String CLIENT_REQUEST_TIME = 'clientRequestTime';
|
| -
|
| - /**
|
| - * The unique identifier used to identify this request.
|
| - */
|
| - final String id;
|
| -
|
| - /**
|
| - * The method being requested.
|
| - */
|
| - final String method;
|
| -
|
| - /**
|
| - * A table mapping the names of request parameters to their values.
|
| - */
|
| - final Map<String, Object> _params;
|
| -
|
| - /**
|
| - * The time (milliseconds since epoch) at which the client made the request
|
| - * or `null` if this information is not provided by the client.
|
| - */
|
| - final int clientRequestTime;
|
| -
|
| - /**
|
| - * Initialize a newly created [Request] to have the given [id] and [method]
|
| - * name. If [params] is supplied, it is used as the "params" map for the
|
| - * request. Otherwise an empty "params" map is allocated.
|
| - */
|
| - Request(this.id, this.method,
|
| - [Map<String, Object> params, this.clientRequestTime])
|
| - : _params = params ?? new HashMap<String, Object>();
|
| -
|
| - /**
|
| - * Return a request parsed from the given json, or `null` if the [data] is
|
| - * not a valid json representation of a request. The [data] is expected to
|
| - * have the following format:
|
| - *
|
| - * {
|
| - * 'clientRequestTime': millisecondsSinceEpoch
|
| - * 'id': String,
|
| - * 'method': methodName,
|
| - * 'params': {
|
| - * paramter_name: value
|
| - * }
|
| - * }
|
| - *
|
| - * where both the parameters and clientRequestTime are optional.
|
| - *
|
| - * The parameters can contain any number of name/value pairs. The
|
| - * clientRequestTime must be an int representing the time at which the client
|
| - * issued the request (milliseconds since epoch).
|
| - */
|
| - factory Request.fromJson(Map<String, dynamic> result) {
|
| - var id = result[Request.ID];
|
| - var method = result[Request.METHOD];
|
| - if (id is! String || method is! String) {
|
| - return null;
|
| - }
|
| - var time = result[Request.CLIENT_REQUEST_TIME];
|
| - if (time != null && time is! int) {
|
| - return null;
|
| - }
|
| - var params = result[Request.PARAMS];
|
| - if (params is Map || params == null) {
|
| - return new Request(id, method, params as Map<String, Object>, time);
|
| - } else {
|
| - return null;
|
| - }
|
| - }
|
| -
|
| - /**
|
| - * Return a request parsed from the given [data], or `null` if the [data] is
|
| - * not a valid json representation of a request. The [data] is expected to
|
| - * have the following format:
|
| - *
|
| - * {
|
| - * 'clientRequestTime': millisecondsSinceEpoch
|
| - * 'id': String,
|
| - * 'method': methodName,
|
| - * 'params': {
|
| - * paramter_name: value
|
| - * }
|
| - * }
|
| - *
|
| - * where both the parameters and clientRequestTime are optional.
|
| - *
|
| - * The parameters can contain any number of name/value pairs. The
|
| - * clientRequestTime must be an int representing the time at which the client
|
| - * issued the request (milliseconds since epoch).
|
| - */
|
| - factory Request.fromString(String data) {
|
| - try {
|
| - var result = JSON.decode(data);
|
| - if (result is Map) {
|
| - return new Request.fromJson(result as Map<String, dynamic>);
|
| - }
|
| - return null;
|
| - } catch (exception) {
|
| - return null;
|
| - }
|
| - }
|
| -
|
| - /**
|
| - * Return a table representing the structure of the Json object that will be
|
| - * sent to the client to represent this response.
|
| - */
|
| - Map<String, Object> toJson() {
|
| - Map<String, Object> jsonObject = new HashMap<String, Object>();
|
| - jsonObject[ID] = id;
|
| - jsonObject[METHOD] = method;
|
| - if (_params.isNotEmpty) {
|
| - jsonObject[PARAMS] = _params;
|
| - }
|
| - if (clientRequestTime != null) {
|
| - jsonObject[CLIENT_REQUEST_TIME] = clientRequestTime;
|
| - }
|
| - return jsonObject;
|
| - }
|
| -}
|
| -
|
| -/**
|
| - * An exception that occurred during the handling of a request that requires
|
| - * that an error be returned to the client.
|
| - *
|
| - * Clients may not extend, implement or mix-in this class.
|
| - */
|
| -class RequestFailure implements Exception {
|
| - /**
|
| - * The response to be returned as a result of the failure.
|
| - */
|
| - final Response response;
|
| -
|
| - /**
|
| - * Initialize a newly created exception to return the given reponse.
|
| - */
|
| - RequestFailure(this.response);
|
| -}
|
| -
|
| -/**
|
| - * An object that can handle requests and produce responses for them.
|
| - *
|
| - * Clients may not extend, implement or mix-in this class.
|
| - */
|
| -abstract class RequestHandler {
|
| - /**
|
| - * Attempt to handle the given [request]. If the request is not recognized by
|
| - * this handler, return `null` so that other handlers will be given a chance
|
| - * to handle it. Otherwise, return the response that should be passed back to
|
| - * the client.
|
| - */
|
| - Response handleRequest(Request request);
|
| -}
|
| -
|
| -/**
|
| - * A response to a request.
|
| - *
|
| - * Clients may not extend, implement or mix-in this class.
|
| - */
|
| -class Response {
|
| - /**
|
| - * The [Response] instance that is returned when a real [Response] cannot
|
| - * be provided at the moment.
|
| - */
|
| - static final Response DELAYED_RESPONSE = new Response('DELAYED_RESPONSE');
|
| -
|
| - /**
|
| - * The name of the JSON attribute containing the id of the request for which
|
| - * this is a response.
|
| - */
|
| - static const String ID = 'id';
|
| -
|
| - /**
|
| - * The name of the JSON attribute containing the error message.
|
| - */
|
| - static const String ERROR = 'error';
|
| -
|
| - /**
|
| - * The name of the JSON attribute containing the result values.
|
| - */
|
| - static const String RESULT = 'result';
|
| -
|
| - /**
|
| - * The unique identifier used to identify the request that this response is
|
| - * associated with.
|
| - */
|
| - final String id;
|
| -
|
| - /**
|
| - * The error that was caused by attempting to handle the request, or `null` if
|
| - * there was no error.
|
| - */
|
| - final RequestError error;
|
| -
|
| - /**
|
| - * A table mapping the names of result fields to their values. Should be
|
| - * `null` if there is no result to send.
|
| - */
|
| - Map<String, Object> _result;
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent a response to a request
|
| - * with the given [id]. If [_result] is provided, it will be used as the
|
| - * result; otherwise an empty result will be used. If an [error] is provided
|
| - * then the response will represent an error condition.
|
| - */
|
| - Response(this.id, {Map<String, Object> result, this.error})
|
| - : _result = result;
|
| -
|
| - /**
|
| - * Create and return the `DEBUG_PORT_COULD_NOT_BE_OPENED` error response.
|
| - */
|
| - Response.debugPortCouldNotBeOpened(Request request, dynamic error)
|
| - : this(request.id,
|
| - error: new RequestError(
|
| - RequestErrorCode.DEBUG_PORT_COULD_NOT_BE_OPENED, '$error'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the FILE_NOT_ANALYZED
|
| - * error condition.
|
| - */
|
| - Response.fileNotAnalyzed(Request request, String file)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.FILE_NOT_ANALYZED,
|
| - 'File is not analyzed: $file.'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the FORMAT_INVALID_FILE
|
| - * error condition.
|
| - */
|
| - Response.formatInvalidFile(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.FORMAT_INVALID_FILE,
|
| - 'Error during `edit.format`: invalid file.'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the FORMAT_WITH_ERROR
|
| - * error condition.
|
| - */
|
| - Response.formatWithErrors(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.FORMAT_WITH_ERRORS,
|
| - 'Error during `edit.format`: source contains syntax errors.'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance based on the given JSON data.
|
| - */
|
| - factory Response.fromJson(Map json) {
|
| - try {
|
| - Object id = json[Response.ID];
|
| - if (id is! String) {
|
| - return null;
|
| - }
|
| - Object error = json[Response.ERROR];
|
| - RequestError decodedError;
|
| - if (error is Map) {
|
| - decodedError = new RequestError.fromJson(
|
| - new ResponseDecoder(null), '.error', error);
|
| - }
|
| - Object result = json[Response.RESULT];
|
| - Map<String, Object> decodedResult;
|
| - if (result is Map) {
|
| - decodedResult = result as Map<String, Object>;
|
| - }
|
| - return new Response(id, error: decodedError, result: decodedResult);
|
| - } catch (exception) {
|
| - return null;
|
| - }
|
| - }
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the
|
| - * GET_ERRORS_INVALID_FILE error condition.
|
| - */
|
| - Response.getErrorsInvalidFile(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.GET_ERRORS_INVALID_FILE,
|
| - 'Error during `analysis.getErrors`: invalid file.'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the
|
| - * GET_NAVIGATION_INVALID_FILE error condition.
|
| - */
|
| - Response.getNavigationInvalidFile(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(
|
| - RequestErrorCode.GET_NAVIGATION_INVALID_FILE,
|
| - 'Error during `analysis.getNavigation`: invalid file.'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the
|
| - * GET_REACHABLE_SOURCES_INVALID_FILE error condition.
|
| - */
|
| - Response.getReachableSourcesInvalidFile(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(
|
| - RequestErrorCode.GET_REACHABLE_SOURCES_INVALID_FILE,
|
| - 'Error during `analysis.getReachableSources`: invalid file.'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent an error condition caused
|
| - * by an analysis.reanalyze [request] that specifies an analysis root that is
|
| - * not in the current list of analysis roots.
|
| - */
|
| - Response.invalidAnalysisRoot(Request request, String rootPath)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.INVALID_ANALYSIS_ROOT,
|
| - "Invalid analysis root: $rootPath"));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent an error condition caused
|
| - * by a [request] that specifies an execution context whose context root does
|
| - * not exist.
|
| - */
|
| - Response.invalidExecutionContext(Request request, String contextId)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.INVALID_EXECUTION_CONTEXT,
|
| - "Invalid execution context: $contextId"));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the
|
| - * INVALID_FILE_PATH_FORMAT error condition.
|
| - */
|
| - Response.invalidFilePathFormat(Request request, path)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.INVALID_FILE_PATH_FORMAT,
|
| - 'Invalid file path format: $path'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent an error condition caused
|
| - * by a [request] that had invalid parameter. [path] is the path to the
|
| - * invalid parameter, in Javascript notation (e.g. "foo.bar" means that the
|
| - * parameter "foo" contained a key "bar" whose value was the wrong type).
|
| - * [expectation] is a description of the type of data that was expected.
|
| - */
|
| - Response.invalidParameter(Request request, String path, String expectation)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.INVALID_PARAMETER,
|
| - "Invalid parameter '$path'. $expectation."));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent an error condition caused
|
| - * by a malformed request.
|
| - */
|
| - Response.invalidRequestFormat()
|
| - : this('',
|
| - error: new RequestError(
|
| - RequestErrorCode.INVALID_REQUEST, 'Invalid request'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent an error condition caused
|
| - * by a request that requires an index, but indexing is disabled.
|
| - */
|
| - Response.noIndexGenerated(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(
|
| - RequestErrorCode.NO_INDEX_GENERATED, 'Indexing is disabled'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the
|
| - * ORGANIZE_DIRECTIVES_ERROR error condition.
|
| - */
|
| - Response.organizeDirectivesError(Request request, String message)
|
| - : this(request.id,
|
| - error: new RequestError(
|
| - RequestErrorCode.ORGANIZE_DIRECTIVES_ERROR, message));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the
|
| - * REFACTORING_REQUEST_CANCELLED error condition.
|
| - */
|
| - Response.refactoringRequestCancelled(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(
|
| - RequestErrorCode.REFACTORING_REQUEST_CANCELLED,
|
| - 'The `edit.getRefactoring` request was cancelled.'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the SERVER_ERROR error
|
| - * condition.
|
| - */
|
| - factory Response.serverError(Request request, exception, stackTrace) {
|
| - RequestError error =
|
| - new RequestError(RequestErrorCode.SERVER_ERROR, exception.toString());
|
| - if (stackTrace != null) {
|
| - error.stackTrace = stackTrace.toString();
|
| - }
|
| - return new Response(request.id, error: error);
|
| - }
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the
|
| - * SORT_MEMBERS_INVALID_FILE error condition.
|
| - */
|
| - Response.sortMembersInvalidFile(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.SORT_MEMBERS_INVALID_FILE,
|
| - 'Error during `edit.sortMembers`: invalid file.'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent the
|
| - * SORT_MEMBERS_PARSE_ERRORS error condition.
|
| - */
|
| - Response.sortMembersParseErrors(Request request, int numErrors)
|
| - : this(request.id,
|
| - error: new RequestError(RequestErrorCode.SORT_MEMBERS_PARSE_ERRORS,
|
| - 'Error during `edit.sortMembers`: file has $numErrors scan/parse errors.'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent an error condition caused
|
| - * by a `analysis.setPriorityFiles` [request] that includes one or more files
|
| - * that are not being analyzed.
|
| - */
|
| - Response.unanalyzedPriorityFiles(String requestId, String fileNames)
|
| - : this(requestId,
|
| - error: new RequestError(RequestErrorCode.UNANALYZED_PRIORITY_FILES,
|
| - "Unanalyzed files cannot be a priority: '$fileNames'"));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent an error condition caused
|
| - * by a [request] that cannot be handled by any known handlers.
|
| - */
|
| - Response.unknownRequest(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(
|
| - RequestErrorCode.UNKNOWN_REQUEST, 'Unknown request'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent an error condition caused
|
| - * by a [request] referencing a source that does not exist.
|
| - */
|
| - Response.unknownSource(Request request)
|
| - : this(request.id,
|
| - error: new RequestError(
|
| - RequestErrorCode.UNKNOWN_SOURCE, 'Unknown source'));
|
| -
|
| - /**
|
| - * Initialize a newly created instance to represent an error condition caused
|
| - * by a [request] for a service that is not supported.
|
| - */
|
| - Response.unsupportedFeature(String requestId, String message)
|
| - : this(requestId,
|
| - error: new RequestError(
|
| - RequestErrorCode.UNSUPPORTED_FEATURE, message));
|
| -
|
| - /**
|
| - * Return a table mapping the names of result fields to their values. Should
|
| - * be `null` if there is no result to send.
|
| - */
|
| - Map<String, Object> get result => _result;
|
| -
|
| - /**
|
| - * Return a table representing the structure of the Json object that will be
|
| - * sent to the client to represent this response.
|
| - */
|
| - Map<String, Object> toJson() {
|
| - Map<String, Object> jsonObject = new HashMap<String, Object>();
|
| - jsonObject[ID] = id;
|
| - if (error != null) {
|
| - jsonObject[ERROR] = error.toJson();
|
| - }
|
| - if (_result != null) {
|
| - jsonObject[RESULT] = _result;
|
| - }
|
| - return jsonObject;
|
| - }
|
| -}
|
|
|