Searched refs:dotFileName (Results 1 – 1 of 1) sorted by relevance
679 String dotFileName = g.name + "." + "dec-" + d; in generateDFAs() local681 … dotFileName = g.name + Grammar.grammarTypeToFileNameSuffix[g.type] + "." + "dec-" + d; in generateDFAs()684 writeDOTFile(g, dotFileName, dot); in generateDFAs()687 dotFileName, in generateDFAs()