Searched defs:jdtOptions (Results 1 – 1 of 1) sorted by relevance
58 private Map<String, String> jdtOptions; field in Main65 public Main setJdtOptions(Map<String, String> jdtOptions) { in setJdtOptions() argument156 private final Map<String, String> jdtOptions; field in Main.CompilationUnitHandler167 PrintWriter reportWriter, Map<String, String> jdtOptions) { in CompilationUnitHandler() argument