Thanks Peter, applied in r96101.
- Daniel
On Fri, Feb 12, 2010 at 11:30 AM, Peter Collingbourne
<pcc03 at doc.ic.ac.uk> wrote:
> Some doxygen annotations are attached to the wrong entry, which can be
> misleading. ?This patch fixes the mistake everywhere I could find it.
> ---
> ?include/expr/Lexer.h | ? 48 ++++++++++++++++++++++++------------------------
> ?include/klee/Expr.h ?| ? 10 +++++-----
> ?2 files changed, 29 insertions(+), 29 deletions(-)
>
> diff --git a/include/expr/Lexer.h b/include/expr/Lexer.h
> index a8719b4..737e614 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, ? ? ? ? ? ? ? ?/// <end of file>
> - ? ? ?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, ? ? ? ? ? ? ? ? ? /// <other>
> + ? ? ?At, ? ? ? ? ? ? ? ? ? ? ? ///< '@'
> + ? ? ?Arrow, ? ? ? ? ? ? ? ? ? ?///< '->'
> + ? ? ?Colon, ? ? ? ? ? ? ? ? ? ?///< ':'
> + ? ? ?Comma, ? ? ? ? ? ? ? ? ? ?///< ','
> + ? ? ?Comment, ? ? ? ? ? ? ? ? ?///< #[^\n]+
> + ? ? ?EndOfFile, ? ? ? ? ? ? ? ?///< <end of file>
> + ? ? ?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, ? ? ? ? ? ? ? ? ? ///< <other>
>
> ? ? ? KWKindFirst=KWArray,
> ? ? ? KWKindLast=KWWidth
> diff --git a/include/klee/Expr.h b/include/klee/Expr.h
> index b0f36e1..a1a1bc2 100644
> --- a/include/klee/Expr.h
> +++ b/include/klee/Expr.h
> @@ -143,15 +143,15 @@ public:
>
> ? ? // Compare
> ? ? Eq,
> - ? ?Ne, ?/// Not used in canonical form
> + ? ?Ne, ?///< Not used in canonical form
> ? ? Ult,
> ? ? Ule,
> - ? ?Ugt, /// Not used in canonical form
> - ? ?Uge, /// Not used in canonical form
> + ? ?Ugt, ///< Not used in canonical form
> + ? ?Uge, ///< Not used in canonical form
> ? ? Slt,
> ? ? Sle,
> - ? ?Sgt, /// Not used in canonical form
> - ? ?Sge, /// Not used in canonical form
> + ? ?Sgt, ///< Not used in canonical form
> + ? ?Sge, ///< Not used in canonical form
>
> ? ? LastKind=Sge,
>
> --
> 1.6.5
>
>
> --
> Peter
> _______________________________________________
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
>
