Warning: session_start(): open(/var/lib/php/sessions/sess_pp117ee08rokc504kc74u4p7e7, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
// little-endian
sclass BitBuffer {
new ByteBuffer byteBuffer; // TODO (optimization): use a growing circular buffer
int currentByte, currentBit;
void add(bool b) {
if (b) currentByte ||= 1 << currentBit;
if (currentBit == 7) {
byteBuffer.add(currentByte);
currentByte = 0;
currentBit = 0;
} else
++currentBit;
}
bool hasFullByte() {
ret !byteBuffer.isEmpty();
}
byte popFullByte() {
ret byteBuffer.popFirst();
}
// TODO: optimize void writeBits(int data, int nBits)
}