feat: support xz-compressed coverage (#10)

panarch · web-flow · commit 3c59207ee884 · 2025-08-19T12:17:15.000+09:00
diff --git a/coverage/index.html b/coverage/index.html
@@ -34,6 +34,10 @@
       tr.open-file + tr.details td { border-left:4px solid #a3d8ff; }
       @media (max-width:600px) { table { display:block; overflow-x:auto; white-space:nowrap; } th { top:0; } }
     </style>
+    <script>
+      window["stream/web"] = { ReadableStream, TransformStream, WritableStream };
+    </script>
+    <script src="https://cdn.jsdelivr.net/npm/xz-decompress@0.2.3/dist/package/xz-decompress.js"></script>
   </head>
   <body>
     <header>
@@ -137,9 +141,14 @@
       }
 
       async function fetchText(url){
-        if (url.pathname.endsWith('.xz')) throw new Error('.xz compression not supported');
         const res = await fetch(url);
         if (!res.ok) throw new Error('HTTP ' + res.status);
+        if (url.pathname.endsWith('.xz')){
+          const xz = window['xz-decompress'];
+          if (!xz?.XzReadableStream) throw new Error('xz not supported in this browser');
+          const stream = new xz.XzReadableStream(res.body);
+          return await new Response(stream).text();
+        }
         if (url.pathname.endsWith('.gz')){
           if (!('DecompressionStream' in window)) throw new Error('gzip not supported in this browser');
           const ds = new DecompressionStream('gzip');
@@ -391,7 +400,7 @@
         const pathVal=pathInput.value.trim();
         if(!pathVal){ status('Path required'); filesData=[]; renderSummary(); renderTable(); return; }
         if(!params.get('srcRoot')){
-          const m=pathVal.match(/[\\/]([0-9a-f]{40})[\\/]lcov\.info$/);
+          const m=pathVal.match(/[\\/]([0-9a-f]{40})[\\/]lcov\.info(?:\.gz|\.xz)?$/);
           srcRoot = m ? `https://raw.githubusercontent.com/gluesql/gluesql/${m[1]}/` : '';
         }
         status('Loading...');
