dotty.tools.dotc.interfaces

Interface AbstractFile

All Known Subinterfaces:

SourceFile

public interface AbstractFile

An abstract file may either be a file on disk or a virtual file. Do not rely on the identity of instances of this class. User code should not implement this interface, but it may have to manipulate objects of this type.

Method Summary

Modifier and Type	Method and Description
java.util.Optional<java.io.File>	jfile()
java.lang.String	name()
java.lang.String	path()

Method Detail

name

java.lang.String name()

Returns:

The name of this file, note that two files may have the same name.

path

java.lang.String path()

Returns:

The path of this file, this might be a virtual path of an unspecified format.

jfile

java.util.Optional<java.io.File> jfile()

Returns:

If this is a real file on disk, a `java.io.File` that corresponds to this file. Otherwise, an empty `Optional`.