Update README.md

[idiomatic.git] / index.js

diff --git a/index.js b/index.js
index 020a1683dc14fc0a412ac18840d99f8cd031adfa..9f1a2b7170993dae5eaff4fbcb7a3b7eb7b78b9c 100644 (file)
--- a/index.js
+++ b/index.js
@@ -1,9 +1,11 @@
 const express = require('express')
 const acorn = require('acorn')
 const fs = require('fs')
 const express = require('express')
 const acorn = require('acorn')
 const fs = require('fs')

-// const fs = require('node:fs/promises');

 const visitor = require('./visitor.js')
 
 const visitor = require('./visitor.js')
 

+
+// P A R S E
+

 const dir = '../wiki-client/lib'
 const mods = []
 fs.readdir(dir, async (err, files) => {
 const dir = '../wiki-client/lib'
 const mods = []
 fs.readdir(dir, async (err, files) => {


@@ -22,21 +24,21 @@ async function load(file) {
 
 // P A G E S
 
 
 // P A G E S
 

-const style = title => `
+const style = (title,here='') => `

   <style>
     body {font-family:sans-serif;}
     a {text-decoration:none;}
     td:first-child {text-align:right;}
     .hi {background-color:pink;}
   <style>
     body {font-family:sans-serif;}
     a {text-decoration:none;}
     td:first-child {text-align:right;}
     .hi {background-color:pink;}

+    section {letter-spacing:.2rem; font-size:1.2rem;}

    </style>
    </style>

-   <span style="letter-spacing:.2rem; font-size:1.4rem;">— ${title} —</span>`
+   <section>${title} <span style="background-color:#ddd;">&nbsp;${escape(here)}&nbsp;</span></section>`

 const app = express()
 
 const app = express()
 

-app.get('/index', async (req,res,next) => {
-  console.log(new Date().toLocaleTimeString(), 'index')
+app.get('/index', async (req,res) => {

   const reductions = counter()
   const reductions = counter()

-  const doit = branch => {reductions.count(branch.type)}
-  visitor.wander(mods,doit)
+  visitor.walk(mods,branch =>
+    reductions.count(branch.type))

   const result = `
     <p>${reductions.size()} non-terminals
     <br>${reductions.total()} reductions
   const result = `
     <p>${reductions.size()} non-terminals
     <br>${reductions.total()} reductions


@@ -44,66 +46,88 @@ app.get('/index', async (req,res,next) => {
       .map(([k,v]) => `<tr><td>${v}<td>${link(k)}`)
       .join("\n")}</table>`
   res.send(style('index')+result);
       .map(([k,v]) => `<tr><td>${v}<td>${link(k)}`)
       .join("\n")}</table>`
   res.send(style('index')+result);

-  next()
-  })

 
 

-function link(key) {
-  if(key.match(/^Ident/)) return `<a href="/terminal?type=${key}&field=name">${key}</a>`
-  if(key.match(/^(As|B|L|U).*Ex/)) return `<a href="/terminal?type=${key}&field=operator">${key}</a>`
-  if(key.match(/^Lit/)) return `<a href="/terminal?type=${key}&field=value">${key}</a>`
-  return key
-}
+  function link(key) {
+    if(key.match(/^Ident/)) return `<a href="/terminal?type=${key}&field=name">${key}</a>`
+    if(key.match(/^(As|B|L|U).*Ex/)) return `<a href="/terminal?type=${key}&field=operator">${key}</a>`
+    if(key.match(/^Lit/)) return `<a href="/terminal?type=${key}&field=value">${key}</a>`
+    return key
+  }
+})

 
 app.get('/terminal', (req,res) => {
   const {type,field} = req.query
 
 app.get('/terminal', (req,res) => {
   const {type,field} = req.query

-  const lits = counter()
-  const doit = branch => {if(branch.type==type) lits.count(branch[field])}
-  visitor.wander(mods,doit)
-  const result = style('terminal')+`
-    <p>${lits.size()} uniques
-    <br>${lits.total()} total
-    <p><table>${lits.tally()
-      .map(([k,v]) => `<tr><td>${v}<td><a href="/usage?type=${type}&field=${field}&key=${encodeURIComponent(k)}&up=2&see=3">${escape(k)}</a>`)
+  const terms = counter()
+  visitor.walk(mods,branch => {
+    if(branch.type==type)
+      terms.count(branch[field])})
+  const result = style('terminal',type)+`
+    <p>${terms.size()} uniques
+    <br>${terms.total()} total
+    <p><table>${terms.tally()
+      .map(([k,v]) => `<tr><td>${v}<td><a href="/usage?type=${type}&field=${field}&key=${encodeURIComponent(k)}&width=2&depth=3">${escape(k)}</a>`)

       .join("\n")}</table>`
   res.send(result)
 })
 
 app.get('/usage', (req,res) => {
       .join("\n")}</table>`
   res.send(result)
 })
 
 app.get('/usage', (req,res) => {

-  const {type,field,key,up,see} = req.query
+  const {type,field,key,width,depth} = req.query

   const list = []
   const files = counter()
   const list = []
   const files = counter()

-  const doit = (branch,stack) => {
+  visitor.walk(mods,(branch,stack) => {

     if(branch.type==type && branch[field]==key)list.push(`
     if(branch.type==type && branch[field]==key)list.push(`

-      <tr><td><a href="/nesting/?file=${files.count(stack.at(-1))}&type=${type}&start=${branch.start}&end=${branch.end}">
+      <tr><td><a href="/nesting/?file=${files.count(stack.at(-1))}&type=${type}&key=${key}&start=${branch.start}&end=${branch.end}">

       ${stack.at(-1)}</a>
       ${stack.at(-1)}</a>

-      <td>${sxpr(stack[up ?? 2], see ?? 3)}`)
-  }
-  visitor.wander(mods,doit)
-  const vis = row => row.split(/\n/)[3].trim().replaceAll(/<.*?>/g,'').replaceAll(/\.\.+/g,'..')
+      <td>${sxpr(stack[width ?? 2], depth ?? 3)}`)})

   list.sort((a,b) => vis(a)>vis(b) ? 1 : -1)
   list.sort((a,b) => vis(a)>vis(b) ? 1 : -1)

-  res.send(style('usage')+`
-    <p><table>${files.tally().map(([k,v]) => `<tr><td>${v}<td>${k}`).join("\n")}</table>
+  const q = (id,delta) => Object.entries(req.query)
+    .map(([k,v]) => k == id ? `${k}=${+v+delta}` : `${k}=${v}`)
+    .join('&')
+  const p = id => `<a href=/usage?${q(id,+1)} style="background-color:#ddd;">&nbsp;&plus;&nbsp;</a>`
+  const m = id => `<a href=/usage?${q(id,-1)} style="background-color:#ddd;">&nbsp;&minus;&nbsp;</a>`
+  const d = id => `<span title=${req.query[id]}>${id} ${p(id)} ${m(id)}</span>`
+  res.send(style('usage',key)+`
+    <p><details><summary>${files.total()} uses in ${files.size()} files</summary>
+      <table>${files.tally().map(([k,v]) => `<tr><td>${v}<td>${k}`).join("\n")}</table></details>
+    <p><section>${d('width')} ${d('depth')}</section>

     <p><table>${list.join("\n")}</table>`)
 })
 
 app.get('/nesting', (req,res) => {
     <p><table>${list.join("\n")}</table>`)
 })
 
 app.get('/nesting', (req,res) => {

-  const {file,type,start,end} = req.query
+  const {file,type,key,start,end} = req.query

   const result = []
   const result = []

-  const doit = (branch,stack) => {
+  visitor.walk(mods,(branch,stack) => {

     if(stack.at(-1)==file && branch.type==type && branch.start==start && branch.end==end) {
     if(stack.at(-1)==file && branch.type==type && branch.start==start && branch.end==end) {

-      const file = stack.at(-1)

       const path = stack.slice(0,-1).map((n,i) => `
         <tr>
       const path = stack.slice(0,-1).map((n,i) => `
         <tr>

-        <td><a title=${file} href=/similar?pos=${`${file}-${start}-${end}`}&depth=${i}>${n.type}</a>:
+        <td><a title=${file} href=/similar?${query(req.query)}&nest=${i}>${n.type}</a>:

         <td>${sxpr(n,3,null,stack[i-1])}`).reverse()
       const hit = stack[1]
       result.push(`
         <p><table>${path.join("")}</table><br>
         <p><pre>${escape(JSON.stringify(hit,omit,2))}</pre>`)
     }
         <td>${sxpr(n,3,null,stack[i-1])}`).reverse()
       const hit = stack[1]
       result.push(`
         <p><table>${path.join("")}</table><br>
         <p><pre>${escape(JSON.stringify(hit,omit,2))}</pre>`)
     }

-  }
-  visitor.wander(mods,doit)
-  res.send(style('nesting')+`${result.join("<hr>")}`)
+  })
+  res.send(style('nesting',key)+`${result.join("<hr>")}`)
+})
+
+app.get('/similar', (req,res) => {
+  const {file,type,key,start,end,nest} = req.query
+  let nested
+  visitor.walk(mods,(branch,stack) => {
+    if(stack.at(-1)==file && branch.type==type && branch.start==start && branch.end==end)
+      nested = stack[nest]})
+  const norm = node => vis(`\n\n\n${sxpr(node,3,null)}`)
+  const source = (file,node) => mods.find(mod => mod.file == file).text.substring(+node.start,+node.end)
+  const want = norm(nested)
+  const result = []
+  visitor.walk(mods,(branch,stack) => {
+    if(norm(branch) == want)
+      result.push(`<pre>${escape(source(stack.at(-1),branch))}</pre><hr>`)})
+  res.send(style('similar',key)+
+    `<p>${want}<hr>` +
+    result.join("\n")
+    )

 })
 
 
 })
 
 


@@ -177,4 +201,16 @@ function elipsis(obj) {
   return `(<span title="${bytes} bytes">${dots}</span>)`
 }
 
   return `(<span title="${bytes} bytes">${dots}</span>)`
 }
 

+function vis(row) {
+  return row.split(/\n/)[3].trim()
+    .replaceAll(/<.*?>/g,'')
+    .replaceAll(/\.\.+/g,'..')
+}
+
+function query(obj,adj={}) {
+  return Object.entries(obj)
+    .map(([k,v]) => k in adj ? `${k}=${adj[k](v)}` : `${k}=${v}`)
+    .join('&')
+}
+

 app.listen(1954)
\ No newline at end of file
 app.listen(1954)
\ No newline at end of file