clang  7.0.0svn
Public Member Functions | List of all members
clang::ento::ConditionTruthVal Class Reference

#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 getValue () const
 
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...
 

Detailed Description

Definition at line 30 of file ConstraintManager.h.

Constructor & Destructor Documentation

◆ ConditionTruthVal() [1/2]

clang::ento::ConditionTruthVal::ConditionTruthVal ( bool  constraint)
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.

◆ ConditionTruthVal() [2/2]

clang::ento::ConditionTruthVal::ConditionTruthVal ( )
inline

Construct a ConstraintVal indicating the constraint is underconstrained.

Definition at line 38 of file ConstraintManager.h.

Member Function Documentation

◆ getValue()

bool clang::ento::ConditionTruthVal::getValue ( ) const
inline
Returns
Stored value, assuming that the value is known. Crashes otherwise.

Definition at line 42 of file ConstraintManager.h.

Referenced by clang::ento::ProgramState::isNonNull().

◆ isConstrained()

bool clang::ento::ConditionTruthVal::isConstrained ( ) const
inline

Return true if the constrained is perfectly constrained.

Definition at line 57 of file ConstraintManager.h.

◆ isConstrainedFalse()

bool clang::ento::ConditionTruthVal::isConstrainedFalse ( ) const
inline

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

Definition at line 52 of file ConstraintManager.h.

Referenced by getNullConstraint().

◆ isConstrainedTrue()

bool clang::ento::ConditionTruthVal::isConstrainedTrue ( ) const
inline

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

Definition at line 47 of file ConstraintManager.h.

Referenced by didPreviousFreeFail(), getNullConstraint(), and isLeaked().

◆ isUnderconstrained()

bool clang::ento::ConditionTruthVal::isUnderconstrained ( ) const
inline

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

Definition at line 63 of file ConstraintManager.h.

Referenced by clang::ento::ProgramState::isNonNull().


The documentation for this class was generated from the following file: