private void ScanDate()
{
char[] text = _text;
do _pos++; while (_pos < text.Length && text[_pos] != '#');
if (_pos >= text.Length || text[_pos] != '#')
{
// Bad date constant
if (_pos >= text.Length)
throw ExprException.InvalidDate(new string(text, _start, (_pos - 1) - _start));
else
throw ExprException.InvalidDate(new string(text, _start, _pos - _start));
}
else
{
_token = Tokens.Date;
}
_pos++;
}