| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HoverInformation.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HoverInformation.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HoverInformation.java
|
| index 0858a1b599ea542c02cf2d678df77db884416a6f..a9412eafa27a22bf183140f7fc6e604c0de4d080 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HoverInformation.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HoverInformation.java
|
| @@ -26,6 +26,7 @@ import com.google.gson.JsonArray;
|
| import com.google.gson.JsonElement;
|
| import com.google.gson.JsonObject;
|
| import com.google.gson.JsonPrimitive;
|
| +import org.apache.commons.lang3.builder.HashCodeBuilder;
|
| import java.util.ArrayList;
|
| import java.util.Iterator;
|
| import org.apache.commons.lang3.StringUtils;
|
| @@ -245,6 +246,22 @@ public class HoverInformation {
|
| return staticType;
|
| }
|
|
|
| + @Override
|
| + public int hashCode() {
|
| + HashCodeBuilder builder = new HashCodeBuilder();
|
| + builder.append(offset);
|
| + builder.append(length);
|
| + builder.append(containingLibraryPath);
|
| + builder.append(containingLibraryName);
|
| + builder.append(dartdoc);
|
| + builder.append(elementDescription);
|
| + builder.append(elementKind);
|
| + builder.append(parameter);
|
| + builder.append(propagatedType);
|
| + builder.append(staticType);
|
| + return builder.toHashCode();
|
| + }
|
| +
|
| public JsonObject toJson() {
|
| JsonObject jsonObject = new JsonObject();
|
| jsonObject.addProperty("offset", offset);
|
|
|