Searched refs:MulticatchParamTester (Results 1 - 1 of 1) sorted by relevance
/openjdk7/langtools/test/tools/javac/multicatch/model/ | ||
H A D | ModelChecker.java | 64 new MulticatchParamTester(trees).scan(p, null); 69 class MulticatchParamTester extends TreePathScanner<Void, Void> { class in class:ModelChecker 72 public MulticatchParamTester(Trees trees) { method in class:ModelChecker.MulticatchParamTester |
Completed in 39 milliseconds