Lexer.h

Go to the documentation of this file.

//===-- Lexer.h -------------------------------------------------*- C++ -*-===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#ifndef KLEE_EXPR_LEXER_H
#define KLEE_EXPR_LEXER_H

#include <string>

namespace llvm {
  class MemoryBuffer;
}

namespace klee {
namespace expr {
  struct Token {
    enum Kind {
      At,                       
      Arrow,                    
      Colon,                    
      Comma,                    
      Comment,                  
      EndOfFile,                
      Equals,                   
      Identifier,               
      KWFalse,                  
      KWQuery,                  
      KWReserved,               
      KWTrue,                   
      KWWidth,                  
      LBrace,                   
      LParen,                   
      LSquare,                  
      Number,                   
      RBrace,                   
      RParen,                   
      RSquare,                  
      Semicolon,                
      Unknown                   
    };

    Kind        kind;           
    const char *start;          
    unsigned    length;         
    unsigned    line;           
    unsigned    column;         


    const char *getKindName() const;

    std::string getString() const { return std::string(start, length); }

    bool isKeyword() const { 
      return kind >= KWFalse && kind <= KWTrue; 
    }

    // dump - Dump the token to stderr.
    void dump();
  };

  class Lexer {
    const char *BufferPos;      
    const char *BufferEnd;      
    unsigned    LineNumber;     
    unsigned    ColumnNumber;   

    int GetNextChar();

    int PeekNextChar();

    Token &SetTokenKind(Token &Result, Token::Kind k);

    Token &SetIdentifierTokenKind(Token &Result);
  
    void SkipToEndOfLine();

    Token &LexNumber(Token &Result);

    Token &LexIdentifier(Token &Result);

  public:
    explicit Lexer(const llvm::MemoryBuffer *_buf);
    ~Lexer();

    Token &Lex(Token &Result);
  };
}
}

#endif