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