Class GlobalDiskManagerImpl

    • Constructor Detail

      • GlobalDiskManagerImpl

        public GlobalDiskManagerImpl​(DesignerRoot root,
                                     java.nio.file.Path settingsDirectory)
    • Method Detail

      • defaultAppStateFile

        public java.nio.file.Path defaultAppStateFile()
      • getSettingsDirectory

        public java.nio.file.Path getSettingsDirectory()
        Description copied from interface: GlobalDiskManager
        Gets the main settings directory of the app. This directory contains all resource directories, the files containing the user-specific settings, etc. By default it's somewhere in ${user.home}/.pmd.
        Specified by:
        getSettingsDirectory in interface GlobalDiskManager