encoder.js
function encodeArray_EMPTY( encoder ) {

	//
	// Empty Array (EMPTY)
	//
	// ........
	// 01111110
	//

	encoder.counters.arr_empty+=1;
	encoder.log(LOG.ARR, "array.empty");
	encoder.stream8.write( pack1b( ARR_OP.EMPTY ) );
	encoder.counters.op_prm+=1;

}
function encodeArray_EMPTY( encoder ) {

	//
	// Empty Array (EMPTY)
	//
	// ........
	// 01111110
	//

	encoder.counters.arr_empty+=1;
	encoder.log(LOG.ARR, "array.empty");
	encoder.stream8.write( pack1b( ARR_OP.EMPTY ) );
	encoder.counters.op_prm+=1;

}
function encodeArray_EMPTY ( encoder ) { // // Empty Array (EMPTY) // // ........ // 01111110 // encoder . counters . arr_empty += 1 ; encoder . log ( LOG . ARR , "array.empty" ) ; encoder . stream8 . write ( pack1b ( ARR_OP . EMPTY ) ) ; encoder . counters . op_prm += 1 ; }
Encode array data as an empty array
Encode array data as an empty array