Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(435)

Unified Diff: pkg/analysis_server/lib/plugin/protocol/protocol.dart

Issue 2844273003: Unify the server and plugin versions of the generators (Closed)
Patch Set: add missed files Created 3 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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;
- }
-}

Powered by Google App Engine
This is Rietveld 408576698