Context.h

Go to the documentation of this file.

//===-- Context.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_CONTEXT_H
#define KLEE_CONTEXT_H
 
#include "klee/Expr/Expr.h"
 
namespace klee {
 
  class Context {
    bool IsLittleEndian;
 
    Expr::Width PointerWidth;
 
  protected:
    Context(bool _IsLittleEndian, Expr::Width _PointerWidth)
      : IsLittleEndian(_IsLittleEndian), PointerWidth(_PointerWidth) {}
    
  public:
    Context() {}
 
    static void initialize(bool IsLittleEndian, Expr::Width PointerWidth);
 
    static const Context &get();
 
    bool isLittleEndian() const { return IsLittleEndian; }
 
    Expr::Width getPointerWidth() const { return PointerWidth; }
  };
  
} // End klee namespace
 
#endif /* KLEE_CONTEXT_H */