public class EOFException : Exception {
};
-
+
public enum TokenType {
EOF,
OPEN_PAREN,
if(TokenString == "f")
return TokenType.FALSE;
- throw new Exception("Unknown constant '"
+ throw new Exception("Unknown constant '"
+ TokenString + "'");
default:
if(Char.IsDigit(c) || c == '-') {
NextChar();
} while(!Char.IsWhiteSpace(c) && c != '\"' && c != '('
&& c != ')' && c != ';');
-
+
if(have_nondigits || !have_digits
|| have_floating_point > 1)
return TokenType.SYMBOL;
NextChar();
} while(!Char.IsWhiteSpace(c) && c != '\"' && c != '('
&& c != ')' && c != ';');
-
+
return TokenType.SYMBOL;
}
}
- } catch(EOFException e) {
+ } catch(EOFException) {
return TokenType.EOF;
}
}