Inherits java::util::Properties.
Public Member Functions | |
| GrrProperties () | |
| Creates an empty property map. | |
| GrrProperties (Properties p) | |
| Copy constructor. | |
| void | load (InputStream in) throws IOException |
| Loads properties from a stream. | |
| void | load (Reader r) throws IOException |
| Loads properties using a reader. | |
| gridripper::util::GrrProperties::GrrProperties | ( | ) | [inline] |
Creates an empty property map.
| gridripper::util::GrrProperties::GrrProperties | ( | Properties | p | ) | [inline] |
Copy constructor.
| p | the property map to copy |
| void gridripper::util::GrrProperties::load | ( | InputStream | in | ) | throws IOException [inline] |
Loads properties from a stream.
| in | the input stream |
| void gridripper::util::GrrProperties::load | ( | Reader | r | ) | throws IOException [inline] |
Loads properties using a reader.
| r | the reader |
1.5.6