public Char RetrieveChar() {
if (this._scanned.Length == 3) {
switch (this._scanned[1]) {
case 'a':
return '\a';
case 'b':
return '\b';
case 'f':
return '\f';
case 'n':
return '\n';
case 'r':
return '\r';
case 't':
return '\t';
case 'v':
return '\v';
case '\'':
return '\'';
case '\"':
return '\"';
case '\\':
return '\\';
case '?':
return '?';
default:
return this._scanned[1];
}
}
return this._scanned[0];
}