class PostStore

Declaration

class PostStore : public PostStmt { /* full declaration omitted */ };

Description

Represents a program point after a store evaluation.

Declared at: clang/include/clang/Analysis/ProgramPoint.h:430

Inherits from: PostStmt

Member Variables

Method Overview

• public PostStore(const clang::Stmt * S, const clang::LocationContext * L, const void * Loc, const clang::ProgramPointTag * tag = nullptr)
• private PostStore()
• public const void * getLocationValue() const
• private static bool isKind(const clang::ProgramPoint & Location)

Inherited from PostStmt:

Inherited from StmtPoint:

• public getStmt
• public getStmtAs

Inherited from ProgramPoint:

• public Profile
• public castAs
• public dump
• public getAs
• protected getData1
• protected getData2
• public getHashValue
• public getKind
• public getLocationContext
• public getProgramPoint
• public getStackFrame
• public getTag
• public isPurgeKind
• public printJson
• protected setData2
• public withTag

Methods

¶PostStore(
    const clang::Stmt* S,
    const clang::LocationContext* L,
    const void* Loc,
    const clang::ProgramPointTag* tag = nullptr)

Description

Construct the post store point.

Declared at: clang/include/clang/Analysis/ProgramPoint.h:435

Parameters

const clang::Stmt* S

const clang::LocationContext* L

const void* Loc

can be used to store the information about the location used in the form it was uttered in the code.

const clang::ProgramPointTag* tag = nullptr

¶PostStore()

Declared at: clang/include/clang/Analysis/ProgramPoint.h:450

¶const void* getLocationValue() const

Description

Returns the information about the location used in the store, how it was uttered in the code.

Declared at: clang/include/clang/Analysis/ProgramPoint.h:444

¶static bool isKind(
    const clang::ProgramPoint& Location)

Declared at: clang/include/clang/Analysis/ProgramPoint.h:451

Parameters

const clang::ProgramPoint& Location