public class IdentifiersUrlProvider extends UrlProviderImpl
{
- public IdentifiersUrlProvider(String cachedUrlList)
+ public IdentifiersUrlProvider(String cachedUrlList, String idFileName)
{
}
- public IdentifiersUrlProvider(Map<String, String> urlList)
+ public IdentifiersUrlProvider(Map<String, String> urlList,
+ String idFileName)
{
}
// create all the UrlProviders we need
providers = new ArrayList<UrlProviderI>();
- UrlProviderI idProvider = new IdentifiersUrlProvider(cachedUrlList);
+ UrlProviderI idProvider = new IdentifiersUrlProvider(cachedUrlList,
+ ID_ORG_FILE);
customProvider = new CustomUrlProvider(cachedUrlList);
providers.add(idProvider);
providers.add(customProvider);
// create all the UrlProviders we need
providers = new ArrayList<UrlProviderI>();
- UrlProviderI idProvider = new IdentifiersUrlProvider(urlList);
+ UrlProviderI idProvider = new IdentifiersUrlProvider(urlList,
+ ID_ORG_FILE);
customProvider = new CustomUrlProvider(urlList);
providers.add(idProvider);
providers.add(customProvider);
*/
package jalview.urls;
+import java.io.File;
import java.util.Vector;
/**
public static final String DEFAULT_STRING = DEFAULT_LABEL
+ "|http://www.ebi.ac.uk/ebisearch/search.ebi?db=allebi&query=$SEQUENCE_ID$";
+ /*
+ * Location of file for identifiers.org download
+ */
+ public static final String ID_ORG_FILE = System.getProperty("user.home")
+ + File.separatorChar + ".jalview_identifiers";
+
/**
* Get names and urls in as strings for display
*