clang/include/clang/Analysis/Analyses/IntervalSolver/Log.hpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

#ifndef LOG_HPP
#define LOG_HPP

#include <string>
#include <iostream>
#include <map>
#include <cstdio>

namespace solver_log {

  struct Logger : public std::ostream {
    Logger(std::streambuf*, const std::string&)
      : std::ostream(NULL) { }

    bool enabled() const {
      return false;
    }

    bool enabled(bool) {
      return false;
    }

  private:
  };

  Logger strategy(std::cerr.rdbuf(), "strategy");
  Logger fixpoint(std::cerr.rdbuf(), "fixpoint");
  Logger debug(std::cerr.rdbuf(), "debug");

}

#endif