| 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 5c9b2879d5d5cfe4c0bdbda3f9b44c6743207ee4..280d5f5dbb93237343c28f2d1ef3ac88376a5bd5 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
|
| @@ -31,10 +31,21 @@ import org.apache.commons.lang3.StringUtils;
|
| public class HoverInformation {
|
|
|
| /**
|
| - * The name of the library in which the referenced element is declared. This data is omitted if
|
| - * there is no referenced element.
|
| + * An empty array of {@link HoverInformation}s.
|
| */
|
| - private final String containingLibraryName;
|
| + public static final HoverInformation[] EMPTY_ARRAY = new HoverInformation[0];
|
| +
|
| + /**
|
| + * The offset of the range of characters that encompases the cursor position and has the same hover
|
| + * information as the cursor position.
|
| + */
|
| + private final int offset;
|
| +
|
| + /**
|
| + * The length of the range of characters that encompases the cursor position and has the same hover
|
| + * information as the cursor position.
|
| + */
|
| + private final int length;
|
|
|
| /**
|
| * The path to the defining compilation unit of the library in which the referenced element is
|
| @@ -43,6 +54,12 @@ public class HoverInformation {
|
| private final String containingLibraryPath;
|
|
|
| /**
|
| + * The name of the library in which the referenced element is declared. This data is omitted if
|
| + * there is no referenced element.
|
| + */
|
| + private final String containingLibraryName;
|
| +
|
| + /**
|
| * The dartdoc associated with the referenced element. Other than the removal of the comment
|
| * delimiters, including leading asterisks in the case of a block comment, the dartdoc is
|
| * unprocessed markdown. This data is omitted if there is no referenced element.
|
| @@ -62,18 +79,6 @@ public class HoverInformation {
|
| private final String elementKind;
|
|
|
| /**
|
| - * The length of the range of characters that encompases the cursor position and has the same hover
|
| - * information as the cursor position.
|
| - */
|
| - private final int length;
|
| -
|
| - /**
|
| - * The offset of the range of characters that encompases the cursor position and has the same hover
|
| - * information as the cursor position.
|
| - */
|
| - private final int offset;
|
| -
|
| - /**
|
| * 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.
|
| */
|
|
|