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