Warning: session_start(): open(/var/lib/php/sessions/sess_0m3955ooc4d7necd34e3deefpk, 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
static CharacterClassIterator stringToCharacterClassIterator(S s) {
ret new stringToCharacterClassIterator_C(s);
}
sclass stringToCharacterClassIterator_C extends CharacterClassIterator {
S s;
int i, l;
*() {}
*(S *s) { l = l(s); }
*(S *s, int *i, int *l) {}
// no check because of method contract
CharacterClassIterator acceptChar(char c) {
++i;
this;
}
bool canEndHere() {
ret i >= l;
}
bool canAcceptChar(char c) {
ret i < l && s.charAt(i) == c;
}
CharRange acceptedCharRange() {
ret i >= l ? null : singletonCharRange(s.charAt(i));
}
CharacterClassIterator cloneCCI() {
ret new CharacterClassIterator(s, i, l);
}
}