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 4b8fe8bc2abc4d83c7b8e91a94af7b57c72be2f1..f94ab6c2d46593d98aaf30c2b57ce51e2a273350 100644 |
--- a/pkg/analysis_server/lib/plugin/protocol/generated_protocol.dart |
+++ b/pkg/analysis_server/lib/plugin/protocol/generated_protocol.dart |
@@ -11298,6 +11298,7 @@ class HighlightRegionType implements Enum { |
* "dartdoc": optional String |
* "elementDescription": optional String |
* "elementKind": optional String |
+ * "isDeprecated": optional bool |
* "parameter": optional String |
* "propagatedType": optional String |
* "staticType": optional String |
@@ -11322,6 +11323,8 @@ class HoverInformation implements HasToJson { |
String _elementKind; |
+ bool _isDeprecated; |
+ |
String _parameter; |
String _propagatedType; |
@@ -11455,6 +11458,18 @@ class HoverInformation implements HasToJson { |
} |
/** |
+ * True if the referenced element is deprecated. |
+ */ |
+ bool get isDeprecated => _isDeprecated; |
+ |
+ /** |
+ * True if the referenced element is deprecated. |
+ */ |
+ void set isDeprecated(bool value) { |
+ this._isDeprecated = value; |
+ } |
+ |
+ /** |
* A human-readable description of the parameter corresponding to the |
* expression being hovered over. This data is omitted if the location is not |
* in an argument to a function. |
@@ -11500,7 +11515,7 @@ class HoverInformation implements HasToJson { |
this._staticType = value; |
} |
- HoverInformation(int offset, int length, {String containingLibraryPath, String containingLibraryName, String containingClassDescription, String dartdoc, String elementDescription, String elementKind, String parameter, String propagatedType, String staticType}) { |
+ HoverInformation(int offset, int length, {String containingLibraryPath, String containingLibraryName, String containingClassDescription, String dartdoc, String elementDescription, String elementKind, bool isDeprecated, String parameter, String propagatedType, String staticType}) { |
this.offset = offset; |
this.length = length; |
this.containingLibraryPath = containingLibraryPath; |
@@ -11509,6 +11524,7 @@ class HoverInformation implements HasToJson { |
this.dartdoc = dartdoc; |
this.elementDescription = elementDescription; |
this.elementKind = elementKind; |
+ this.isDeprecated = isDeprecated; |
this.parameter = parameter; |
this.propagatedType = propagatedType; |
this.staticType = staticType; |
@@ -11555,6 +11571,10 @@ class HoverInformation implements HasToJson { |
if (json.containsKey("elementKind")) { |
elementKind = jsonDecoder.decodeString(jsonPath + ".elementKind", json["elementKind"]); |
} |
+ bool isDeprecated; |
+ if (json.containsKey("isDeprecated")) { |
+ isDeprecated = jsonDecoder.decodeBool(jsonPath + ".isDeprecated", json["isDeprecated"]); |
+ } |
String parameter; |
if (json.containsKey("parameter")) { |
parameter = jsonDecoder.decodeString(jsonPath + ".parameter", json["parameter"]); |
@@ -11567,7 +11587,7 @@ class HoverInformation implements HasToJson { |
if (json.containsKey("staticType")) { |
staticType = jsonDecoder.decodeString(jsonPath + ".staticType", json["staticType"]); |
} |
- return new HoverInformation(offset, length, containingLibraryPath: containingLibraryPath, containingLibraryName: containingLibraryName, containingClassDescription: containingClassDescription, dartdoc: dartdoc, elementDescription: elementDescription, elementKind: elementKind, parameter: parameter, propagatedType: propagatedType, staticType: staticType); |
+ return new HoverInformation(offset, length, containingLibraryPath: containingLibraryPath, containingLibraryName: containingLibraryName, containingClassDescription: containingClassDescription, dartdoc: dartdoc, elementDescription: elementDescription, elementKind: elementKind, isDeprecated: isDeprecated, parameter: parameter, propagatedType: propagatedType, staticType: staticType); |
} else { |
throw jsonDecoder.mismatch(jsonPath, "HoverInformation", json); |
} |
@@ -11595,6 +11615,9 @@ class HoverInformation implements HasToJson { |
if (elementKind != null) { |
result["elementKind"] = elementKind; |
} |
+ if (isDeprecated != null) { |
+ result["isDeprecated"] = isDeprecated; |
+ } |
if (parameter != null) { |
result["parameter"] = parameter; |
} |
@@ -11621,6 +11644,7 @@ class HoverInformation implements HasToJson { |
dartdoc == other.dartdoc && |
elementDescription == other.elementDescription && |
elementKind == other.elementKind && |
+ isDeprecated == other.isDeprecated && |
parameter == other.parameter && |
propagatedType == other.propagatedType && |
staticType == other.staticType; |
@@ -11639,6 +11663,7 @@ class HoverInformation implements HasToJson { |
hash = JenkinsSmiHash.combine(hash, dartdoc.hashCode); |
hash = JenkinsSmiHash.combine(hash, elementDescription.hashCode); |
hash = JenkinsSmiHash.combine(hash, elementKind.hashCode); |
+ hash = JenkinsSmiHash.combine(hash, isDeprecated.hashCode); |
hash = JenkinsSmiHash.combine(hash, parameter.hashCode); |
hash = JenkinsSmiHash.combine(hash, propagatedType.hashCode); |
hash = JenkinsSmiHash.combine(hash, staticType.hashCode); |