tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

editor-amenities.mjs (8625B)


      1 // Presentation regression with library metadata and inspection replies supplied as fixtures.
      2 // nix shell nixpkgs#nodejs nixpkgs#chromium -c node ext/demo-site/test/editor-amenities.mjs
      3 import assert from 'node:assert/strict';
      4 import {createServer} from 'node:http';
      5 import {spawn} from 'node:child_process';
      6 import {mkdtemp,readFile,writeFile,mkdir,rm} from 'node:fs/promises';
      7 import {tmpdir} from 'node:os';
      8 import {join} from 'node:path';
      9 const dir=await mkdtemp(join(tmpdir(),'arboricx-editor-amenities-'));
     10 let browser,socket,server;
     11 try{
     12  const root=new URL('../',import.meta.url);
     13  browser=spawn(process.argv[2]||'chromium',['--headless','--no-sandbox','--disable-dev-shm-usage','--remote-debugging-port=0',`--user-data-dir=${join(dir,'profile')}`,'about:blank'],{stdio:['ignore','ignore','pipe']});
     14  const endpoint=await new Promise((resolve,reject)=>{
     15   let log='';const timer=setTimeout(()=>reject(Error(log)),15000);
     16   browser.on('error',reject);
     17   browser.stderr.on('data',chunk=>{log+=chunk;const m=log.match(/DevTools listening on (ws:\/\/\S+)/);if(m){clearTimeout(timer);resolve(new URL(m[1]));}});
     18  });
     19  const tab=await(await fetch(`http://${endpoint.host}/json/new?about:blank`,{method:'PUT'})).json();
     20  socket=new WebSocket(tab.webSocketDebuggerUrl);
     21  await new Promise((resolve,reject)=>{socket.onopen=resolve;socket.onerror=reject;});
     22  let id=0;const pending=new Map();
     23  socket.onmessage=({data})=>{const event=JSON.parse(data);if(event.id){const p=pending.get(event.id);pending.delete(event.id);event.error?p.reject(Error(JSON.stringify(event.error))):p.resolve(event.result);}};
     24  const send=(method,params={})=>new Promise((resolve,reject)=>{pending.set(++id,{resolve,reject});socket.send(JSON.stringify({id,method,params}));});
     25  const evaluate=async expression=>{const r=await send('Runtime.evaluate',{expression,returnByValue:true,awaitPromise:true});if(r.exceptionDetails)throw Error(JSON.stringify(r.exceptionDetails));return r.result.value;};
     26 
     27 
     28  const source=await readFile(new URL('demos/lists.tri',root),'utf8');
     29  const output=process.env.SCREENSHOTS; if(output)await mkdir(output,{recursive:true});
     30  const names=['add','and?','append','compose','const','div','divMod','drop','equal?','filter','foldl','foldr','head','id','intercalate','length','map','matchBool','matchMaybe','matchResult','mul','not?','or?','pair','reverse','sub','sum','tail','take','zip'];
     31  const descriptions=JSON.parse(await readFile(new URL('reference-input/libraries.json',root),'utf8'));
     32  const releases=['base','native-math','io'].map((name,i)=>({name,version:'0.3.0',title:name,hash:'a'.repeat(64),manifest:i?String(i).repeat(64):source.split(' ')[1],names,reference:'libraries/'+name+'.md',...descriptions[name]}));
     33  const original=await readFile(new URL('index.html',root),'utf8');
     34  const html=original.replace(/<script[^>]*>[\s\S]*?<\/script>/g,'');
     35  server=createServer(async(req,res)=>{
     36   try{
     37    if(req.url==='/reference/libraries.json'){res.setHeader('Content-Type','application/json');res.end(JSON.stringify({schema:1,releases}));return;}
     38    if(req.url==='/'){res.setHeader('Content-Type','text/html');res.end(html);return;}
     39    res.setHeader('Content-Type',req.url.endsWith('.js')?'text/javascript':req.url.endsWith('.css')?'text/css':'text/plain');
     40    res.end(await readFile(new URL('.'+req.url,root)));
     41   }catch{res.statusCode=404;res.end();}
     42  });
     43  await new Promise(resolve=>server.listen(0,'127.0.0.1',resolve));
     44  await send('Emulation.setEmulatedMedia',{features:[{name:'prefers-color-scheme',value:'light'}]});
     45  await send('Page.navigate',{url:`http://127.0.0.1:${server.address().port}/`});
     46  for(let i=0;!await evaluate("!!document.getElementById('source-editor')");i++){assert(i<200);await new Promise(r=>setTimeout(r,25));}
     47  await evaluate(`(async()=>{
     48   document.querySelectorAll('header,.hero,#ecosystem,footer').forEach(e=>e.remove());
     49   document.body.insertAdjacentHTML('afterbegin','<div class="study-header"><div><b>Arboricx</b><span>Playground</span></div><div id="study-label">Visual study ยท fixture data</div></div>');
     50   document.querySelector('#source-notes').hidden=true;
     51   const node=document.querySelector('#source-editor');node.hidden=false;
     52   document.querySelector('#program-picker').innerHTML='<option>Working with lists</option>';
     53   document.querySelector('#program-picker').disabled=false;
     54   document.querySelector('#add-import').disabled=false;
     55   document.querySelector('#status').textContent='Compiled';
     56   document.querySelector('#authorship').textContent='Published source';
     57   const {SourceEditor}=await import('/dist/source-editor.js');
     58   const {importPicker}=await import('/dist/import-picker.js');
     59   const {definitionInspector}=await import('/dist/definition-inspector.js');
     60   const editor=new SourceEditor(node);globalThis.editor=editor;
     61   editor.replaceSource(${JSON.stringify(source)});
     62   globalThis.picker=importPicker({source:editor,backend:()=> 'haskell-wasm',available:()=>true,editable:()=>false,local:()=>[],inputs:()=>[],tryLibrary(){}});
     63   globalThis.inspector=definitionInspector(editor,(id)=>setTimeout(()=>inspector.reply({type:'inspected',id,result:{type:'number',value:'12'}}),0),{run(){},stop(){},resume(){}});
     64   inspector.update(true,false);
     65   const style=document.createElement('style');style.textContent='body{padding-block:24px}.study-header span{margin-left:12px}.study-header{max-width:1064px;margin:0 auto 20px;padding-inline:16px;display:flex;justify-content:space-between;font:12px system-ui;color:var(--muted)}';document.head.append(style);
     66  })()`);
     67 
     68  for(const scheme of ['light','dark'])for(const width of [1280,390])for(const kind of ['module','definition','libraries','library-detail']){
     69   await send('Emulation.setEmulatedMedia',{features:[{name:'prefers-color-scheme',value:scheme}]});
     70   await send('Emulation.setDeviceMetricsOverride',{width,height:width===390?1000:820,deviceScaleFactor:1,mobile:false});
     71   await evaluate(`(async()=>{
     72    picker.cancel();inspector.reset();editor.select(editor.getSource().length);await Promise.resolve();
     73    if('${kind}'==='module'){
     74     editor.select(8);document.querySelector('.import-hash-full').click();
     75    }else if('${kind}'==='definition'){
     76     inspector.open('total');
     77    }else{
     78     document.querySelector('#add-import').click();
     79    }
     80    editor.view.requestMeasure();
     81   })()`);
     82   await new Promise(r=>setTimeout(r,150));
     83   if(kind==='library-detail')await evaluate("document.querySelector('#import-results button').click()");
     84   await new Promise(r=>setTimeout(r,100));
     85   const checks=await evaluate(`(()=>{
     86    const surface=document.querySelector('${kind.startsWith('librar')?'#import-dialog':kind==='module'?'.module-card':'#inline-definition'}');
     87    const r=surface.getBoundingClientRect();
     88    const labels=[...surface.querySelectorAll('.module-exports button,#import-exports button')];
     89    return {visible:!surface.hidden&&r.width>0,contained:r.left>=0&&r.right<=innerWidth&&r.top>=0&&r.bottom<=innerHeight,
     90     noOverflow:surface.scrollWidth<=surface.clientWidth,
     91     labelsFit:labels.every(button=>{const range=document.createRange();range.selectNodeContents(button);const text=range.getBoundingClientRect(),box=button.getBoundingClientRect();return text.left>=box.left&&text.right<=box.right&&text.top>=box.top&&text.bottom<=box.bottom;}),
     92     label:surface.querySelector('.inspection-kind')?.textContent,
     93     result:surface.querySelector('pre')?.textContent};
     94   })()`);
     95   assert(checks.visible&&checks.contained&&checks.noOverflow&&checks.labelsFit,`${kind} at ${width}px: ${JSON.stringify(checks)}`);
     96   if(kind==='definition')assert.equal(checks.result,'12');
     97   if(kind==='module')assert.equal(checks.label,'Imported module');
     98   if(kind==='libraries'){
     99    await evaluate("document.querySelector('#import-search').value='base';document.querySelector('#import-search').dispatchEvent(new Event('input'))");
    100    assert.equal(await evaluate("document.querySelectorAll('#import-results button').length"),1);
    101    await evaluate("document.querySelector('#import-search').value='';document.querySelector('#import-search').dispatchEvent(new Event('input'))");
    102   }
    103   if(output){
    104    const shot=await send('Page.captureScreenshot',{format:'png',captureBeyondViewport:false});
    105    const path=join(output,`${scheme}-${width===390?'mobile':'desktop'}-${kind}.png`);
    106    await writeFile(path,Buffer.from(shot.data,'base64'));console.log(path);
    107   }
    108  }
    109  console.log('Editor amenities: cards, library search/details, viewport bounds and export labels passed at desktop/mobile sizes.');
    110 }finally{socket?.close();browser?.kill();server?.close();await rm(dir,{recursive:true,force:true,maxRetries:10,retryDelay:100});}