Class DiffToolConfig


  • public class DiffToolConfig
    extends java.lang.Object
    Keeps track of difftool related configuration options.
    • Constructor Detail

      • DiffToolConfig

        private DiffToolConfig​(Config rc)
    • Method Detail

      • getDefaultToolName

        public java.lang.String getDefaultToolName()
        Returns:
        the default diff tool name (diff.tool)
      • getDefaultGuiToolName

        public java.lang.String getDefaultGuiToolName()
        Returns:
        the default GUI diff tool name (diff.guitool)
      • isPrompt

        public boolean isPrompt()
        Returns:
        the diff tool "prompt" option (difftool.prompt)
      • isTrustExitCode

        public boolean isTrustExitCode()
        Returns:
        the diff tool "trust exit code" option (difftool.trustExitCode)
      • getTools

        public java.util.Map<java.lang.String,​ExternalDiffTool> getTools()
        Returns:
        the tools map
      • getToolNames

        public java.util.Set<java.lang.String> getToolNames()
        Returns:
        the tool names