clang 10.0.0git

ModelConsumer.h
Go to the documentation of this file.
1 //===-- ModelConsumer.h -----------------------------------------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 ///
9 /// \file
10 /// This file implements clang::ento::ModelConsumer which is an
11 /// ASTConsumer for model files.
12 ///
13 //===----------------------------------------------------------------------===//
14
15 #ifndef LLVM_CLANG_GR_MODELCONSUMER_H
16 #define LLVM_CLANG_GR_MODELCONSUMER_H
17
18 #include "clang/AST/ASTConsumer.h"
19 #include "llvm/ADT/StringMap.h"
20
21 namespace clang {
22
23 class Stmt;
24
25 namespace ento {
26
27 /// ASTConsumer to consume model files' AST.
28 ///
29 /// This consumer collects the bodies of function definitions into a StringMap
30 /// from a model file.
31 class ModelConsumer : public ASTConsumer {
32 public:
33 ModelConsumer(llvm::StringMap<Stmt *> &Bodies);
34
35 bool HandleTopLevelDecl(DeclGroupRef D) override;
36
37 private:
38 llvm::StringMap<Stmt *> &Bodies;
39 };
40 }
41 }
42
43 #endif
ento
clang::ASTConsumer
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs...
Definition: ASTConsumer.h:33
clang::ento::ModelConsumer
ASTConsumer to consume model files&#39; AST.
Definition: ModelConsumer.h:31
ASTConsumer.h
clang::ento::ModelConsumer::ModelConsumer
ModelConsumer(llvm::StringMap< Stmt *> &Bodies)
Definition: ModelConsumer.cpp:28
clang::ento::ModelConsumer::HandleTopLevelDecl
bool HandleTopLevelDecl(DeclGroupRef D) override
HandleTopLevelDecl - Handle the specified top-level declaration.
Definition: ModelConsumer.cpp:31
clang
Dataflow Directional Tag Classes.
Definition: CFGReachabilityAnalysis.h:21
clang::DeclGroupRef
Definition: DeclGroup.h:51