Searched defs:javaFile (Results 1 – 1 of 1) sorted by relevance
178 GeneratedFile* javaFile) in PermutationWriter()1124 GeneratedFile javaFile; // The Jave test file we're generating. in writeTestFilesForFunction() local