public static String getSimpleFilename(
CommonTree tree, String extension, String outputDirectory) {
return outputDirectory
+ '/'
+ FilenameHelper.getExtensionlessSourceFilename(tree)
+ "."
+ extension;
}
public static String getSimpleFilename(CommonTree tree, String extension) {
return FilenameHelper.getSimpleFilename(
tree, extension, FilenameHelper.getSourceFileParent(tree));
}