PropertyResourceBundle.java example

Explorer

checker-framework-master

package java.util;


public class PropertyResourceBundle extends ResourceBundle {
  public PropertyResourceBundle(java.io.InputStream a1) throws java.io.IOException { throw new RuntimeException("skeleton method"); }
  public PropertyResourceBundle(java.io.Reader a1) throws java.io.IOException { throw new RuntimeException("skeleton method"); }
  public Object handleGetObject(String a1) { throw new RuntimeException("skeleton method"); }
  public Enumeration<String> getKeys() { throw new RuntimeException("skeleton method"); }
}