public interface PropertyMap
PropertyMap class can be used instead of the standard JDK java.util.Properties
class.PropertyMap provides a generally more useful interface by adding a couple type conversion methods
for a set of most frequently used data types, such as Boolean, Integer,
Double, Color and Font.
Additionally the class provides property change support.
void load(Path file) throws IOException
file - the text fileIOException - if an I/O error occursvoid store(Path file, String header) throws IOException
file - the text fileheader - an optional file headerIOException - if an I/O error occursProperties getProperties()
Properties instance in which this property map stores its key/value pairs.Set<String> getPropertyKeys()
boolean getPropertyBool(String key)
int getPropertyInt(String key)
double getPropertyDouble(String key)
void addPropertyChangeListener(PropertyChangeListener listener)
void addPropertyChangeListener(String key, PropertyChangeListener listener)
void removePropertyChangeListener(PropertyChangeListener listener)
void removePropertyChangeListener(String key, PropertyChangeListener listener)
Copyright © 2014–2022 European Space Agency (ESA). All rights reserved.