class ConditionTruthVal

Declaration

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:38

Member Variables

private Optional<bool> Val

Method Overview

Methods

ConditionTruthVal(bool constraint)

Description

Construct a ConditionTruthVal indicating the constraint is constrained to either true or false, depending on the boolean value provided.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:44

Parameters

bool constraint

ConditionTruthVal()

Description

Construct a ConstraintVal indicating the constraint is underconstrained.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:47

bool getValue() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:51

Returns

Stored value, assuming that the value is known. Crashes otherwise.

bool isConstrained() const

Description

Return true if the constrained is perfectly constrained.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:62

bool isConstrainedFalse() const

Description

Return true if the constraint is perfectly constrained to 'false'.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:59

bool isConstrainedTrue() const

Description

Return true if the constraint is perfectly constrained to 'true'.

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

bool isUnderconstrained() const

Description

Return true if the constrained is underconstrained and we do not know if the constraint is true of value.

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