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

log

Browse source
This commit is contained in:
Douglas Crockford 2014-04-21 16:13:10 -07:00
parent 7ff3fa4e40
commit b7a1aee4e1
3 changed files with 14 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

14
zip/JSONzip.java
View file

@ -1,6 +1,5 @@
package org.json.zip;
/*
Copyright (c) 2013 JSON.org
@ -27,7 +26,9 @@ package org.json.zip;
/**
* JSONzip is a binary-encoded JSON dialect. It is designed to compress the
* messages in a session. It is adaptive, so with each message seen, it should
* messages in a session in bandwidth constrained applications, such as mobile.
*
* JSONzip is adaptive, so with each message seen, it should
* improve its compression. It minimizes JSON's overhead, reducing punctuation
* to a small number of bits. It uses Huffman encoding to reduce the average
* size of characters. It uses caches (or Keeps) to keep recently seen strings
@ -43,7 +44,7 @@ package org.json.zip;
* ADEQUATELY FOR PRODUCTION USE.
*
* @author JSON.org
* @version 2013-04-18
* @version 2014-04-21
*/
public abstract class JSONzip implements None, PostMortem {
/**
@ -230,12 +231,17 @@ public abstract class JSONzip implements None, PostMortem {
/**
* Write two integers, separated by ':' to the console.
* The second integer is suppressed if it is 1.
*
* @param integer
* @param width
*/
static void log(int integer, int width) {
log(integer + ":" + width + " ");
if (width == 1) {
log(integer);
} else {
log(integer + ":" + width + " ");
}
}
/**