aontu 0.0.8 → 0.1.2

package/lib/unify.ts

@@ -30,7 +30,6 @@ class Context {
   err: Nil[]  // Nil error log of current unify.
   vc: number  // Val counter to create unique val ids.
 
-
   constructor(cfg: {
     root: Val
     err?: Nil[],
@@ -46,12 +45,13 @@ class Context {
 
 
   clone(cfg: {
-    root: Val,
-    path?: Path
+    root?: Val,
+    path?: Path,
+    err?: Nil[],
   }): Context {
     return new Context({
-      root: cfg.root,
-      err: this.err,
+      root: cfg.root || this.root,
+      err: cfg.err || this.err,
       vc: this.vc,
     })
   }
@@ -102,40 +102,18 @@ class Unify {
     this.err = []
 
     let res = root
-    let ctx: Context
-
-      /*
-      this.dc = 0
-      while (this.dc < 111 && DONE !== res.done) {
-        ctx = new Context({
-          root: res,
-          err: this.err,
-          // map: this.map
-        })
-        res = res.unify(TOP, ctx)
-  
-        // console.log('U', this.dc, this.map)
-  
-        this.dc++
-      }
-      */
-
-
-      = new Context({
-        root: res,
-        err: this.err,
-      })
+    let ctx: Context = new Context({
+      root: res,
+      err: this.err,
+    })
 
 
     // TODO: derive maxdc from res deterministically
     // perhaps parse should count intial vals, paths, etc?
 
 
-
-
-    let maxdc = 111
+    let maxdc = 999
     for (this.dc = 0; this.dc < maxdc && DONE !== res.done; this.dc++) {
-      //res = res.unify(TOP, ctx)
       res = unite(ctx, res, TOP)
       ctx = ctx.clone({ root: res })
     }

package/lib/val.ts

@@ -41,7 +41,6 @@ type ValMap = { [key: string]: Val }
 const DONE = -1
 
 
-
 // There can be only one.
 const TOP: Val = {
   id: 0,
@@ -261,6 +260,7 @@ class ScalarVal<T> extends Val {
     this.done = DONE
   }
   unify(peer: Val, ctx: Context): Val {
+    // Exactly equal scalars are handled in op/unite
     if (peer instanceof ScalarTypeVal) {
       return peer.unify(this, ctx)
     }
@@ -363,6 +363,7 @@ class MapVal extends Val {
 
     if (spread) {
       if ('&' === spread.o) {
+        // TODO: handle existing spread!
         this.spread.cj =
           new ConjunctVal(Array.isArray(spread.v) ? spread.v : [spread.v], ctx)
       }
@@ -500,7 +501,7 @@ class MapVal extends Val {
   get canon() {
     let keys = Object.keys(this.peg)
     return '{' +
-      (this.spread.cj ? '&=' + this.spread.cj.canon +
+      (this.spread.cj ? '&:' + this.spread.cj.canon +
         (0 < keys.length ? ',' : '') : '') +
       keys
         .map(k => [JSON.stringify(k) + ':' + this.peg[k].canon]).join(',') +
@@ -749,23 +750,58 @@ class DisjunctVal extends Val {
 class RefVal extends Val {
   parts: string[]
   absolute: boolean
+  sep = '.' // was '/'
 
-  constructor(peg: string, ctx?: Context) {
-    super(peg, ctx)
-    this.parts = peg.split('/').filter(p => '' != p)
-    this.absolute = peg.startsWith('/')
+  // constructor(peg: string | string[], ctx?: Context) {
+  //   super(peg, ctx)
+  //   this.parts = 'string' === typeof peg ? peg.split(this.sep) : peg
+  //   this.parts = this.parts.filter(p => '' != p)
+  //   // this.absolute = peg.startsWith(this.sep)
+  // }
+
+
+  constructor(peg: any[], abs?: boolean) {
+    super('')
+    this.absolute = true === abs
+    this.parts = []
+
+    // console.log('RV', peg)
+
+    for (let part of peg) {
+      this.append(part)
+    }
   }
 
-  append(part: string) {
-    this.parts.push(part)
-    this.peg = (this.absolute ? '/' : '') + this.parts.join('/')
+
+  append(part: any) {
+    //console.log('APPEND 0', part)
+
+    if ('string' === typeof part) {
+      this.parts.push(part)
+    }
+
+    else if (part instanceof StringVal) {
+      this.parts.push(part.peg)
+    }
+
+    else if (part instanceof RefVal) {
+      this.parts.push(...part.parts)
+
+      if (part.absolute) {
+        this.absolute = true
+      }
+    }
+
+    this.peg = (this.absolute ? this.sep : '') + this.parts.join(this.sep)
+
+    // console.log('APPEND 1', this.parts)
   }
 
   unify(peer: Val, ctx: Context): Val {
     let resolved: Val | undefined = null == ctx ? this : ctx.find(this)
 
     // TODO: large amount of reruns needed? why?
-    resolved = null == resolved && 111 < this.done ?
+    resolved = null == resolved && 999 < this.done ?
       Nil.make(ctx, 'no-path', this, peer) : (resolved || this)
     let out: Val
 
@@ -807,7 +843,6 @@ class RefVal extends Val {
 }
 
 
-
 class PrefVal extends Val {
   pref: Val
   constructor(peg: any, pref?: any, ctx?: Context) {
@@ -816,42 +851,28 @@ class PrefVal extends Val {
   }
 
   // PrefVal unify always returns a PrefVal
-  // PrevVals can only be removed by becoming Nil in a Disjunct
+  // PrefVals can only be removed by becoming Nil in a Disjunct
   unify(peer: Val, ctx: Context): Val {
     let done = true
-
-    //let peer_peg = peer instanceof PrefVal ? peer.peg : peer
-    //let peer_pref = peer instanceof PrefVal ? peer.pref : peer
-
     let out: Val
-    /*
-          = new PrefVal(
-          this.peg.unify(peer_peg, ctx),
-          this.pref.unify(peer_pref, ctx),
-          ctx
-        )
-    */
 
     if (peer instanceof PrefVal) {
       out = new PrefVal(
-        //this.peg.unify(peer.peg, ctx),
-        //this.pref.unify(peer.pref, ctx),
-        unite(ctx, this.peg, peer.peg),
-        unite(ctx, this.pref, peer.pref),
+        unite(ctx, this.peg, peer.peg, 'Pref000'),
+        unite(ctx, this.pref, peer.pref, 'Pref010'),
         ctx
       )
+
     }
     else {
       out = new PrefVal(
-        //this.peg.unify(peer, ctx),
-        //this.pref.unify(peer, ctx),
-        unite(ctx, this.peg, peer),
-        unite(ctx, this.pref, peer),
+        // TODO: find a better way to drop Nil non-errors
+        unite(ctx?.clone({ err: [] }), this.peg, peer, 'Pref020'),
+        unite(ctx?.clone({ err: [] }), this.pref, peer, 'Pref030'),
         ctx
       )
     }
 
-
     done = done && DONE === out.peg.done &&
       (null != (out as PrefVal).pref ? DONE === (out as PrefVal).pref.done : true)
 
@@ -881,6 +902,7 @@ class PrefVal extends Val {
 }
 
 
+
 export {
   DONE,
   Integer,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "aontu",
-  "version": "0.0.8",
+  "version": "0.1.2",
   "main": "dist/aontu.js",
   "type": "commonjs",
   "browser": "dist/aontu.min.js",
@@ -17,18 +17,19 @@
   },
   "scripts": {
     "watch": "tsc -w -d",
-    "test": "lab -v -L -P test -t 70 --sourcemaps --transform node_modules/lab-transform-typescript -r console -o stdout -r html -o test/coverage.html",
+    "test": "lab -v -P test -t 70 --sourcemaps --transform node_modules/lab-transform-typescript -r console -o stdout -r html -o test/coverage.html",
     "test-some": "lab -v -P test --sourcemaps --transform node_modules/lab-transform-typescript -g",
     "test-web": "echo no-test-web",
     "xtest-web": "browserify -o test-web/test-web.js -e test/aontu.test.js -s Aontu -im -i assert -i @hapi/lab && open test-web/index.html",
     "coveralls": "lab -s -P test -r lcov -I URL,URLSearchParams | coveralls",
     "prettier": "prettier --write --no-semi --single-quote *.ts test/*.js",
-    "build": "tsc -d && cp dist/aontu.js dist/aontu.min.js && browserify -o dist/aontu.min.js -e dist/aontu.js -s Aontu -im -i assert -p tinyify",
+    "build": "tsc -d",
+    "build-web": "tsc -d && cp dist/aontu.js dist/aontu.min.js && browserify -o dist/aontu.min.js -e dist/aontu.js -s Aontu -im -i assert -p tinyify",
     "clean": "rm -rf node_modules yarn.lock package-lock.json",
     "reset": "npm run clean && npm i && npm run build && npm test",
     "repo-tag": "REPO_VERSION=`node -e \"console.log(require('./package').version)\"` && echo TAG: v$REPO_VERSION && git commit -a -m v$REPO_VERSION && git push && git tag v$REPO_VERSION && git push --tags;",
     "repo-publish": "npm run clean && npm i && npm run repo-publish-quick",
-    "repo-publish-quick": "npm run prettier && npm run build && npm run test && npm run test-web && npm run repo-tag && npm publish --registry http://registry.npmjs.org "
+    "repo-publish-quick": "npm run prettier && npm run build && npm run test && npm run test-web && npm run repo-tag && npm publish --registry https://registry.npmjs.org "
   },
   "license": "MIT",
   "files": [
@@ -38,20 +39,22 @@
     "LICENSE"
   ],
   "dependencies": {
-    "@jsonic/multisource": "0.0.7",
-    "@types/node": "^15.12.2",
+    "@jsonic/directive": "^0.5.0",
+    "@jsonic/expr": "^0.1.1",
+    "@jsonic/multisource": "0.4.0",
+    "@types/node": "^17.0.35",
     "jsonic": "jsonicjs/jsonic#nextgen"
   },
   "devDependencies": {
-    "@hapi/code": "^8.0.3",
-    "@hapi/lab": "^24.2.1",
+    "@hapi/code": "^8.0.7",
+    "@hapi/lab": "^24.5.1",
     "benchmark": "^2.1.4",
-    "coveralls": "^3.1.0",
+    "coveralls": "^3.1.1",
     "hapi-lab-shim": "0.0.2",
     "lab-transform-typescript": "^3.0.1",
-    "prettier": "^2.3.1",
-    "serve": "^12.0.0",
+    "prettier": "^2.6.2",
+    "serve": "^13.0.2",
     "tinyify": "^3.0.0",
-    "typescript": "^4.3.2"
+    "typescript": "^4.7.2"
   }
 }