Warning: session_start(): open(/var/lib/php/sessions/sess_srmiie676m30c7ecsqb2j8asp2, 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
sclass SimpleLeftToRightParser {
S text;
LS tok;
ListAndIndex ptr;
S currentToken;
bool caseInsensitive;
*(S text) {}
*(LS tok) {}
bool is(S t) { ret eqOrEqic(caseInsensitive, token, t); }
void next { if (!ptr.atEnd()) { ptr(ptr.plus(2)); }
void ptr(ListAndIndex ptr) { this.ptr = ptr; fetch(); }
bool atEnd() { ret ptr.atEnd(); }
void fetch { currentToken = ptr!; }
void init {
tok if null = javaTok(text);
ptr(ListAndIndex(tok, 1));
}
}