class Assume

Declaration

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

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:458

Method Overview

• private template <typename CHECKER>static clang::ento::ProgramStateRef _evalAssume(void * checker, clang::ento::ProgramStateRef state, const clang::ento::SVal & cond, bool assumption)
• public template <typename CHECKER>static void _register(CHECKER * checker, clang::ento::CheckerManager & mgr)

Methods

¶template <typename CHECKER>
static clang::ento::ProgramStateRef _evalAssume(
    void* checker,
    clang::ento::ProgramStateRef state,
    const clang::ento::SVal& cond,
    bool assumption)

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:460

Templates

CHECKER

Parameters

void* checker

clang::ento::ProgramStateRef state

const clang::ento::SVal& cond

bool assumption

¶template <typename CHECKER>
static void _register(
    CHECKER* checker,
    clang::ento::CheckerManager& mgr)

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:469

Templates

CHECKER

Parameters

CHECKER* checker

clang::ento::CheckerManager& mgr