class PostCondition

Declaration

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

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

Inherits from: PostStmt

Member Variables

Method Overview

• public PostCondition(const clang::Stmt * S, const clang::LocationContext * L, const clang::ProgramPointTag * tag = nullptr)
• private PostCondition()
• 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

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

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

Parameters

const clang::Stmt* S

const clang::LocationContext* L

const clang::ProgramPointTag* tag = nullptr

¶PostCondition()

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

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

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

Parameters

const clang::ProgramPoint& Location