net.js 608 B

12345678910
  1. export const ContentHandler = $.type("java.net.ContentHandler");
  2. export const ContentHandlerFactory = $.type("java.net.ContentHandlerFactory");
  3. export const FileNameMap = $.type("java.net.FileNameMap");
  4. export const Proxy = $.type("java.net.Proxy");
  5. export const Proxy$Type = $.type("java.net.Proxy$Type");
  6. export const URI = $.type("java.net.URI");
  7. export const URL = $.type("java.net.URL");
  8. export const URLConnection = $.type("java.net.URLConnection");
  9. export const URLStreamHandler = $.type("java.net.URLStreamHandler");
  10. export const URLStreamHandlerFactory = $.type("java.net.URLStreamHandlerFactory");