if (dot_index > 0)
{
output_file_name = output_file_name.substring(0, dot_index);
}
GrammarScanner scanner = new GrammarScanner(src);
for (Symbol sym = scanner.nextToken(); sym.getId() != Terminals.EOF; sym = scanner.nextToken())
{
if (sym.getId() == Terminals.CLASS)
{
if ((sym = scanner.nextToken()).getId() == Terminals.TEXT)
{
String class_name = (String) sym.value;
if (class_name != null && (class_name = class_name.trim()).length() > 0)
{
return class_name;