diff options
Diffstat (limited to 'interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java')
| -rw-r--r-- | interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java b/interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java deleted file mode 100644 index 6c72a5125..000000000 --- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/SourceFile.java +++ /dev/null @@ -1,11 +0,0 @@ -package dotty.tools.dotc.interfaces; - -/** A source file. - * - * User code should not implement this interface, but it may have to - * manipulate objects of this type. - */ -public interface SourceFile extends AbstractFile { - /** @return The content of this file as seen by the compiler. */ - char[] content(); -} |