|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jagatoo.util.ini.IniFile
public class IniFile
Read-only interface to an ini file.
Field Summary | |
---|---|
static boolean |
DEFAULT_CASE_SENSITIVITY
|
Constructor Summary | |
---|---|
IniFile(java.io.File file)
Creates a new ini file interface. |
|
IniFile(java.io.File file,
boolean caseSensitivity)
Creates a new ini file interface. |
|
IniFile(java.lang.String filename)
Creates a new ini file interface. |
|
IniFile(java.lang.String filename,
boolean caseSensitivity)
Creates a new ini file interface. |
Method Summary | |
---|---|
java.lang.String |
getGroup(int index)
Gets the index'th group name. |
java.util.List<java.lang.String> |
getGroups()
Gets an unmodifiable list of the group names. |
java.lang.String |
getKey(java.lang.String group,
int index)
Gets the index'th setting key in the passed group. |
java.util.List<java.lang.String> |
getKeys(java.lang.String group)
Gets an unmodifiable list of the key names. |
int |
getNumGroups()
Gets the number of groups. |
int |
getNumSettings(java.lang.String group)
Gets the number of settings in the given group. |
java.lang.String |
getSetting(java.lang.String group,
java.lang.String key)
Gets the settings's value for the given group and key. |
java.lang.String |
getSetting(java.lang.String group,
java.lang.String key,
java.lang.String defaultValue)
Gets the settings's value for the given group and key. |
boolean |
refresh()
Checks, if the ini file has bee modified since the last refresh and updates in case. |
boolean |
settingExists(java.lang.String group,
java.lang.String key)
Gets the settings's value for the given group and key. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final boolean DEFAULT_CASE_SENSITIVITY
Constructor Detail |
---|
public IniFile(java.io.File file, boolean caseSensitivity)
refresh()
method.
file
- caseSensitivity
- public IniFile(java.lang.String filename, boolean caseSensitivity)
refresh()
method.
filename
- caseSensitivity
- public IniFile(java.io.File file)
refresh()
method.
file
- public IniFile(java.lang.String filename)
refresh()
method.
filename
- Method Detail |
---|
public boolean refresh() throws java.io.IOException, ParsingException
java.io.IOException
ParsingException
public final boolean settingExists(java.lang.String group, java.lang.String key)
group
- key
-
null
, if not found.public final java.lang.String getSetting(java.lang.String group, java.lang.String key, java.lang.String defaultValue)
group
- key
- defaultValue
- the value to be returned, if the settings does not exist
public final java.lang.String getSetting(java.lang.String group, java.lang.String key)
group
- key
-
null
, if not found.public final int getNumGroups()
public final java.lang.String getGroup(int index)
index
-
public final java.util.List<java.lang.String> getGroups()
public final int getNumSettings(java.lang.String group)
group
-
public final java.lang.String getKey(java.lang.String group, int index)
group
- index
-
public final java.util.List<java.lang.String> getKeys(java.lang.String group)
group
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |