aboutsummaryrefslogtreecommitdiff
path: root/clang/include/clang/Analysis/PathSensitive/GRAuditor.h
diff options
context:
space:
mode:
Diffstat (limited to 'clang/include/clang/Analysis/PathSensitive/GRAuditor.h')
-rw-r--r--clang/include/clang/Analysis/PathSensitive/GRAuditor.h38
1 files changed, 0 insertions, 38 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/GRAuditor.h b/clang/include/clang/Analysis/PathSensitive/GRAuditor.h
deleted file mode 100644
index 29fb3bc..0000000
--- a/clang/include/clang/Analysis/PathSensitive/GRAuditor.h
+++ /dev/null
@@ -1,38 +0,0 @@
-//==- GRAuditor.h - Observers of the creation of ExplodedNodes------*- C++ -*-//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This file defines GRAuditor and its primary subclasses, an interface
-// to audit the creation of ExplodedNodes. This interface can be used
-// to implement simple checkers that do not mutate analysis state but
-// instead operate by perfoming simple logical checks at key monitoring
-// locations (e.g., function calls).
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef LLVM_CLANG_ANALYSIS_GRAUDITOR
-#define LLVM_CLANG_ANALYSIS_GRAUDITOR
-
-#include "clang/AST/Expr.h"
-#include "clang/Analysis/PathSensitive/ExplodedGraph.h"
-
-namespace clang {
-
-template <typename STATE>
-class GRAuditor {
-public:
- typedef ExplodedNode<STATE> NodeTy;
-
- virtual ~GRAuditor() {}
- virtual bool Audit(NodeTy* N) = 0;
-};
-
-
-} // end clang namespace
-
-#endif