tricu

output-app.ts (2844B)

---

 import type { ValueView } from './codecs.js';
 import type { TreeFile } from './tree-export.js';
 // One output surface. The saved payload carries its own provenance/format;
 // changing controls cannot relabel an earlier result or change its download.
 export function createOutput() {
   const text = document.getElementById('result')!;
   const provenance = document.getElementById('output-provenance')!;
   const copy = document.getElementById('copy-output') as HTMLButtonElement;
   const download = document.getElementById('download-output') as HTMLButtonElement;
   let saved: { text: string; filename: string } | undefined, busy = false;
   const controls = (working: boolean) => { busy = working; copy.disabled = download.disabled = busy || !saved; };
   function clear(): void { saved = undefined; text.textContent = ''; text.className = ''; provenance.textContent = 'Evaluate an expression, or show a stored definition. Nothing runs automatically.'; controls(busy); }
   function show(value: string, filename: string, description: string): void {
     saved = { text: value, filename }; text.textContent = value.slice(0, 16_384); text.className = '';
     provenance.textContent = description + (value.length > 16_384 ? ' · Preview: first 16,384 characters. Copy and Download include the complete output.' : ' · Complete output.');
     controls(busy);
   }
   function file(value: TreeFile, name: string, description: string): void {
     show(value.text, `${name.replace(/[^a-zA-Z0-9_-]/g, '-').slice(0, 64)}.${value.extension}`, `${description} · ${value.bytes.toLocaleString()} UTF-8 bytes`);
   }
   function result(value: ValueView, description: string): void {
     if ('file' in value) { file(value.file, 'result', `${description} · ${value.type}`); return; }
     if (value.type === 'tree' || value.type === 'list') throw new Error('Select tricu source or DAG to inspect tree results');
     const content = typeof value.value === 'string' ? value.value : JSON.stringify(value.value, null, 2);
     show(content, value.type === 'record' || value.type === 'bytes' ? 'result.json' : 'result.txt', `${description} · ${value.type}`);
   }
   copy.onclick = async () => {
     const value = saved; if (!value) return;
     try { await navigator.clipboard.writeText(value.text); if (saved === value) provenance.textContent += ' · Copied.'; }
     catch { if (saved === value) provenance.textContent += ' · Clipboard unavailable; use Download.'; }
   };
   download.onclick = () => {
     if (!saved) return;
     const url = URL.createObjectURL(new Blob([saved.text], { type: 'text/plain;charset=utf-8' }));
     const a = document.createElement('a'); a.href = url; a.download = saved.filename; document.body.append(a); a.click(); a.remove();
     setTimeout(() => URL.revokeObjectURL(url), 1000);
   };
   clear(); return { clear, controls, file, result };
 }