|
||||||||||
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.launcher
public class launcher
Resource loader for OSP launcher. Resource strings are obtained from properties. Defining a Java resource class speeds up resource loading, particularly for applets because a connection to the server is not established.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class java.util.ResourceBundle |
---|
java.util.ResourceBundle.Control |
Constructor Summary | |
---|---|
launcher()
Constructor launcher |
|
launcher(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 launcher() throws java.io.IOException
java.io.IOException
public launcher(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 |