Searched refs:specSource (Results 1 – 3 of 3) sorted by relevance
32 static String specSource; field in Main69 specSource = arg; in main()70 reader = new FileReader(specSource); in main()
190 System.err.println(Main.specSource + ":" + lineno + ": " + in error()
171 System.err.println(Main.specSource + ":" + izer.lineno() + in error()