[klee-dev] [PATCH] Fix off-by-one errors in the doxygen documentation

[Daniel Dunbar]

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
>