clang
13.0.0git
include
clang
StaticAnalyzer
Frontend
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
clang::ento::ModelConsumer::ModelConsumer
ModelConsumer(llvm::StringMap< Stmt * > &Bodies)
Definition:
ModelConsumer.cpp:28
clang::ASTConsumer
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs.
Definition:
ASTConsumer.h:33
clang::ento::ModelConsumer::HandleTopLevelDecl
bool HandleTopLevelDecl(DeclGroupRef D) override
HandleTopLevelDecl - Handle the specified top-level declaration.
Definition:
ModelConsumer.cpp:31
clang::DeclGroupRef
Definition:
DeclGroup.h:51
ASTConsumer.h
clang
Dataflow Directional Tag Classes.
Definition:
CalledOnceCheck.h:17
clang::ento::ModelConsumer
ASTConsumer to consume model files' AST.
Definition:
ModelConsumer.h:31
Generated on Sat Apr 10 2021 07:31:43 for clang by
1.8.17