public interface SourceLoader
Modifier and Type | Method and Description |
---|---|
boolean |
caseInsensitive() |
FileSource |
classSource(javax.tools.JavaFileManager.Location location,
java.lang.String className) |
FileSource |
classSource(java.lang.String className) |
FileSource |
fileSource(javax.tools.JavaFileManager.Location location,
java.lang.String fileName)
Obtains a FileSource for a dependency.
|
FileSource |
fileSource(javax.tools.JavaFileManager.Location location,
java.lang.String fileName,
boolean userSpecified)
Deprecated.
Use
#fileSource(Location, String, Source.Kind) instead. |
FileSource |
fileSource(javax.tools.JavaFileManager.Location location,
java.lang.String fileName,
Source.Kind kind) |
FileSource |
fileSource(java.lang.String fileName)
Obtains a FileSource for a dependency.
|
FileSource |
fileSource(java.lang.String fileName,
boolean userSpecified)
Deprecated.
Use
fileSource(String, Source.Kind) instead. |
FileSource |
fileSource(java.lang.String fileName,
Source.Kind kind) |
boolean |
packageExists(javax.tools.JavaFileManager.Location location,
java.lang.String name) |
boolean |
packageExists(java.lang.String name) |
boolean packageExists(java.lang.String name)
name
- A package namename
exists, otherwise falseboolean packageExists(javax.tools.JavaFileManager.Location location, java.lang.String name)
location
- A location to search a package name
inname
- A package namename
exists, otherwise falseFileSource fileSource(java.lang.String fileName) throws java.io.IOException
fileName
- A source file namefileName
exists in
source pathjava.io.IOException
@Deprecated FileSource fileSource(java.lang.String fileName, boolean userSpecified) throws java.io.IOException
fileSource(String, Source.Kind)
instead.fileName
- A source file nameuserSpecified
- If the user has specified this source file explicitlyfileName
exists in
source pathjava.io.IOException
FileSource fileSource(java.lang.String fileName, Source.Kind kind) throws java.io.IOException
fileName
- A source file namekind
- How the source was foundfileName
exists in
source pathjava.io.IOException
FileSource fileSource(javax.tools.JavaFileManager.Location location, java.lang.String fileName) throws java.io.IOException
location
- A location to search a source file infileName
- A source file namefileName
existsjava.io.IOException
@Deprecated FileSource fileSource(javax.tools.JavaFileManager.Location location, java.lang.String fileName, boolean userSpecified) throws java.io.IOException
#fileSource(Location, String, Source.Kind)
instead.location
- A location to search a source file infileName
- A source file nameuserSpecified
- If the user has specified this source file explicitlyfileName
existsjava.io.IOException
FileSource fileSource(javax.tools.JavaFileManager.Location location, java.lang.String fileName, Source.Kind kind) throws java.io.IOException
location
- A location to search a source file inkind
- How the source was founduserSpecified
- If the user has specified this source file explicitlyfileName
existsjava.io.IOException
FileSource classSource(java.lang.String className)
className
- A class nameclassName
if it exists in source path, otherwise
nullFileSource classSource(javax.tools.JavaFileManager.Location location, java.lang.String className)
location
- A location to search a file in, that contains definition of
the class className
className
- A class nameclassName
if it exists in location
,
otherwise nullboolean caseInsensitive()