| Index: pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
|
| diff --git a/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java b/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
|
| index 79d233e15d46d1008979d43244785b47b386e06e..d1dd58d24db17e64c0e4f0f7111bf873c473fb59 100644
|
| --- a/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
|
| +++ b/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
|
| @@ -95,6 +95,11 @@ public class HoverInformation {
|
| private final String elementKind;
|
|
|
| /**
|
| + * True if the referenced element is deprecated.
|
| + */
|
| + private final Boolean isDeprecated;
|
| +
|
| + /**
|
| * 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.
|
| */
|
| @@ -115,7 +120,7 @@ public class HoverInformation {
|
| /**
|
| * Constructor for {@link HoverInformation}.
|
| */
|
| - public HoverInformation(int offset, int length, String containingLibraryPath, String containingLibraryName, String containingClassDescription, String dartdoc, String elementDescription, String elementKind, String parameter, String propagatedType, String staticType) {
|
| + public HoverInformation(int offset, int length, String containingLibraryPath, String containingLibraryName, String containingClassDescription, String dartdoc, String elementDescription, String elementKind, Boolean isDeprecated, String parameter, String propagatedType, String staticType) {
|
| this.offset = offset;
|
| this.length = length;
|
| this.containingLibraryPath = containingLibraryPath;
|
| @@ -124,6 +129,7 @@ public class HoverInformation {
|
| this.dartdoc = dartdoc;
|
| this.elementDescription = elementDescription;
|
| this.elementKind = elementKind;
|
| + this.isDeprecated = isDeprecated;
|
| this.parameter = parameter;
|
| this.propagatedType = propagatedType;
|
| this.staticType = staticType;
|
| @@ -142,6 +148,7 @@ public class HoverInformation {
|
| ObjectUtilities.equals(other.dartdoc, dartdoc) &&
|
| ObjectUtilities.equals(other.elementDescription, elementDescription) &&
|
| ObjectUtilities.equals(other.elementKind, elementKind) &&
|
| + ObjectUtilities.equals(other.isDeprecated, isDeprecated) &&
|
| ObjectUtilities.equals(other.parameter, parameter) &&
|
| ObjectUtilities.equals(other.propagatedType, propagatedType) &&
|
| ObjectUtilities.equals(other.staticType, staticType);
|
| @@ -158,10 +165,11 @@ public class HoverInformation {
|
| String dartdoc = jsonObject.get("dartdoc") == null ? null : jsonObject.get("dartdoc").getAsString();
|
| String elementDescription = jsonObject.get("elementDescription") == null ? null : jsonObject.get("elementDescription").getAsString();
|
| String elementKind = jsonObject.get("elementKind") == null ? null : jsonObject.get("elementKind").getAsString();
|
| + Boolean isDeprecated = jsonObject.get("isDeprecated") == null ? null : jsonObject.get("isDeprecated").getAsBoolean();
|
| String parameter = jsonObject.get("parameter") == null ? null : jsonObject.get("parameter").getAsString();
|
| String propagatedType = jsonObject.get("propagatedType") == null ? null : jsonObject.get("propagatedType").getAsString();
|
| String staticType = jsonObject.get("staticType") == null ? null : jsonObject.get("staticType").getAsString();
|
| - return new HoverInformation(offset, length, containingLibraryPath, containingLibraryName, containingClassDescription, dartdoc, elementDescription, elementKind, parameter, propagatedType, staticType);
|
| + return new HoverInformation(offset, length, containingLibraryPath, containingLibraryName, containingClassDescription, dartdoc, elementDescription, elementKind, isDeprecated, parameter, propagatedType, staticType);
|
| }
|
|
|
| public static List<HoverInformation> fromJsonArray(JsonArray jsonArray) {
|
| @@ -228,6 +236,13 @@ public class HoverInformation {
|
| }
|
|
|
| /**
|
| + * True if the referenced element is deprecated.
|
| + */
|
| + public Boolean getIsDeprecated() {
|
| + return isDeprecated;
|
| + }
|
| +
|
| + /**
|
| * The length of the range of characters that encompasses the cursor position and has the same
|
| * hover information as the cursor position.
|
| */
|
| @@ -278,6 +293,7 @@ public class HoverInformation {
|
| builder.append(dartdoc);
|
| builder.append(elementDescription);
|
| builder.append(elementKind);
|
| + builder.append(isDeprecated);
|
| builder.append(parameter);
|
| builder.append(propagatedType);
|
| builder.append(staticType);
|
| @@ -306,6 +322,9 @@ public class HoverInformation {
|
| if (elementKind != null) {
|
| jsonObject.addProperty("elementKind", elementKind);
|
| }
|
| + if (isDeprecated != null) {
|
| + jsonObject.addProperty("isDeprecated", isDeprecated);
|
| + }
|
| if (parameter != null) {
|
| jsonObject.addProperty("parameter", parameter);
|
| }
|
| @@ -338,6 +357,8 @@ public class HoverInformation {
|
| builder.append(elementDescription + ", ");
|
| builder.append("elementKind=");
|
| builder.append(elementKind + ", ");
|
| + builder.append("isDeprecated=");
|
| + builder.append(isDeprecated + ", ");
|
| builder.append("parameter=");
|
| builder.append(parameter + ", ");
|
| builder.append("propagatedType=");
|
|
|