| Package | Description |
|---|---|
| org.assistments.util |
| Modifier and Type | Method and Description |
|---|---|
PropertiesList |
PropertiesList.getDefaults()
Returns the default
PropertiesList |
PropertiesList |
PropertiesList.load(java.io.InputStream is) |
PropertiesList |
PropertiesList.load(java.lang.String propFileName)
Loads an ini file into a PropertiesList.
|
PropertiesList |
PropertiesList.merge() |
| Modifier and Type | Method and Description |
|---|---|
void |
PropertiesList.setDefaults(PropertiesList defaults)
Makes an existing default properties list the default properties for this
PropertiesList. |