equal
deleted
inserted
replaced
375 */ |
375 */ |
376 public JavaFileManager getFileManager() { |
376 public JavaFileManager getFileManager() { |
377 return env.fileManager; |
377 return env.fileManager; |
378 } |
378 } |
379 |
379 |
380 public void initDocLint(Collection<String> opts, Collection<String> customTagNames) { |
380 public void initDocLint(Collection<String> opts, Collection<String> customTagNames, |
381 env.initDoclint(opts, customTagNames); |
381 String htmlVersion) { |
|
382 env.initDoclint(opts, customTagNames, htmlVersion); |
382 } |
383 } |
383 |
384 |
384 public boolean isFunctionalInterface(AnnotationDesc annotationDesc) { |
385 public boolean isFunctionalInterface(AnnotationDesc annotationDesc) { |
385 return env.source.allowLambda() |
386 return env.source.allowLambda() |
386 && annotationDesc.annotationType().qualifiedName().equals( |
387 && annotationDesc.annotationType().qualifiedName().equals( |