| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
|
| index 1b1841f46ec3d4ae78cc14d462a20427b9ee0459..b3a7d771499aa4f41dbf156189d4a084de6d1526 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
|
| @@ -31,9 +31,9 @@ import org.apache.commons.lang3.StringUtils;
|
| public class NavigationRegion {
|
|
|
| /**
|
| - * The length of the region from which the user can navigate.
|
| + * An empty array of {@link NavigationRegion}s.
|
| */
|
| - private final int length;
|
| + public static final NavigationRegion[] EMPTY_ARRAY = new NavigationRegion[0];
|
|
|
| /**
|
| * The offset of the region from which the user can navigate.
|
| @@ -41,6 +41,11 @@ public class NavigationRegion {
|
| private final int offset;
|
|
|
| /**
|
| + * The length of the region from which the user can navigate.
|
| + */
|
| + private final int length;
|
| +
|
| + /**
|
| * The elements to which the given region is bound. By opening the declaration of the elements,
|
| * clients can implement one form of navigation.
|
| */
|
|
|