108b86531ade68727c56918f162816075b87c864aJordy Rose//===--- CheckerOptInfo.h - Specifies which checkers to use -----*- C++ -*-===//
208b86531ade68727c56918f162816075b87c864aJordy Rose//
308b86531ade68727c56918f162816075b87c864aJordy Rose//                     The LLVM Compiler Infrastructure
408b86531ade68727c56918f162816075b87c864aJordy Rose//
508b86531ade68727c56918f162816075b87c864aJordy Rose// This file is distributed under the University of Illinois Open Source
608b86531ade68727c56918f162816075b87c864aJordy Rose// License. See LICENSE.TXT for details.
708b86531ade68727c56918f162816075b87c864aJordy Rose//
808b86531ade68727c56918f162816075b87c864aJordy Rose//===----------------------------------------------------------------------===//
908b86531ade68727c56918f162816075b87c864aJordy Rose
1008b86531ade68727c56918f162816075b87c864aJordy Rose#ifndef LLVM_CLANG_STATICANALYZER_CORE_CHECKEROPTINFO_H
1108b86531ade68727c56918f162816075b87c864aJordy Rose#define LLVM_CLANG_STATICANALYZER_CORE_CHECKEROPTINFO_H
1208b86531ade68727c56918f162816075b87c864aJordy Rose
1308b86531ade68727c56918f162816075b87c864aJordy Rose#include "clang/Basic/LLVM.h"
149946fc735d7285f2195f89635370f534afd9877eDmitri Gribenko#include "llvm/ADT/StringRef.h"
1508b86531ade68727c56918f162816075b87c864aJordy Rose
1608b86531ade68727c56918f162816075b87c864aJordy Rosenamespace clang {
1708b86531ade68727c56918f162816075b87c864aJordy Rosenamespace ento {
1808b86531ade68727c56918f162816075b87c864aJordy Rose
198e240498dfd4355849bcec943e97799f7f75d93dJordy Rose/// Represents a request to include or exclude a checker or package from a
208e240498dfd4355849bcec943e97799f7f75d93dJordy Rose/// specific analysis run.
218e240498dfd4355849bcec943e97799f7f75d93dJordy Rose///
228e240498dfd4355849bcec943e97799f7f75d93dJordy Rose/// \sa CheckerRegistry::initializeManager
2308b86531ade68727c56918f162816075b87c864aJordy Roseclass CheckerOptInfo {
2408b86531ade68727c56918f162816075b87c864aJordy Rose  StringRef Name;
2508b86531ade68727c56918f162816075b87c864aJordy Rose  bool Enable;
2608b86531ade68727c56918f162816075b87c864aJordy Rose  bool Claimed;
2708b86531ade68727c56918f162816075b87c864aJordy Rose
2808b86531ade68727c56918f162816075b87c864aJordy Rosepublic:
2908b86531ade68727c56918f162816075b87c864aJordy Rose  CheckerOptInfo(StringRef name, bool enable)
3008b86531ade68727c56918f162816075b87c864aJordy Rose    : Name(name), Enable(enable), Claimed(false) { }
3108b86531ade68727c56918f162816075b87c864aJordy Rose
3208b86531ade68727c56918f162816075b87c864aJordy Rose  StringRef getName() const { return Name; }
3308b86531ade68727c56918f162816075b87c864aJordy Rose  bool isEnabled() const { return Enable; }
3408b86531ade68727c56918f162816075b87c864aJordy Rose  bool isDisabled() const { return !isEnabled(); }
3508b86531ade68727c56918f162816075b87c864aJordy Rose
3608b86531ade68727c56918f162816075b87c864aJordy Rose  bool isClaimed() const { return Claimed; }
3708b86531ade68727c56918f162816075b87c864aJordy Rose  bool isUnclaimed() const { return !isClaimed(); }
3808b86531ade68727c56918f162816075b87c864aJordy Rose  void claim() { Claimed = true; }
3908b86531ade68727c56918f162816075b87c864aJordy Rose};
4008b86531ade68727c56918f162816075b87c864aJordy Rose
4108b86531ade68727c56918f162816075b87c864aJordy Rose} // end namespace ento
4208b86531ade68727c56918f162816075b87c864aJordy Rose} // end namespace clang
4308b86531ade68727c56918f162816075b87c864aJordy Rose
4408b86531ade68727c56918f162816075b87c864aJordy Rose#endif
45