| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/ContentChange.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/ContentChange.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/ContentChange.java
|
| deleted file mode 100644
|
| index 30bc1c75c09211d5d06b64a8fa8d09f9bc16b1df..0000000000000000000000000000000000000000
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/ContentChange.java
|
| +++ /dev/null
|
| @@ -1,81 +0,0 @@
|
| -/*
|
| - * Copyright (c) 2014, the Dart project authors.
|
| - *
|
| - * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
|
| - * in compliance with the License. You may obtain a copy of the License at
|
| - *
|
| - * http://www.eclipse.org/legal/epl-v10.html
|
| - *
|
| - * Unless required by applicable law or agreed to in writing, software distributed under the License
|
| - * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
|
| - * or implied. See the License for the specific language governing permissions and limitations under
|
| - * the License.
|
| - */
|
| -package com.google.dart.server;
|
| -
|
| -/**
|
| - * A description of the change to the content of a file. If any of the optional fields are provided
|
| - * then all of the optional fields must be provided.
|
| - *
|
| - * @coverage dart.server
|
| - */
|
| -public class ContentChange {
|
| - private final String content;
|
| - private final boolean incremental;
|
| - private final int offset;
|
| - private final int oldLength;
|
| - private final int newLength;
|
| -
|
| - public ContentChange(String content) {
|
| - this.content = content;
|
| - this.incremental = false;
|
| - this.offset = 0;
|
| - this.oldLength = 0;
|
| - this.newLength = 0;
|
| - }
|
| -
|
| - public ContentChange(String content, int offset, int oldLength, int newLength) {
|
| - this.content = content;
|
| - this.incremental = true;
|
| - this.offset = offset;
|
| - this.oldLength = oldLength;
|
| - this.newLength = newLength;
|
| - }
|
| -
|
| - /**
|
| - * The new content of the file, or {@code null} if the content of the file should be read from
|
| - * disk.
|
| - */
|
| - public String getContent() {
|
| - return content;
|
| - }
|
| -
|
| - /**
|
| - * The (optional) length of the region that was added.
|
| - */
|
| - public int getNewLength() {
|
| - return newLength;
|
| - }
|
| -
|
| - /**
|
| - * The (optional) offset of the region that was modified.
|
| - */
|
| - public int getOffset() {
|
| - return offset;
|
| - }
|
| -
|
| - /**
|
| - * The (optional) length of the region that was removed.
|
| - */
|
| - public int getOldLength() {
|
| - return oldLength;
|
| - }
|
| -
|
| - /**
|
| - * Is {@code true} if this is an incremental change, so {@link #getOffset()},
|
| - * {@link #getOldLength()} and {@link #getNewLength()} values are set.
|
| - */
|
| - public boolean isIncremental() {
|
| - return incremental;
|
| - }
|
| -}
|
|
|