Få den absolutte path fra en url.

Jeg kender ikke nogen indbygget klasse til det, men hvis du splitter URL i dele
og så splitter path ved / og skipper . og skipper både .. og den foregående
og så samler path igen og laver ny URL, så bør det vel virke ?

noget a la:

    private static URL urlNormalize(URL u) throws MalformedURLException {
        String prot = u.getProtocol();
        String host = u.getHost();
        String path = u.getPath();
        String[] pp = path.split("/");
        String newpath = "";
        int ix = pp.length - 1;
        while(ix >= 0) {
            if(pp[ix].equals(".")) {
                // skip
            } else if(pp[ix].equals("..")) {
                ix--; // skip this and previous
            } else {
                newpath = pp[ix] + (newpath.length() > 0 ? "/" : "") +newpath; // use
            }
            ix--;
        }
        return new URL(prot, host, newpath);
    }

Den skal vist udbygges for at understøtte port og query parametre, men ...

Ja det skal netop udbygges, og derfor spørger jeg efter noget der er lavet af prof. folk, der har taget højde for alle de væsentligste ting. :)

Jeg har allerede lavet noget lignende det du foreslår.

Faldt over løsningen nu her:

URI uri = URI("http://aau.dk/someDir/../");
uri = uri.normalize();
URL url = uri.toURL();

System.out.println(url.getPath());

Hvilket var exact hvad jeg ledte efter.

Da du har lavet en løsning tilfalde points dig, så smid et svar.

Den lettere forbedrede udgave:

    private static URL urlNormalize(URL u) throws MalformedURLException {
        String prot = u.getProtocol();
        String host = u.getHost();
        int port = u.getPort();
        String path = u.getPath();
        String query = u.getQuery();
        String[] pp = path.split("/");
        String newpath = "";
        int ix = pp.length - 1;
        while(ix >= 0) {
            if(pp[ix].equals(".")) {
                // skip
            } else if(pp[ix].equals("..")) {
                ix--; // skip this and previous
            } else {
                newpath = pp[ix] + (newpath.length() > 0 ? "/" : "") +newpath; // use
            }
            ix--;
        }
        return new URL(prot, host, port, newpath + (query != null ? "?" + query : ""));
    }

og et svar