(Grammar g, Rule r, String dot)
| 894 | } |
| 895 | |
| 896 | protected void writeDOTFile(Grammar g, Rule r, String dot) throws IOException { |
| 897 | writeDOTFile(g, r.g.name + "." + r.name, dot); |
| 898 | } |
| 899 | |
| 900 | protected void writeDOTFile(Grammar g, String name, String dot) throws IOException { |
| 901 | Writer fw = getOutputFileWriter(g, name + ".dot"); |
no test coverage detected