private void writeName ( String name ) throws JSONException { // If this name has already been registered, then emit its integer and // increment its usage count. Kim kim = new Kim ( name ) ; int integer = this . namekeep . find ( kim ) ; if ( integer != none ) { one ( ) ; write ( integer , this . namekeep ) ; } else { // Otherwise, emit the string with Huffman encoding, and register it. zero ( ) ; write ( kim , this . namehuff , this . namehuffext ) ; write ( end , namehuff ) ; this . namekeep . register ( kim ) ; } }
Write the name of an object property . Names have their own Keep and Huffman encoder because they are expected to be a more restricted set .