Class tools
java.lang.Object
java.util.ResourceBundle
java.util.PropertyResourceBundle
org.opensourcephysics.resources.tools.tools
Resource loader for OSP tools package. Resources are obtained from properties.
Defining a Java resource class speeds up resource loading, particularly for applets because
a connection to the server is not required.
- Author:
- Wolfgang Christian
-
Nested Class Summary
Nested classes/interfaces inherited from class java.util.ResourceBundle
ResourceBundle.Control
-
Field Summary
Fields inherited from class java.util.ResourceBundle
parent
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class java.util.PropertyResourceBundle
getKeys, handleGetObject, handleKeySet
Methods inherited from class java.util.ResourceBundle
clearCache, clearCache, containsKey, getBaseBundleName, getBundle, getBundle, getBundle, getBundle, getBundle, getBundle, getBundle, getBundle, getLocale, getObject, getString, getStringArray, keySet, setParent
-
Constructor Details
-
tools
Constructor tools- Throws:
IOException
-
tools
Constructor tools- Parameters:
stream
-- Throws:
IOException
-