|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.util.ResourceBundle java.util.PropertyResourceBundle org.opensourcephysics.resources.tools.tools
public class 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.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class java.util.ResourceBundle |
---|
java.util.ResourceBundle.Control |
Constructor Summary | |
---|---|
tools()
Constructor tools |
|
tools(java.io.InputStream stream)
Constructor tools |
Method Summary |
---|
Methods inherited from class java.util.PropertyResourceBundle |
---|
getKeys, handleGetObject |
Methods inherited from class java.util.ResourceBundle |
---|
clearCache, clearCache, containsKey, getBundle, getBundle, getBundle, getBundle, getBundle, getBundle, getLocale, getObject, getString, getStringArray, keySet |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public tools() throws java.io.IOException
java.io.IOException
public tools(java.io.InputStream stream) throws java.io.IOException
stream
-
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |