package net.sf.saxon.functions;
import net.sf.saxon.expr.Expression;
import net.sf.saxon.expr.ExpressionVisitor;
import net.sf.saxon.expr.XPathContext;
import net.sf.saxon.om.Item;
import net.sf.saxon.trans.Err;
import net.sf.saxon.trans.XPathException;
import net.sf.saxon.value.AnyURIValue;
import net.sf.saxon.value.AtomicValue;
import java.io.File;
import java.net.MalformedURLException;
import java.net.URI;
import java.net.URISyntaxException;
import java.net.URL;
/**
* This class supports the resolve-uri() functions in XPath 2.0
*/
public class ResolveURI extends SystemFunction {
String expressionBaseURI = null;
public void checkArguments(ExpressionVisitor visitor) throws XPathException {
if (expressionBaseURI == null) {
super.checkArguments(visitor);
expressionBaseURI = visitor.getStaticContext().getBaseURI();
if (expressionBaseURI == null && argument.length == 1) {
XPathException de = new XPathException("Base URI in static context of resolve-uri() is unknown");
de.setErrorCode("FONS0005");
throw de;
}
}
}
/**
* Get the static base URI of the expression
*/
public String getStaticBaseURI() {
return expressionBaseURI;
}
/**
* Copy an expression. This makes a deep copy.
* @return the copy of the original expression
*/
public Expression copy() {
ResolveURI d = (ResolveURI)super.copy();
d.expressionBaseURI = expressionBaseURI;
return d;
}
/**
* Evaluate the function at run-time
*/
public Item evaluateItem(XPathContext context) throws XPathException {
AtomicValue arg0 = (AtomicValue)argument[0].evaluateItem(context);
if (arg0 == null) {
return null;
}
String relative = arg0.getStringValue();
String base;
if (argument.length == 2) {
base = argument[1].evaluateAsString(context).toString();
} else {
base = expressionBaseURI;
if (expressionBaseURI == null) {
dynamicError("Base URI in static context of resolve-uri() is unknown", "FONS0005", context);
return null;
}
}
try {
URI resolved = makeAbsolute(relative, base);
return new AnyURIValue(resolved.toString());
} catch (URISyntaxException err) {
dynamicError("Base URI " + Err.wrap(base) + " is invalid: " + err.getMessage(),
"FORG0002", context);
return null;
}
}
/**
* If a system ID can't be parsed as a URL, try to expand it as a relative
* URI using the current directory as the base URI.
*/
public static String tryToExpand(String systemId) {
if (systemId==null) {
systemId = "";
}
try {
new URL(systemId);
return systemId; // all is well
} catch (MalformedURLException err) {
String dir;
try {
dir = System.getProperty("user.dir");
} catch (Exception geterr) {
// this doesn't work when running an applet
return systemId;
}
if (!(dir.endsWith("/") || systemId.startsWith("/"))) {
dir = dir + '/';
}
URI currentDirectoryURI = new File(dir).toURI();
URI baseURI = currentDirectoryURI.resolve(systemId);
return baseURI.toString();
}
}
/**
* Construct an absolute URI from a relative URI and a base URI. The method uses the resolve
* method of the java.net.URI class, except where the base URI uses the (non-standard) "jar:" scheme,
* in which case the method used is <code>new URL(baseURL, relativeURL)</code>.
*
* <p>Spaces in either URI are converted to %20</p>
*
* <p>If no base URI is available, and the relative URI is not an absolute URI, then the current
* directory is used as a base URI.</p>
*
* @param relativeURI the relative URI. Null is permitted provided that the base URI is an absolute URI
* @param base the base URI. Null is permitted provided that relativeURI is an absolute URI
* @return the absolutized URI
* @throws java.net.URISyntaxException if either of the strings is not a valid URI or
* if the resolution fails
*/
public static URI makeAbsolute(String relativeURI, String base) throws URISyntaxException {
URI absoluteURI;
// System.err.println("makeAbsolute " + relativeURI + " against base " + base);
if (relativeURI == null) {
absoluteURI = new URI(ResolveURI.escapeSpaces(base));
if (!absoluteURI.isAbsolute()) {
throw new URISyntaxException(base, "Relative URI not supplied, so base URI must be absolute");
} else {
return absoluteURI;
}
}
relativeURI = ResolveURI.escapeSpaces(relativeURI);
base = ResolveURI.escapeSpaces(base);
try {
if (base==null || base.length() == 0) {
absoluteURI = new URI(relativeURI);
if (!absoluteURI.isAbsolute()) {
String expandedBase = ResolveURI.tryToExpand(base);
if (!expandedBase.equals(base)) { // prevent infinite recursion
return makeAbsolute(relativeURI, expandedBase);
}
}
} else if (base != null && (base.startsWith("jar:") || base.startsWith("file:////"))) {
// jar: URIs can't be resolved by the java.net.URI class, because they don't actually
// conform with the RFC standards for hierarchic URI schemes (quite apart from not being
// a registered URI scheme). But they seem to be widely used.
// URIs starting file://// are accepted by the java.net.URI class, they are used to
// represent Windows UNC filenames. However, the java.net.URI algorithm for resolving
// a relative URI against such a base URI fails to produce a usable UNC filename (it's not
// clear whether Java is implementing RFC 3986 correctly here, it depends on interpretation).
// So we use the java.net.URL algorithm for this case too, because it works.
try {
URL baseURL = new URL(base);
URL absoluteURL = new URL(baseURL, relativeURI);
absoluteURI = absoluteURL.toURI();
// Note JDK1.5 dependency on URL.toURI()
} catch (MalformedURLException err) {
throw new URISyntaxException(base + " " + relativeURI, err.getMessage());
}
} else {
URI baseURI;
try {
baseURI = new URI(base);
} catch (URISyntaxException e) {
throw new URISyntaxException(base, "Invalid base URI: " + e.getMessage());
}
try {
new URI(relativeURI); // for validation only
} catch (URISyntaxException e) {
throw new URISyntaxException(base, "Invalid relative URI: " + e.getMessage());
}
absoluteURI = (relativeURI.length()==0 ?
baseURI :
baseURI.resolve(relativeURI)
);
}
} catch (IllegalArgumentException err0) {
// can be thrown by resolve() when given a bad URI
throw new URISyntaxException(relativeURI, "Cannot resolve URI against base " + Err.wrap(base));
}
return absoluteURI;
}
/**
* Replace spaces by %20
*/
public static String escapeSpaces(String s) {
// It's not entirely clear why we have to escape spaces by hand, and not other special characters;
// it's just that tests with a variety of filenames show that this approach seems to work.
if (s == null) return s;
int i = s.indexOf(' ');
if (i < 0) {
return s;
}
return (i == 0 ? "" : s.substring(0, i))
+ "%20"
+ (i == s.length()-1 ? "" : escapeSpaces(s.substring(i+1)));
}
}
//
// The contents of this file are subject to the Mozilla Public License Version 1.0 (the "License");
// you may not use this file except in compliance with the License. You may obtain a copy of the
// License at http://www.mozilla.org/MPL/
//
// Software distributed under the License is distributed on an "AS IS" basis,
// WITHOUT WARRANTY OF ANY KIND, either express or implied.
// See the License for the specific language governing rights and limitations under the License.
//
// The Original Code is: all this file.
//
// The Initial Developer of the Original Code is Michael H. Kay.
//
// Portions created by (your name) are Copyright (C) (your legal entity). All Rights Reserved.
//
// Contributor(s): none.
//