public interface FileListener
FileManager to receive notification when
files are created.| Modifier and Type | Method and Description |
|---|---|
void |
newFile(SymbolID id,
int type,
java.lang.String role,
java.lang.String dir,
java.lang.String name)
This method is called by the
FileManager
for each new file it creates. |
void newFile(SymbolID id, int type, java.lang.String role, java.lang.String dir, java.lang.String name)
FileManager
for each new file it creates.id - the file is related to this symbol id.type - this indicates the type of the symbol. A constant
from Type.role - this describes the role the file plays. For example,
the file could be a STUBSRCS file or a
IMPLSRCS file. The role strings used
are determined by the backend.dir - the path (relative or absolute) of the directory where
the file will be created.name - the name of the file not including any directory
information. The complete name of the file should
be dir + name.