Adds record of a new file, by filename. @param filename the filename to add, unqualified by path.
(String filename)
| 171 | * @param filename the filename to add, unqualified by path. |
| 172 | */ |
| 173 | public void addFile(String filename) { |
| 174 | addFile(filename, filename); |
| 175 | } |
| 176 | |
| 177 | /** |
| 178 | * Adds record of a new file, by filename and path. The path may be relative to a source compilation path. |