1
0
Fork 0
mirror of https://github.com/ethauvin/JSON-java.git synced 2025-06-17 07:50:52 -07:00

education

This commit is contained in:
Douglas Crockford 2014-05-20 14:39:51 -07:00
parent a9a0762383
commit 1272d80a03

View file

@ -29,7 +29,7 @@ import org.json.JSONException;
/** /**
* JSONzip is a compression scheme for JSON text. * JSONzip is a compression scheme for JSON text.
* @author JSON.org * @author JSON.org
* @version 2014-05-03 * @version 2014-05-20
*/ */
/** /**
@ -53,6 +53,11 @@ public class Huff implements None, PostMortem {
*/ */
private final int domain; private final int domain;
/**
* The number of characters to process before generation is no longer done.
*/
public static final int education = 1000000;
/** /**
* An array that maps symbol values to symbols. * An array that maps symbol values to symbols.
*/ */
@ -140,7 +145,7 @@ public class Huff implements None, PostMortem {
*/ */
public Huff(int domain) { public Huff(int domain) {
this.domain = domain; this.domain = domain;
this.toLearn = 1000000; this.toLearn = education;
int length = domain * 2 - 1; int length = domain * 2 - 1;
this.symbols = new Symbol[length]; this.symbols = new Symbol[length];