12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970 |
- if (!dojo._hasResource["dojox.encoding.splay"]) { // _hasResource checks added
- // by build. Do not use
- // _hasResource directly in
- // your code.
- dojo._hasResource["dojox.encoding.splay"] = true;
- dojo.provide("dojox.encoding.splay");
- dojox.encoding.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.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;
- }
- });
- }
|