class Environment

Declaration

class Environment { /* full declaration omitted */ };

Description

An immutable map from EnvironemntEntries to SVals.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:56

Member Variables

private clang::ento::Environment::BindingsTy ExprBindings

Method Overview

• private Environment(clang::ento::Environment::BindingsTy eb)
• public static void Profile(llvm::FoldingSetNodeID & ID, const clang::ento::Environment * env)
• public void Profile(llvm::FoldingSetNodeID & ID) const
• public clang::ento::Environment::iterator begin() const
• public clang::ento::Environment::iterator end() const
• public clang::ento::SVal getSVal(const clang::ento::EnvironmentEntry & E, clang::ento::SValBuilder & svalBuilder) const
• private clang::ento::SVal lookupExpr(const clang::ento::EnvironmentEntry & E) const
• public void printJson(llvm::raw_ostream & Out, const clang::ASTContext & Ctx, const clang::LocationContext * LCtx = nullptr, const char * NL = "\n", unsigned int Space = 0, bool IsDot = false) const

Methods

¶Environment(
    clang::ento::Environment::BindingsTy eb)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:64

Parameters

clang::ento::Environment::BindingsTy eb

¶static void Profile(
    llvm::FoldingSetNodeID& ID,
    const clang::ento::Environment* env)

Description

Profile - Profile the contents of an Environment object for use in a FoldingSet.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:80

Parameters

llvm::FoldingSetNodeID& ID

const clang::ento::Environment* env

¶void Profile(llvm::FoldingSetNodeID& ID) const

Description

Profile - Used to profile the contents of this object for inclusion in a FoldingSet.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:86

Parameters

llvm::FoldingSetNodeID& ID

¶clang::ento::Environment::iterator begin() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:71

¶clang::ento::Environment::iterator end() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:72

¶clang::ento::SVal getSVal(
    const clang::ento::EnvironmentEntry& E,
    clang::ento::SValBuilder& svalBuilder) const

Description

Fetches the current binding of the expression in the Environment.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:76

Parameters

const clang::ento::EnvironmentEntry& E

clang::ento::SValBuilder& svalBuilder

¶clang::ento::SVal lookupExpr(
    const clang::ento::EnvironmentEntry& E) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:66

Parameters

const clang::ento::EnvironmentEntry& E

¶void printJson(
    llvm::raw_ostream& Out,
    const clang::ASTContext& Ctx,
    const clang::LocationContext* LCtx = nullptr,
    const char* NL = "\n",
    unsigned int Space = 0,
    bool IsDot = false) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h:94

Parameters

llvm::raw_ostream& Out

const clang::ASTContext& Ctx

const clang::LocationContext* LCtx = nullptr

const char* NL = "\n"

unsigned int Space = 0

bool IsDot = false