Index: dart/compiler/java/com/google/dart/compiler/Source.java |
diff --git a/dart/compiler/java/com/google/dart/compiler/Source.java b/dart/compiler/java/com/google/dart/compiler/Source.java |
deleted file mode 100644 |
index eb43b653a78b61c12d249f698b5b99f025e7b484..0000000000000000000000000000000000000000 |
--- a/dart/compiler/java/com/google/dart/compiler/Source.java |
+++ /dev/null |
@@ -1,52 +0,0 @@ |
-// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-package com.google.dart.compiler; |
- |
-import java.io.IOException; |
-import java.io.Reader; |
-import java.net.URI; |
-import java.util.Date; |
- |
-/** |
- * Abstract interface to a source file. |
- */ |
-public interface Source { |
- |
- /** |
- * Determines whether the given source exists. |
- */ |
- boolean exists(); |
- |
- /** |
- * Returns the last-modified timestamp for this source, using the same units as |
- * {@link Date#getTime()}. |
- */ |
- long getLastModified(); |
- |
- /** |
- * Gets the name of this source. |
- */ |
- String getName(); |
- |
- /** |
- * Gets a reader for the dart file's source code. The caller is responsible for closing the |
- * returned reader. |
- */ |
- Reader getSourceReader() throws IOException; |
- |
- /** |
- * Return an identifier that will uniquely identify this source. |
- * |
- * @return the unique identifier for this source. |
- */ |
- String getUniqueIdentifier(); |
- |
- /** |
- * Gets the identifier for this source. This is used to uniquely identify the |
- * source, but should not be used to obtain the source content. Use |
- * {@link #getSourceReader()} to obtain the source content. |
- */ |
- URI getUri(); |
-} |