From 7992e65722423c7a6fb70591155a48cdbda6c262 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sat, 13 Feb 2010 16:55:11 +0000 Subject: Fix some doxyments, patch by Peter Collingbourne! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@96101 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/expr/Lexer.h | 48 ++++++++++++++++++++++++------------------------ 1 file changed, 24 insertions(+), 24 deletions(-) (limited to 'include/expr') diff --git a/include/expr/Lexer.h b/include/expr/Lexer.h index a8719b4d..6cce8031 100644 --- a/include/expr/Lexer.h +++ b/include/expr/Lexer.h @@ -20,30 +20,30 @@ namespace klee { namespace expr { struct Token { enum Kind { - At, /// '@' - Arrow, /// '->' - Colon, /// ':' - Comma, /// ',' - Comment, /// #[^\n]+ - EndOfFile, /// - Equals, /// ' = ' - Identifier, /// [a-zA-Z_][a-zA-Z0-9._]* - KWArray, /// 'array' - KWFalse, /// 'false' - KWQuery, /// 'query' - KWReserved, /// fp[0-9]+([.].*)?, i[0-9]+ - KWSymbolic, /// 'symbolic' - KWTrue, /// 'true' - KWWidth, /// w[0-9]+ - LBrace, /// '{' - LParen, /// '(' - LSquare, /// '[' - Number, /// [+-]?[0-9][a-zA-Z0-9_]+ - RBrace, /// '}' - RParen, /// ')' - RSquare, /// ']' - Semicolon, /// ';' - Unknown, /// + At, ///< '@' + Arrow, ///< '->' + Colon, ///< ':' + Comma, ///< ',' + Comment, ///< #[^\n]+ + EndOfFile, ///< + Equals, ///< ' = ' + Identifier, ///< [a-zA-Z_][a-zA-Z0-9._]* + KWArray, ///< 'array' + KWFalse, ///< 'false' + KWQuery, ///< 'query' + KWReserved, ///< fp[0-9]+([.].*)?, i[0-9]+ + KWSymbolic, ///< 'symbolic' + KWTrue, ///< 'true' + KWWidth, ///< w[0-9]+ + LBrace, ///< '{' + LParen, ///< '(' + LSquare, ///< '[' + Number, ///< [+-]?[0-9][a-zA-Z0-9_]+ + RBrace, ///< '}' + RParen, ///< ')' + RSquare, ///< ']' + Semicolon, ///< ';' + Unknown, ///< KWKindFirst=KWArray, KWKindLast=KWWidth -- cgit 1.4.1