UNPKG

cosmic-internal-jdk

Version:

KingScript: JDK1.8

66 lines (65 loc) 4.37 kB
export const Authenticator = $.type("java.net.Authenticator"); export const Authenticator$RequestorType = $.java.net.Authenticator$RequestorType; export const BindException = $.type("java.net.BindException"); export const CacheRequest = $.type("java.net.CacheRequest"); export const CacheResponse = $.type("java.net.CacheResponse"); export const ConnectException = $.type("java.net.ConnectException"); export const ContentHandler = $.type("java.net.ContentHandler"); export const ContentHandlerFactory = $.type("java.net.ContentHandlerFactory"); export const CookieHandler = $.type("java.net.CookieHandler"); export const CookieManager = $.type("java.net.CookieManager"); export const CookiePolicy = $.type("java.net.CookiePolicy"); export const CookieStore = $.type("java.net.CookieStore"); export const DatagramPacket = $.type("java.net.DatagramPacket"); export const DatagramSocket = $.type("java.net.DatagramSocket"); export const DatagramSocketImpl = $.type("java.net.DatagramSocketImpl"); export const DatagramSocketImplFactory = $.type("java.net.DatagramSocketImplFactory"); export const FileNameMap = $.type("java.net.FileNameMap"); export const HttpCookie = $.type("java.net.HttpCookie"); export const HttpRetryException = $.type("java.net.HttpRetryException"); export const HttpURLConnection = $.type("java.net.HttpURLConnection"); export const IDN = $.type("java.net.IDN"); export const Inet4Address = $.type("java.net.Inet4Address"); export const Inet6Address = $.type("java.net.Inet6Address"); export const InetAddress = $.type("java.net.InetAddress"); export const InetSocketAddress = $.type("java.net.InetSocketAddress"); export const InterfaceAddress = $.type("java.net.InterfaceAddress"); export const JarURLConnection = $.type("java.net.JarURLConnection"); export const MalformedURLException = $.type("java.net.MalformedURLException"); export const MulticastSocket = $.type("java.net.MulticastSocket"); export const NetPermission = $.type("java.net.NetPermission"); export const NetworkInterface = $.type("java.net.NetworkInterface"); export const NoRouteToHostException = $.type("java.net.NoRouteToHostException"); export const PasswordAuthentication = $.type("java.net.PasswordAuthentication"); export const PortUnreachableException = $.type("java.net.PortUnreachableException"); export const ProtocolException = $.type("java.net.ProtocolException"); export const ProtocolFamily = $.type("java.net.ProtocolFamily"); export const Proxy = $.type("java.net.Proxy"); export const Proxy$Type = $.java.net.Proxy$Type; export const ProxySelector = $.type("java.net.ProxySelector"); export const ResponseCache = $.type("java.net.ResponseCache"); export const SecureCacheResponse = $.type("java.net.SecureCacheResponse"); export const ServerSocket = $.type("java.net.ServerSocket"); export const Socket = $.type("java.net.Socket"); export const SocketAddress = $.type("java.net.SocketAddress"); export const SocketException = $.type("java.net.SocketException"); export const SocketImpl = $.type("java.net.SocketImpl"); export const SocketImplFactory = $.type("java.net.SocketImplFactory"); export const SocketOption = $.type("java.net.SocketOption"); export const SocketOptions = $.type("java.net.SocketOptions"); export const SocketPermission = $.type("java.net.SocketPermission"); export const SocketTimeoutException = $.type("java.net.SocketTimeoutException"); export const StandardProtocolFamily = $.java.net.StandardProtocolFamily; export const StandardSocketOptions = $.type("java.net.StandardSocketOptions"); export const URI = $.type("java.net.URI"); export const URISyntaxException = $.type("java.net.URISyntaxException"); export const URL = $.type("java.net.URL"); export const URLClassLoader = $.type("java.net.URLClassLoader"); export const URLConnection = $.type("java.net.URLConnection"); export const URLDecoder = $.type("java.net.URLDecoder"); export const URLEncoder = $.type("java.net.URLEncoder"); export const URLPermission = $.type("java.net.URLPermission"); export const URLStreamHandler = $.type("java.net.URLStreamHandler"); export const URLStreamHandlerFactory = $.type("java.net.URLStreamHandlerFactory"); export const UnknownHostException = $.type("java.net.UnknownHostException"); export const UnknownServiceException = $.type("java.net.UnknownServiceException");