class ModelConsumer

Declaration

class ModelConsumer : public ASTConsumer { /* full declaration omitted */ };

Description

ASTConsumer to consume model files' AST. This consumer collects the bodies of function definitions into a StringMap from a model file.

Declared at: clang/include/clang/StaticAnalyzer/Frontend/ModelConsumer.h:31

Inherits from: ASTConsumer

Member Variables

private llvm::StringMap<Stmt*>& Bodies

Method Overview

Inherited from ASTConsumer:

Methods

bool HandleTopLevelDecl(clang::DeclGroupRef D)

Description

HandleTopLevelDecl - Handle the specified top-level declaration. This is called by the parser to process every top-level Decl*.

Declared at: clang/include/clang/StaticAnalyzer/Frontend/ModelConsumer.h:35

Parameters

clang::DeclGroupRef D

Returns

true to continue parsing, or false to abort parsing.

ModelConsumer(llvm::StringMap<Stmt*>& Bodies)

Declared at: clang/include/clang/StaticAnalyzer/Frontend/ModelConsumer.h:33

Parameters

llvm::StringMap<Stmt*>& Bodies