// The spec for java.io.File includes the following: // For a given abstract pathname f it is guaranteed that // new File( f.toURI()).equals( f.getAbsoluteFile()) // For JavaFileObject we test as follows: // new File( CONVERT_TO_FILEOBJECT(f).toURI()).equals( f.getAbsoluteFile()) // to verify that we get reasonable URIs returned from toURI. // To make this a general test, and not just a Windows test, // we test a number of platform-independent paths. void run() throws Exception {
JavaCompiler c = ToolProvider.getSystemJavaCompiler(); try (StandardJavaFileManager sfm = c.getStandardFileManager(null, null, null)) {
fm = sfm;
System.err.println(System.getProperties());
File tmpDir = new File(System.getProperty("java.io.tmpdir"));
File testSrcDir = new File(System.getProperty("test.src"));
File testClassesDir = new File(System.getProperty("test.classes"));
test(new File("abc.tmp"));
test(new File(tmpDir, "bad.file"));
test(new File(testSrcDir, "T6501501.java"));
test(new File(testClassesDir, "T6501501.class"));
test(new File("a b"));
}
}
void test(File f) throws Exception {
System.err.println("test " + f);
FileObject fo = fm.getJavaFileObjects(f).iterator().next();
URI uri = fo.toUri();
System.err.println("FileObject uri: " + uri); if (!new File(uri).equals(f.getAbsoluteFile())) thrownew Exception("unexpected URI returned");
}
StandardJavaFileManager fm;
}
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet am 2026-06-10)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.