Lines Matching defs:handler
71 * java.protocol.handler.pkgs} system property.
105 * Sets the stream handler factory for this VM.
145 * @param handler the stream handler for this URL, or null for the
146 * protocol's default stream handler.
150 public URL(URL context, String spec, URLStreamHandler handler) throws MalformedURLException {
154 if (handler != null) {
155 streamHandler = handler;
186 // Parse the URL. If the handler throws any exception, throw MalformedURLException instead.
226 * @param handler the stream handler for this URL, or null for the
227 * protocol's default stream handler.
232 URLStreamHandler handler) throws MalformedURLException {
262 // Set the stream handler for the URL either to the handler
264 // receiver's protocol if the handler was null.
265 if (handler == null) {
271 streamHandler = handler;
374 * Sets the receiver's stream handler to one which is appropriate for its
377 * <p>Note that this will overwrite any existing stream handler with the new
381 * @throws MalformedURLException if no reasonable handler is available.
384 // Check for a cached (previously looked up) handler for
391 // If there is a stream handler factory, then attempt to
392 // use it to create the handler.
403 String packageList = System.getProperty("java.protocol.handler.pkgs");
422 // Fall back to a built-in stream handler if the user didn't supply one
489 * @throws UnsupportedOperationException if the protocol handler does not