public class LibraryManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
defaultLibDefName |
Modifier and Type | Method and Description |
---|---|
void |
clickedHrefTo(java.lang.String absolutePath) |
static LibraryManager |
createtLibraryManager(java.io.File config,
java.io.File cache) |
java.util.List<Vocabulary> |
getAllVocabularies() |
HrefCounter |
getCustomClicks() |
static java.lang.String |
getDefaultLIbrary() |
static LibraryManager |
getLibraryManager() |
LibrarySetup |
getLibrarySetup(java.lang.String name) |
boolean |
isFileValid(java.lang.String potentionalFile) |
void |
preload() |
public static final java.lang.String defaultLibDefName
public static java.lang.String getDefaultLIbrary()
public void preload() throws java.io.IOException
java.io.IOException
public LibrarySetup getLibrarySetup(java.lang.String name)
public boolean isFileValid(java.lang.String potentionalFile)
public java.util.List<Vocabulary> getAllVocabularies()
public static LibraryManager getLibraryManager()
public static LibraryManager createtLibraryManager(java.io.File config, java.io.File cache)
public HrefCounter getCustomClicks()
public void clickedHrefTo(java.lang.String absolutePath)