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 |