Searched defs:url (Results 1 - 5 of 5) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java73 private static URLConnection getConnection(URL url, int redirCount) argument
76 URLConnection c = url.openConnection();
90 + ") reached for " + url);
97 System.err.println("Invalid redirect by '" + url
101 url = new URL(loc);
103 System.err.println("'" + url + "' redirects to an unsupported "
108 return getConnection(url, redirCount + 1);
110 System.err.println("URL '" + url + "' is not OK (status " + status
/hets/MMT/
H A Dhets-mmt-standalone.jar ... Attributes attributes String bootLoaderName String mainargs java.net.URL url String urlfactory public static void showTime () long endtime public ...
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 23 milliseconds