| 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 2472d136f2cd67357bd89831b6a39e41abb624f6..a3341a5dda20ce9f65b83f9b5a02abe68874dd3c 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
|
| @@ -51,12 +51,12 @@ public class Position {
|
| /**
|
| * The offset of the position.
|
| */
|
| - private final Integer offset;
|
| + private final int offset;
|
|
|
| /**
|
| * Constructor for {@link Position}.
|
| */
|
| - public Position(String file, Integer offset) {
|
| + public Position(String file, int offset) {
|
| this.file = file;
|
| this.offset = offset;
|
| }
|
| @@ -74,7 +74,7 @@ public class Position {
|
|
|
| public static Position fromJson(JsonObject jsonObject) {
|
| String file = jsonObject.get("file").getAsString();
|
| - Integer offset = jsonObject.get("offset").getAsInt();
|
| + int offset = jsonObject.get("offset").getAsInt();
|
| return new Position(file, offset);
|
| }
|
|
|
| @@ -100,7 +100,7 @@ public class Position {
|
| /**
|
| * The offset of the position.
|
| */
|
| - public Integer getOffset() {
|
| + public int getOffset() {
|
| return offset;
|
| }
|
|
|
|
|