| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Position.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Position.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Position.java
|
| index edb1449dd90811ba82348ceeb73cbe78706dd9ab..8a0fba82b080baf323b8ec78601eaff9e0cdd76d 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Position.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Position.java
|
| @@ -31,6 +31,11 @@ import org.apache.commons.lang3.StringUtils;
|
| public class Position {
|
|
|
| /**
|
| + * An empty array of {@link Position}s.
|
| + */
|
| + public static final Position[] EMPTY_ARRAY = new Position[0];
|
| +
|
| + /**
|
| * The file containing the position.
|
| */
|
| private final String file;
|
|
|