blob: 5611d388587d442a2184976a860d33f7ca618115 (
plain) (
tree)
|
|
package dotty.tools.dotc.interfaces;
import java.io.File;
/** 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 {
/** The content of this file as seen by the compiler. */
char[] content();
}
|