| /******************************************************************************* |
| * Copyright (c) 2000, 2003 IBM Corporation and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Common Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/cpl-v10.html |
| * |
| * Contributors: |
| * IBM Corporation - initial API and implementation |
| *******************************************************************************/ |
| |
| package org.eclipse.core.internal.runtime; |
| |
| /** |
| * Platform URL support |
| * platform:/fragment/<fragmentId>/ maps to fragmentDescriptor.getInstallURLInternal() |
| */ |
| |
| import java.io.IOException; |
| import java.net.URL; |
| |
| import org.eclipse.core.internal.boot.PlatformURLConnection; |
| import org.eclipse.core.internal.boot.PlatformURLHandler; |
| import org.eclipse.core.runtime.Platform; |
| import org.eclipse.core.runtime.model.PluginFragmentModel; |
| import org.eclipse.core.runtime.model.PluginRegistryModel; |
| |
| public class PlatformURLFragmentConnection extends PlatformURLConnection { |
| |
| // fragment/ protocol |
| private PluginFragmentModel fd = null; |
| private static boolean isRegistered = false; |
| public static final String FRAGMENT = "fragment"; //$NON-NLS-1$ |
| public PlatformURLFragmentConnection(URL url) { |
| super(url); |
| } |
| protected boolean allowCaching() { |
| return true; |
| } |
| protected URL resolve() throws IOException { |
| String spec = url.getFile().trim(); |
| if (spec.startsWith("/")) //$NON-NLS-1$ |
| spec = spec.substring(1); |
| if (!spec.startsWith(FRAGMENT)) |
| throw new IOException(Policy.bind("url.badVariant", url.toString())); //$NON-NLS-1$ |
| int ix = spec.indexOf("/",FRAGMENT.length()+1); //$NON-NLS-1$ |
| String ref = ix==-1 ? spec.substring(FRAGMENT.length()+1) : spec.substring(FRAGMENT.length()+1,ix); |
| String id = getId(ref); |
| String vid = getVersion(ref); |
| PluginRegistryModel registry = (PluginRegistryModel)Platform.getPluginRegistry(); |
| fd = vid==null ? registry.getFragment(id) : registry.getFragment(id,vid); |
| if (fd == null) |
| throw new IOException(Policy.bind("url.resolveFragment", url.toString())); //$NON-NLS-1$ |
| URL result = new URL (fd.getLocation()); |
| if (ix == -1 || (ix + 1) >= spec.length()) |
| return result; |
| else |
| return new URL(result, spec.substring(ix+1)); |
| } |
| |
| public static void startup() { |
| |
| // register connection type for platform:/fragment handling |
| if (isRegistered) return; |
| PlatformURLHandler.register(FRAGMENT, PlatformURLFragmentConnection.class); |
| isRegistered = true; |
| } |
| } |