| Index: pkg/analysis_server/lib/plugin/protocol/generated_protocol.dart
|
| diff --git a/pkg/analysis_server/lib/plugin/protocol/generated_protocol.dart b/pkg/analysis_server/lib/plugin/protocol/generated_protocol.dart
|
| index ce67998f1fe43ab673b7694bd49b13992a4ef89e..f3c2d98a8556fd5558227675900765721c546a7f 100644
|
| --- a/pkg/analysis_server/lib/plugin/protocol/generated_protocol.dart
|
| +++ b/pkg/analysis_server/lib/plugin/protocol/generated_protocol.dart
|
| @@ -267,6 +267,7 @@ class ServerSetSubscriptionsResult {
|
| * {
|
| * "version": String
|
| * "pid": int
|
| + * "sessionId": optional String
|
| * }
|
| *
|
| * Clients may not extend, implement or mix-in this class.
|
| @@ -276,6 +277,8 @@ class ServerConnectedParams implements HasToJson {
|
|
|
| int _pid;
|
|
|
| + String _sessionId;
|
| +
|
| /**
|
| * The version number of the analysis server.
|
| */
|
| @@ -302,9 +305,22 @@ class ServerConnectedParams implements HasToJson {
|
| this._pid = value;
|
| }
|
|
|
| - ServerConnectedParams(String version, int pid) {
|
| + /**
|
| + * The session id for this session.
|
| + */
|
| + String get sessionId => _sessionId;
|
| +
|
| + /**
|
| + * The session id for this session.
|
| + */
|
| + void set sessionId(String value) {
|
| + this._sessionId = value;
|
| + }
|
| +
|
| + ServerConnectedParams(String version, int pid, {String sessionId}) {
|
| this.version = version;
|
| this.pid = pid;
|
| + this.sessionId = sessionId;
|
| }
|
|
|
| factory ServerConnectedParams.fromJson(JsonDecoder jsonDecoder, String jsonPath, Object json) {
|
| @@ -324,7 +340,11 @@ class ServerConnectedParams implements HasToJson {
|
| } else {
|
| throw jsonDecoder.missingKey(jsonPath, "pid");
|
| }
|
| - return new ServerConnectedParams(version, pid);
|
| + String sessionId;
|
| + if (json.containsKey("sessionId")) {
|
| + sessionId = jsonDecoder.decodeString(jsonPath + ".sessionId", json["sessionId"]);
|
| + }
|
| + return new ServerConnectedParams(version, pid, sessionId: sessionId);
|
| } else {
|
| throw jsonDecoder.mismatch(jsonPath, "server.connected params", json);
|
| }
|
| @@ -339,6 +359,9 @@ class ServerConnectedParams implements HasToJson {
|
| Map<String, dynamic> result = {};
|
| result["version"] = version;
|
| result["pid"] = pid;
|
| + if (sessionId != null) {
|
| + result["sessionId"] = sessionId;
|
| + }
|
| return result;
|
| }
|
|
|
| @@ -353,7 +376,8 @@ class ServerConnectedParams implements HasToJson {
|
| bool operator==(other) {
|
| if (other is ServerConnectedParams) {
|
| return version == other.version &&
|
| - pid == other.pid;
|
| + pid == other.pid &&
|
| + sessionId == other.sessionId;
|
| }
|
| return false;
|
| }
|
| @@ -363,6 +387,7 @@ class ServerConnectedParams implements HasToJson {
|
| int hash = 0;
|
| hash = JenkinsSmiHash.combine(hash, version.hashCode);
|
| hash = JenkinsSmiHash.combine(hash, pid.hashCode);
|
| + hash = JenkinsSmiHash.combine(hash, sessionId.hashCode);
|
| return JenkinsSmiHash.finish(hash);
|
| }
|
| }
|
|
|