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_LEXER_H
#define KLEE_LEXER_H
 
#include <string>
 
namespace llvm {
  class MemoryBuffer;
}
 
namespace klee {
namespace expr {
  struct Token {
    enum Kind {
      At,                       
      Arrow,                    
      Colon,                    
      Comma,                    
      Comment,                  
      EndOfFile,                
      Equals,                   
      Identifier,               
      KWArray,                  
      KWFalse,                  
      KWQuery,                  
      KWReserved,               
      KWSymbolic,               
      KWTrue,                   
      KWWidth,                  
      LBrace,                   
      LParen,                   
      LSquare,                  
      Number,                   
      RBrace,                   
      RParen,                   
      RSquare,                  
      Semicolon,                
      Unknown,                  
      
      KWKindFirst=KWArray,
      KWKindLast=KWWidth
    };
 
    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 >= KWKindFirst && kind <= KWKindLast; 
    }
 
    // dump - Dump the token to stderr.
    void dump();
 
    Token() : kind(Unknown), start(nullptr) {}
  };
 
  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 /* KLEE_LEXER_H */