Class LibraryManager


  • public class LibraryManager
    extends java.lang.Object
    • Field Detail

      • defaultLibDefName

        public static final java.lang.String defaultLibDefName
        See Also:
        Constant Field Values
    • Method Detail

      • getDefaultLIbrary

        public static java.lang.String getDefaultLIbrary()
      • preload

        public void preload()
                     throws java.io.IOException
        Throws:
        java.io.IOException
      • getLibrarySetup

        public LibrarySetup getLibrarySetup​(java.lang.String name)
      • isFileValid

        public boolean isFileValid​(java.lang.String potentionalFile)
      • getAllVocabularies

        public java.util.List<Vocabulary> getAllVocabularies()
      • getLibraryManager

        public static LibraryManager getLibraryManager()
      • createtLibraryManager

        public static LibraryManager createtLibraryManager​(java.io.File config,
                                                           java.io.File cache)
      • getCustomClicks

        public HrefCounter getCustomClicks()
      • clickedHrefTo

        public void clickedHrefTo​(java.lang.String absolutePath)