|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface CompilationResultDestinationManager
acts as a bridge from ajde's OutputLocationManager interface to the compiler internals
Field Summary | |
---|---|
static int |
FILETYPE_CLASS
|
static int |
FILETYPE_OUTJAR
|
static int |
FILETYPE_RESOURCE
|
static int |
FILETYPE_UNKNOWN
|
Method Summary | |
---|---|
int |
discoverChangesSince(java.io.File dir,
long buildtime)
|
java.util.List |
getAllOutputLocations()
Return a list of all output locations handled by this OutputLocationManager |
java.io.File |
getDefaultOutputLocation()
Return the default output location (for example, |
java.util.Map |
getInpathMap()
|
java.io.File |
getOutputLocationForClass(java.io.File compilationUnit)
Return the directory root under which the results of compiling the given source file. |
java.io.File |
getOutputLocationForResource(java.io.File resource)
When copying resources from source folders to output location, return the root directory under which the resource should be copied. |
java.lang.String |
getSourceFolderForFile(java.io.File sourceFile)
Return the source folder where this source file came from, relative to the project root. |
void |
reportFileRemove(java.lang.String outputfile,
int filetype)
Report that a class file is being deleted from the specified location. |
void |
reportFileWrite(java.lang.String outputfile,
int filetype)
Report that a class file is being written to the specified location. |
Field Detail |
---|
static final int FILETYPE_UNKNOWN
static final int FILETYPE_CLASS
static final int FILETYPE_OUTJAR
static final int FILETYPE_RESOURCE
Method Detail |
---|
java.io.File getOutputLocationForClass(java.io.File compilationUnit)
compilationUnit
- the compilation unit that has been compiled
java.lang.String getSourceFolderForFile(java.io.File sourceFile)
sourceFile
- the file for which the source folder should be determined
java.io.File getOutputLocationForResource(java.io.File resource)
resource
- the resource to be copied
java.util.List getAllOutputLocations()
java.io.File getDefaultOutputLocation()
void reportFileWrite(java.lang.String outputfile, int filetype)
outputfile
- the output file (including .class suffix)void reportFileRemove(java.lang.String outputfile, int filetype)
outputfile
- the output file (including .class suffix)java.util.Map getInpathMap()
int discoverChangesSince(java.io.File dir, long buildtime)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |