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