|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface CompilerInterface
The minimum interface that a compiler must meet to be used by DrJava.
| Method Summary | |
|---|---|
java.util.List<java.io.File> |
additionalBootClassPathForInteractions()
A compiler can instruct DrJava to include additional elements for the boot class path of the Interactions JVM. |
java.util.List<? extends DJError> |
compile(java.util.List<? extends java.io.File> files,
java.util.List<? extends java.io.File> classPath,
java.util.List<? extends java.io.File> sourcePath,
java.io.File destination,
java.util.List<? extends java.io.File> bootClassPath,
java.lang.String sourceVersion,
boolean showWarnings)
Compile the given files. |
java.lang.String |
getDescription()
Returns a one-line description of the compiler (such as the name and file location) |
javax.swing.filechooser.FileFilter |
getFileFilter()
Return a file filter that can be used to open files this compiler supports. |
java.util.Set<java.lang.String> |
getKeywordsForFile(java.io.File f)
Return the set of keywords that should be highlighted in the specified file. |
java.lang.String |
getName()
Returns the name of this compiler, appropriate to show to the user. |
java.lang.String |
getOpenAllFilesInFolderExtension()
Return the extension of the files that should be opened with the "Open Folder..." command. |
java.util.Set<java.lang.String> |
getSourceFileExtensions()
Return the set of source file extensions that this compiler supports. |
java.lang.String |
getSuggestedFileExtension()
Return the suggested file extension that will be appended to a file without extension. |
boolean |
isAvailable()
Indicates whether this compiler is actually available. |
boolean |
isSourceFileForThisCompiler(java.io.File f)
Return true if the specified file is a source file for this compiler. |
boolean |
supportsLanguageLevels()
Return true if this compiler can be used in conjunction with the language level facility. |
java.lang.String |
toString()
String to display in a combo box (generally getName()) |
java.lang.String |
transformCommands(java.lang.String interactionsString)
Transform the command line to be interpreted into something the Interactions JVM can use. |
JavaVersion |
version()
The latest version of Java supported by the compiler |
| Method Detail |
|---|
boolean isAvailable()
compile(java.util.List extends java.io.File>, java.util.List extends java.io.File>, java.util.List extends java.io.File>, java.io.File, java.util.List extends java.io.File>, java.lang.String, boolean) method should not fail due to class not being found.
java.util.List<? extends DJError> compile(java.util.List<? extends java.io.File> files,
java.util.List<? extends java.io.File> classPath,
java.util.List<? extends java.io.File> sourcePath,
java.io.File destination,
java.util.List<? extends java.io.File> bootClassPath,
java.lang.String sourceVersion,
boolean showWarnings)
files - Source files to compile.classPath - Support jars or directories that should be on the classpath. If null, the default is used.sourcePath - Location of additional sources to be compiled on-demand. If null, the default is used.destination - Location (directory) for compiled classes. If null, the default in-place location is used.bootClassPath - The bootclasspath (contains Java API jars or directories); should be consistent with
sourceVersion
If null, the default is used.sourceVersion - The language version of the sources. Should be consistent with bootClassPath.
If null, the default is used.showWarnings - Whether compiler warnings should be shown or ignored.
JavaVersion version()
java.lang.String getName()
java.lang.String getDescription()
java.lang.String toString()
getName())
toString in class java.lang.Objectjava.util.List<java.io.File> additionalBootClassPathForInteractions()
java.lang.String transformCommands(java.lang.String interactionsString)
interactionsString - unprocessed command line
boolean isSourceFileForThisCompiler(java.io.File f)
f - file to check if it is a source file
java.util.Set<java.lang.String> getSourceFileExtensions()
java.lang.String getSuggestedFileExtension()
javax.swing.filechooser.FileFilter getFileFilter()
java.lang.String getOpenAllFilesInFolderExtension()
java.util.Set<java.lang.String> getKeywordsForFile(java.io.File f)
f - file for which to return the keywords
boolean supportsLanguageLevels()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||