X-Git-Url: http://git.pond.sub.org/?p=eow;a=blobdiff_plain;f=static%2Fdojo-release-1.1.1%2Fdojox%2Fencoding%2Fcompression%2Fsplay.js;fp=static%2Fdojo-release-1.1.1%2Fdojox%2Fencoding%2Fcompression%2Fsplay.js;h=0000000000000000000000000000000000000000;hp=5902380529fa5604a01e682a59339a0f14ec8463;hb=7beca26e6ea91745cd397ad69ac6e26bb934e683;hpb=bed7f6f60f166f71b2e3a98bb8d1e67c3e501909

diff --git a/static/dojo-release-1.1.1/dojox/encoding/compression/splay.js b/static/dojo-release-1.1.1/dojox/encoding/compression/splay.js
deleted file mode 100644
index 5902380..0000000
--- a/static/dojo-release-1.1.1/dojox/encoding/compression/splay.js
+++ /dev/null
@@ -1,64 +0,0 @@
-if(!dojo._hasResource["dojox.encoding.compression.splay"]){ //_hasResource checks added by build. Do not use _hasResource directly in your code.
-dojo._hasResource["dojox.encoding.compression.splay"] = true;
-dojo.provide("dojox.encoding.compression.splay");
-dojo.require("dojox.encoding.bits");
-
-dojox.encoding.compression.Splay = function(n){
-	this.up = new Array(2 * n + 1);
-	this.left = new Array(n);
-	this.right = new Array(n);
-	this.reset();
-};
-
-dojo.extend(dojox.encoding.compression.Splay, {
-	reset: function(){
-		for(var i = 1; i < this.up.length; this.up[i] = Math.floor((i - 1) / 2), ++i);
-		for(var i = 0; i < this.left.length; this.left[i] = 2 * i + 1, this.right[i] = 2 * i + 2, ++i);
-	},
-	splay: function(i){
-		var a = i + this.left.length;
-		do{
-			var c = this.up[a];
-			if(c){	// root
-				// rotated pair
-				var d = this.up[c];
-				// swap descendants
-				var b = this.left[d];
-				if(c == b){
-					b = this.right[d];
-					this.right[d] = a;
-				} else {
-					this.left[d] = a;
-				}
-				this[a == this.left[c] ? "left" : "right"][c] = b;
-				this.up[a] = d;
-				this.up[b] = c;
-				a = d;
-			}else{
-				a = c;
-			}
-		}while(a);	// root
-	},
-	encode: function(value, stream){
-		var s = [], a = value + this.left.length;
-		do{
-			s.push(this.right[this.up[a]] == a);
-			a = this.up[a];
-		}while(a);	// root
-		this.splay(value);
-		var l = s.length;
-		while(s.length){ stream.putBits(s.pop() ? 1 : 0, 1); }
-		return	l;
-	},
-	decode: function(stream){
-		var a = 0;	// root;
-		do{
-			a = this[stream.getBits(1) ? "right" : "left"][a];
-		}while(a < this.left.length);
-		a -= this.left.length;
-		this.splay(a);
-		return	a;
-	}
-});
-
-}