clang
6.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
Public Member Functions | |
ConditionTruthVal (bool constraint) | |
Construct a ConditionTruthVal indicating the constraint is constrained to either true or false, depending on the boolean value provided. More... | |
ConditionTruthVal () | |
Construct a ConstraintVal indicating the constraint is underconstrained. More... | |
bool | isConstrainedTrue () const |
Return true if the constraint is perfectly constrained to 'true'. More... | |
bool | isConstrainedFalse () const |
Return true if the constraint is perfectly constrained to 'false'. More... | |
bool | isConstrained () const |
Return true if the constrained is perfectly constrained. More... | |
bool | isUnderconstrained () const |
Return true if the constrained is underconstrained and we do not know if the constraint is true of value. More... | |
Definition at line 30 of file ConstraintManager.h.
|
inline |
Construct a ConditionTruthVal indicating the constraint is constrained to either true or false, depending on the boolean value provided.
Definition at line 35 of file ConstraintManager.h.
|
inline |
Construct a ConstraintVal indicating the constraint is underconstrained.
Definition at line 38 of file ConstraintManager.h.
|
inline |
Return true if the constrained is perfectly constrained.
Definition at line 51 of file ConstraintManager.h.
|
inline |
Return true if the constraint is perfectly constrained to 'false'.
Definition at line 46 of file ConstraintManager.h.
Referenced by getNullConstraint().
|
inline |
Return true if the constraint is perfectly constrained to 'true'.
Definition at line 41 of file ConstraintManager.h.
Referenced by didPreviousFreeFail(), getNullConstraint(), and isLeaked().
|
inline |
Return true if the constrained is underconstrained and we do not know if the constraint is true of value.
Definition at line 57 of file ConstraintManager.h.