src/jdk.jextract/share/classes/com/sun/tools/jextract/AsmCodeFactory.java

@@ -159,11 +159,11 @@
         if (! noNativeLocations) {
             AnnotationVisitor av = cw.visitAnnotation(NATIVE_LOCATION, true);
             SourceLocation src = tree.location();
             SourceLocation.Location loc = src.getFileLocation();
             Path p = loc.path();
-            av.visit("file", p == null ? "builtin" : p.toAbsolutePath().toString());
+            av.visit("file", p == null ? "<builtin>" : p.toAbsolutePath().toString());
             av.visit("line", loc.line());
             av.visit("column", loc.column());
             av.visitEnd();
         }
     }

@@ -197,11 +197,11 @@
         if (! noNativeLocations) {
             AnnotationVisitor av = mv.visitAnnotation(NATIVE_LOCATION, true);
             SourceLocation src = tree.location();
             SourceLocation.Location loc = src.getFileLocation();
             Path p = loc.path();
-            av.visit("file", p == null ? "builtin" : p.toAbsolutePath().toString());
+            av.visit("file", p == null ? "<builtin>" : p.toAbsolutePath().toString());
             av.visit("line", loc.line());
             av.visit("column", loc.column());
             av.visitEnd();
         }
 

@@ -247,11 +247,11 @@
 
         if (! noNativeLocations) {
             AnnotationVisitor av = mv.visitAnnotation(NATIVE_LOCATION, true);
             SourceLocation.Location loc = src.getFileLocation();
             Path p = loc.path();
-            av.visit("file", p == null ? "builtin" : p.toAbsolutePath().toString());
+            av.visit("file", p == null ? "<builtin>" : p.toAbsolutePath().toString());
             av.visit("line", loc.line());
             av.visit("column", loc.column());
             av.visitEnd();
         }
 

@@ -442,11 +442,11 @@
         if (! noNativeLocations) {
             AnnotationVisitor av = mv.visitAnnotation(NATIVE_LOCATION, true);
             SourceLocation src = funcTree.location();
             SourceLocation.Location loc = src.getFileLocation();
             Path p = loc.path();
-            av.visit("file", p == null ? "builtin" : p.toAbsolutePath().toString());
+            av.visit("file", p == null ? "<builtin>" : p.toAbsolutePath().toString());
             av.visit("line", loc.line());
             av.visit("column", loc.column());
             av.visitEnd();
         }