From b76b9f44cdb443c19cd81dedc351b30d622a7e01 Mon Sep 17 00:00:00 2001
From: "Alex A. Naanou" <alex.nanou@gmail.com>
Date: Mon, 30 Jul 2018 02:34:15 +0300
Subject: [PATCH] started experimenting with more patterns...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>
---
 README.md | 32 ++++++++++++++++++++++++
 diff.js   | 75 ++++++++++++++++++++++++++++++++++++++++++++++++++++---
 2 files changed, 103 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index e69de29..8400ab6 100644
--- a/README.md
+++ b/README.md
@@ -0,0 +1,32 @@
+# Object diff
+
+
+
+## Motivation
+
+
+
+## General 
+
+### Diff
+
+### Deep compare
+
+### Patterns
+
+
+
+## Extending Diff
+
+
+
+## The Diff format
+
+### Flat
+
+This is the main and default format used to store diff information.
+
+
+### Tree
+
+This format is used internaly but may be useful for introspection.
\ No newline at end of file
diff --git a/diff.js b/diff.js
index edd1549..5fcab37 100644
--- a/diff.js
+++ b/diff.js
@@ -339,6 +339,71 @@ object.makeConstructor('AND', Object.assign(new LogicType(), {
 	},
 }))
 
+// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
+// Will match a number greater than or equal to min and less than max... 
+var NUMBER = 
+module.NUMBER = 
+object.makeConstructor('NUMBER', Object.assign(new LogicType(), {
+	__cmp__: function(obj, cmp){
+		if(typeof(obj) == 'number' 
+				&& obj >= this.min
+				&& obj <= this.max){
+			return true
+		}
+		return false
+	},
+	__init__: function(min, max){
+		this.min = min
+		this.max = max
+	},
+}))
+
+// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
+// XXX IN(A) == L iff A in L
+var IN = 
+module.IN = 
+object.makeConstructor('IN', Object.assign(new LogicType(), {
+	__cmp__: function(obj, cmp){
+		// XXX
+	},
+	__init__: function(value){
+		this.value = value
+	},
+}))
+
+// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
+// XXX AT(A, K) == L iff A in L and L[K] == A
+// XXX .key can't be a pattern at this point...
+var AT = 
+module.AT = 
+object.makeConstructor('AT', Object.assign(new LogicType(), {
+	__cmp__: function(obj, cmp){
+		if(cmp(obj[this.key], this.value)){
+			return true
+		}
+		return false
+	},
+	__init__: function(value, key){
+		this.key = key
+		this.value = value
+	},
+}))
+
+// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
+// XXX OF(A, N) == L iff L contains N occurrences of A
+var OF = 
+module.OF = 
+object.makeConstructor('OF', Object.assign(new LogicType(), {
+	__cmp__: function(obj, cmp){
+		// XXX
+	},
+	__init__: function(value, count){
+		this.count = count
+		this.value = value
+	},
+}))
+
+
 
 
 //---------------------------------------------------------------------
@@ -951,8 +1016,8 @@ module.Types = {
 // 		// General guide:
 // 		//	>50			- to be checked before 'Basic'
 // 		//	<50 and >0	- after Basic but before unprioritized types
-// 		//	<-50 and <0	- after unprioritized types but before Object
-// 		//	<-100		- to be checked after Object -- this is a bit 
+// 		//	<=50 and <0	- after unprioritized types but before Object
+// 		//	<=100		- to be checked after Object -- this is a bit 
 // 		//				  pointless in JavaScript.
 // 		//
 // 		// NOTE: when this is set to 0, then type will be checked in 
@@ -1474,8 +1539,10 @@ Types.set(LogicType, {
 // 		//		diffed...
 // 		min_text_length: 1000 | -1,
 //
-// 		// list of types we treat as objects, i.e. check attributes...
-// 		as_object: [ .. ] | Set([ .. ]),
+//		// If true, disable attribute diff for non Object's...
+//		//
+//		// XXX should be more granular...
+//		no_attributes: false | true,
 //
 // 		// Plaeholders to be used in the diff..
 // 		//