Searched refs:getLibraryFile (Results 1 – 2 of 2) sorted by relevance
951 public String getLibraryFile(String fileName) throws IOException { in getLibraryFile() method in Tool
2241 String fullName = tool.getLibraryFile(gname); in importGrammar()