aontu 0.2.0 → 0.5.0

package/lib/val.ts

@@ -37,6 +37,8 @@ import {
 
 
 type ValMap = { [key: string]: Val }
+type ValList = Val[]
+
 
 const DONE = -1
 
@@ -54,21 +56,6 @@ const TOP: Val = {
 
   unify(peer: Val, _ctx: Context): Val {
     return peer
-
-    /*
-    if (peer instanceof DisjunctVal) {
-      return peer.unify(this, ctx)
-    }
-    else if (peer instanceof ConjunctVal) {
-      return peer.unify(this, ctx)
-    }
-    else if (peer instanceof RefVal) {
-      return peer.unify(this, ctx)
-    }
-    else {
-      return peer
-    }
-    */
   },
 
   get canon() { return 'top' },
@@ -86,7 +73,7 @@ const TOP: Val = {
 }
 
 
-
+// TODO: extends Val ???
 abstract class Val {
   id: number
   done: number = 0
@@ -111,7 +98,8 @@ abstract class Val {
   }
 
   same(peer: Val): boolean {
-    return this === peer
+    // return this === peer
+    return null == peer ? false : this.id === peer.id
   }
 
   get site(): Site {
@@ -518,6 +506,118 @@ class MapVal extends Val {
 }
 
 
+
+class ListVal extends Val {
+  static SPREAD = Symbol('spread')
+
+  spread = {
+    cj: (undefined as Val | undefined),
+  }
+
+  constructor(peg: ValList, ctx?: Context) {
+    super(peg, ctx)
+
+    let spread = (this.peg as any)[ListVal.SPREAD]
+    delete (this.peg as any)[ListVal.SPREAD]
+
+    if (spread) {
+      if ('&' === spread.o) {
+        // TODO: handle existing spread!
+        this.spread.cj =
+          new ConjunctVal(Array.isArray(spread.v) ? spread.v : [spread.v], ctx)
+      }
+    }
+  }
+
+  // NOTE: order of keys is not preserved!
+  // not possible in any case - consider {a,b} unify {b,a}
+  unify(peer: Val, ctx: Context): Val {
+    let done: boolean = true
+    let out: ListVal = TOP === peer ? this : new ListVal([], ctx)
+
+    out.spread.cj = this.spread.cj
+
+    if (peer instanceof ListVal) {
+      out.spread.cj = null == out.spread.cj ? peer.spread.cj : (
+        null == peer.spread.cj ? out.spread.cj : (
+          out.spread.cj = new ConjunctVal([out.spread.cj, peer.spread.cj], ctx)
+        )
+      )
+    }
+
+
+    out.done = this.done + 1
+
+    if (this.spread.cj) {
+      out.spread.cj =
+        DONE !== this.spread.cj.done ? unite(ctx, this.spread.cj) :
+          this.spread.cj
+    }
+
+    let spread_cj = out.spread.cj || TOP
+
+    // Always unify children first
+    for (let key in this.peg) {
+      out.peg[key] =
+        unite(ctx.descend(key), this.peg[key], spread_cj)
+
+      done = (done && DONE === out.peg[key].done)
+    }
+
+    if (peer instanceof ListVal) {
+      let upeer: ListVal = (unite(ctx, peer) as ListVal)
+
+      for (let peerkey in upeer.peg) {
+        let peerchild = upeer.peg[peerkey]
+        let child = out.peg[peerkey]
+
+        let oval = out.peg[peerkey] =
+          undefined === child ? peerchild :
+            child instanceof Nil ? child :
+              peerchild instanceof Nil ? peerchild :
+                unite(ctx.descend(peerkey), child, peerchild)
+
+        if (this.spread.cj) {
+          out.peg[peerkey] = unite(ctx, out.peg[peerkey], spread_cj)
+        }
+
+        done = (done && DONE === oval.done)
+
+      }
+    }
+    else if (TOP !== peer) {
+      return Nil.make(ctx, 'map', this, peer)
+    }
+
+    out.done = done ? DONE : out.done
+    return out
+  }
+
+  get canon() {
+    let keys = Object.keys(this.peg)
+    return '[' +
+      (this.spread.cj ? '&:' + this.spread.cj.canon +
+        (0 < keys.length ? ',' : '') : '') +
+      keys
+        // NOTE: handle array non-index key vals
+        // .map(k => [JSON.stringify(k) + ':' + this.peg[k].canon]).join(',') +
+        .map(k => [this.peg[k].canon]).join(',') +
+      ']'
+  }
+
+  gen(ctx?: Context) {
+    let out: any = this.peg.map((v: Val) => v.gen(ctx))
+    // for (let p in this.peg) {
+    //   out[p] = this.peg[p].gen(ctx)
+    // }
+
+    return out
+  }
+}
+
+
+
+
 // TODO: move main logic to op/conjunct
 class ConjunctVal extends Val {
   constructor(peg: Val[], ctx?: Context) {
@@ -668,18 +768,18 @@ class DisjunctVal extends Val {
 
     let oval: Val[] = []
 
-    //console.log('oval', this.canon, peer.canon)
+    // console.log('oval', this.canon, peer.canon)
 
     // Conjunction (&) distributes over disjunction (|)
     for (let vI = 0; vI < this.peg.length; vI++) {
       //oval[vI] = this.peg[vI].unify(peer, ctx)
       oval[vI] = unite(ctx, this.peg[vI], peer)
-      //console.log('ovalA', vI, this.peg[vI].canon, peer.canon, oval[vI].canon)
+      // console.log('ovalA', vI, this.peg[vI].canon, peer.canon, oval[vI].canon)
 
       done = done && DONE === oval[vI].done
     }
 
-    //console.log('ovalB', oval.map(v => v.canon))
+    // console.log('ovalB', oval.map(v => v.canon))
 
     // Remove duplicates, and normalize
     if (1 < oval.length) {
@@ -750,23 +850,13 @@ class DisjunctVal extends Val {
 class RefVal extends Val {
   parts: string[]
   absolute: boolean
-  sep = '.' // was '/'
-
-  // 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)
-  // }
-
+  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)
     }
@@ -793,8 +883,6 @@ class RefVal extends Val {
     }
 
     this.peg = (this.absolute ? this.sep : '') + this.parts.join(this.sep)
-
-    // console.log('APPEND 1', this.parts)
   }
 
   unify(peer: Val, ctx: Context): Val {
@@ -805,12 +893,9 @@ class RefVal extends Val {
       Nil.make(ctx, 'no-path', this, peer) : (resolved || this)
     let out: Val
 
-    // console.log('RV', this.id, this.done, this.canon, peer.canon, !!resolved, resolved instanceof RefVal, resolved && resolved.canon)
-
     if (resolved instanceof RefVal) {
       if (TOP === peer) {
         out = this
-        //out = new RefVal(this.peg, ctx)
       }
       else if (peer instanceof Nil) {
         out = Nil.make(ctx, 'ref[' + this.peg + ']', this, peer)
@@ -822,9 +907,6 @@ class RefVal extends Val {
       }
     }
     else {
-      //console.log('RVr', resolved.canon, peer.canon)
-
-      //out = resolved.unify(peer, ctx)
       out = unite(ctx, resolved, peer)
     }
 
@@ -833,10 +915,17 @@ class RefVal extends Val {
     return out
   }
 
+
+  same(peer: Val): boolean {
+    return null == peer ? false : this.peg === peer.peg
+  }
+
+
   get canon() {
     return this.peg
   }
 
+
   gen(_ctx?: Context) {
     return undefined
   }
@@ -888,6 +977,23 @@ class PrefVal extends Val {
     return out
   }
 
+
+  same(peer: Val): boolean {
+    if (null == peer) {
+      return false
+    }
+
+    let pegsame = (this.peg === peer.peg) ||
+      (this.peg instanceof Val && this.peg.same(peer.peg))
+
+    let prefsame = peer instanceof PrefVal &&
+      ((this.pref === peer.pref) ||
+        (this.pref instanceof Val && this.pref.same(peer.pref)))
+
+    return pegsame && prefsame
+  }
+
+
   get canon() {
     return this.pref instanceof Nil ? this.peg.canon : '*' + this.pref.canon
   }
@@ -915,6 +1021,7 @@ export {
   BooleanVal,
   IntegerVal,
   MapVal,
+  ListVal,
   ConjunctVal,
   DisjunctVal,
   RefVal,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "aontu",
-  "version": "0.2.0",
+  "version": "0.5.0",
   "main": "dist/aontu.js",
   "type": "commonjs",
   "browser": "dist/aontu.min.js",
@@ -39,22 +39,23 @@
     "LICENSE"
   ],
   "dependencies": {
-    "@jsonic/directive": "^0.6.0",
-    "@jsonic/expr": "^0.2.0",
-    "@jsonic/multisource": "0.5.0",
-    "@types/node": "^17.0.35",
-    "@jsonic/jsonic-next": "2.0.1"
+    "@jsonic/directive": "^0.8.0",
+    "@jsonic/expr": "^0.5.0",
+    "@jsonic/jsonic-next": "^2.3.0",
+    "@jsonic/multisource": "^0.7.0",
+    "@jsonic/path": "^0.2.0",
+    "@types/node": "^18.6.5"
   },
   "devDependencies": {
-    "@hapi/code": "^9.0.0",
+    "@hapi/code": "^9.0.1",
     "@hapi/lab": "^25.0.1",
     "benchmark": "^2.1.4",
     "coveralls": "^3.1.1",
     "hapi-lab-shim": "0.0.2",
     "lab-transform-typescript": "^3.0.1",
-    "prettier": "^2.6.2",
-    "serve": "^13.0.2",
-    "tinyify": "^3.0.0",
-    "typescript": "^4.7.2"
+    "prettier": "^2.7.1",
+    "serve": "^14.0.1",
+    "tinyify": "^3.1.0",
+    "typescript": "^4.7.4"
   }
 }