polyglot.frontend

Interface SourceLoader

All Known Subinterfaces:

FileManager

All Known Implementing Classes:

ExtFileManager

public interface SourceLoader

Interface for defining source file loader

Method Summary

Methods

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)

Method Detail

packageExists

boolean packageExists(java.lang.String name)

Parameters:

name - A package name

Returns:

true if a package name exists, otherwise false

packageExists

boolean packageExists(javax.tools.JavaFileManager.Location location,
                    java.lang.String name)

Parameters:

location - A location to search a package name in

name - A package name

Returns:

true if a package name exists, otherwise false

fileSource

FileSource fileSource(java.lang.String fileName)
                      throws java.io.IOException

Obtains a FileSource for a dependency.

Parameters:

fileName - A source file name

Returns:

A FileSource if a source file fileName exists in source path

Throws:

java.io.IOException

fileSource

@Deprecated
FileSource fileSource(java.lang.String fileName,
                               boolean userSpecified)
                      throws java.io.IOException

Deprecated. Use fileSource(String, Source.Kind) instead.

Parameters:

fileName - A source file name

userSpecified - If the user has specified this source file explicitly

Returns:

A FileSource if a source file fileName exists in source path

Throws:

java.io.IOException

fileSource

FileSource fileSource(java.lang.String fileName,
                    Source.Kind kind)
                      throws java.io.IOException

Parameters:

fileName - A source file name

kind - How the source was found

Returns:

A FileSource if a source file fileName exists in source path

Throws:

java.io.IOException

fileSource

FileSource fileSource(javax.tools.JavaFileManager.Location location,
                    java.lang.String fileName)
                      throws java.io.IOException

Obtains a FileSource for a dependency.

Parameters:

location - A location to search a source file in

fileName - A source file name

Returns:

A FileSource if a source file fileName exists

Throws:

java.io.IOException

fileSource

@Deprecated
FileSource fileSource(javax.tools.JavaFileManager.Location location,
                               java.lang.String fileName,
                               boolean userSpecified)
                      throws java.io.IOException

Deprecated. Use #fileSource(Location, String, Source.Kind) instead.

Parameters:

location - A location to search a source file in

fileName - A source file name

userSpecified - If the user has specified this source file explicitly

Returns:

A FileSource if a source file fileName exists

Throws:

java.io.IOException

fileSource

FileSource fileSource(javax.tools.JavaFileManager.Location location,
                    java.lang.String fileName,
                    Source.Kind kind)
                      throws java.io.IOException

Parameters:

location - A location to search a source file in

kind - How the source was found

userSpecified - If the user has specified this source file explicitly

Returns:

A FileSource if a source file fileName exists

Throws:

java.io.IOException

classSource

FileSource classSource(java.lang.String className)

Parameters:

className - A class name

Returns:

A FileSource containing definition of the class className if it exists in source path, otherwise null

classSource

FileSource classSource(javax.tools.JavaFileManager.Location location,
                     java.lang.String className)

Parameters:

location - A location to search a file in, that contains definition of the class className

className - A class name

Returns:

A FileSource containing definition of the class className if it exists in location, otherwise null

caseInsensitive

boolean caseInsensitive()

Returns:

true if the file system is case-insensitive, otherwise false.