clang  15.0.0git
Public Member Functions | List of all members
clang::dataflow::StmtToEnvMap Class Referenceabstract

Maps statements to the environments of basic blocks that contain them. More...

#include "clang/Analysis/FlowSensitive/Transfer.h"

Inheritance diagram for clang::dataflow::StmtToEnvMap:
Inheritance graph
[legend]

Public Member Functions

virtual ~StmtToEnvMap ()=default
 
virtual const EnvironmentgetEnvironment (const Stmt &S) const =0
 Returns the environment of the basic block that contains S or nullptr if there isn't one. More...
 

Detailed Description

Maps statements to the environments of basic blocks that contain them.

Definition at line 24 of file Transfer.h.

Constructor & Destructor Documentation

◆ ~StmtToEnvMap()

virtual clang::dataflow::StmtToEnvMap::~StmtToEnvMap ( )
virtualdefault

Member Function Documentation

◆ getEnvironment()

virtual const Environment* clang::dataflow::StmtToEnvMap::getEnvironment ( const Stmt S) const
pure virtual

Returns the environment of the basic block that contains S or nullptr if there isn't one.

FIXME: Ensure that the result can't be null and return a const reference.

Implemented in clang::dataflow::StmtToEnvMapImpl.


The documentation for this class was generated from the following file: