Class Mercury


  • public final class Mercury
    extends java.lang.Object
    • Constructor Detail

      • Mercury

        public Mercury()
    • Method Detail

      • getSourceCompatibility

        public java.lang.String getSourceCompatibility()
      • setSourceCompatibility

        public void setSourceCompatibility​(java.lang.String sourceCompatibility)
      • setSourceCompatibilityFromRelease

        public void setSourceCompatibilityFromRelease​(int release)
        Set the setSourceCompatibility(String) using the value used for javac's --release option.

        If the release version is not supported, the latest supported version will be used.

      • getEncoding

        public java.nio.charset.Charset getEncoding()
      • setEncoding

        public void setEncoding​(java.nio.charset.Charset encoding)
      • isGracefulClasspathChecks

        public boolean isGracefulClasspathChecks()
      • setGracefulClasspathChecks

        public void setGracefulClasspathChecks​(boolean enable)
      • isGracefulJavadocClasspathChecks

        public boolean isGracefulJavadocClasspathChecks()
      • setGracefulJavadocClasspathChecks

        public void setGracefulJavadocClasspathChecks​(boolean enable)
      • isFlexibleAnonymousClassMemberLookups

        public boolean isFlexibleAnonymousClassMemberLookups()
      • setFlexibleAnonymousClassMemberLookups

        public void setFlexibleAnonymousClassMemberLookups​(boolean enable)
      • getClassPath

        public java.util.List<java.nio.file.Path> getClassPath()
      • getSourcePath

        public java.util.List<java.nio.file.Path> getSourcePath()
      • getSourceDir

        public java.nio.file.Path getSourceDir()
      • getOutputDir

        public java.nio.file.Path getOutputDir()
      • getContext

        public java.util.Map<java.lang.Object,​java.lang.Object> getContext()
      • createTypeBinding

        public java.util.Optional<org.eclipse.jdt.core.dom.ITypeBinding> createTypeBinding​(java.lang.String className)
      • process

        public void process​(java.nio.file.Path sourceDir)
                     throws java.lang.Exception
        Throws:
        java.lang.Exception
      • rewrite

        public void rewrite​(java.nio.file.Path sourceDir,
                            java.nio.file.Path outputDir)
                     throws java.lang.Exception
        Throws:
        java.lang.Exception