org.opensourcephysics.resources.tools
Class launcher

java.lang.Object
  extended by java.util.ResourceBundle
      extended by java.util.PropertyResourceBundle
          extended by org.opensourcephysics.resources.tools.launcher
Direct Known Subclasses:
launcher_en, launcher_es, launcher_zh

public class launcher
extends java.util.PropertyResourceBundle

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.

Author:
Wolfgang Christian

Nested Class Summary
 
Nested classes/interfaces inherited from class java.util.ResourceBundle
java.util.ResourceBundle.Control
 
Field Summary
 
Fields inherited from class java.util.ResourceBundle
parent
 
Constructor Summary
launcher()
          Constructor launcher
launcher(java.io.InputStream stream)
          Constructor tools
 
Method Summary
 
Methods inherited from class java.util.PropertyResourceBundle
getKeys, handleGetObject, handleKeySet
 
Methods inherited from class java.util.ResourceBundle
clearCache, clearCache, containsKey, getBundle, getBundle, getBundle, getBundle, getBundle, getBundle, getLocale, getObject, getString, getStringArray, keySet, setParent
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

launcher

public launcher()
         throws java.io.IOException
Constructor launcher

Throws:
java.io.IOException

launcher

public launcher(java.io.InputStream stream)
         throws java.io.IOException
Constructor tools

Parameters:
stream -
Throws:
java.io.IOException