public static enum LibraryProvider.Dictionary extends java.lang.Enum<LibraryProvider.Dictionary>
Enum Constant and Description |
---|
DRW0 |
GEODB0 |
GEODB1 |
GEON0 |
GEON1 |
GEON2 |
PND0 |
Modifier and Type | Field and Description |
---|---|
java.lang.String |
filename |
java.lang.String |
nickname |
java.lang.String |
url |
Modifier and Type | Method and Description |
---|---|
java.io.File |
file() |
java.io.File |
fileDisabled() |
static LibraryProvider.Dictionary |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static LibraryProvider.Dictionary[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final LibraryProvider.Dictionary GEODB0
public static final LibraryProvider.Dictionary GEODB1
public static final LibraryProvider.Dictionary GEON0
public static final LibraryProvider.Dictionary GEON1
public static final LibraryProvider.Dictionary GEON2
public static final LibraryProvider.Dictionary DRW0
public static final LibraryProvider.Dictionary PND0
public java.lang.String nickname
public java.lang.String url
public java.lang.String filename
public static LibraryProvider.Dictionary[] values()
for (LibraryProvider.Dictionary c : LibraryProvider.Dictionary.values()) System.out.println(c);
public static LibraryProvider.Dictionary valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic java.io.File file()
public java.io.File fileDisabled()