class BlockCounter

Declaration

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

Description

An abstract data type used to count the number of times a given block has been visited along a path analyzed by CoreEngine.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h:29

Member Variables

private void* Data

Method Overview

• private BlockCounter(void * D)
• public BlockCounter()
• public unsigned int getNumVisited(const clang::StackFrameContext * CallSite, unsigned int BlockID) const

Methods

¶BlockCounter(void* D)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h:32

Parameters

void* D

¶BlockCounter()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h:35

¶unsigned int getNumVisited(
    const clang::StackFrameContext* CallSite,
    unsigned int BlockID) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h:37

Parameters

const clang::StackFrameContext* CallSite

unsigned int BlockID