protected function is_token_end($letter) { /* [^a-zA-Z0-9_] */ return !('a' <= $letter && 'z' >= $letter || 'A' <= $letter && 'Z' >= $letter || '0' <= $letter && '9' >= $letter || $letter == "_"); }