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
- public ConditionTruthVal(bool constraint)
- public ConditionTruthVal()
- public bool getValue() const
- public bool isConstrained() const
- public bool isConstrainedFalse() const
- public bool isConstrainedTrue() const
- public bool isUnderconstrained() const
Methods
¶ConditionTruthVal(bool constraint)
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()
ConditionTruthVal()
Description
Construct a ConstraintVal indicating the constraint is underconstrained.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:47
¶bool getValue() const
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
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
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
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
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