clang 19.0.0git
Public Member Functions | Static Public Member Functions | List of all members
clang::dataflow::AtomicBoolValue Class Referencefinal

Models an atomic boolean. More...

#include "clang/Analysis/FlowSensitive/Value.h"

Inheritance diagram for clang::dataflow::AtomicBoolValue:
Inheritance graph

Public Member Functions

 AtomicBoolValue (const Formula &F)
Atom getAtom () const
- Public Member Functions inherited from clang::dataflow::BoolValue
 BoolValue (Kind ValueKind, const Formula &F)
const Formulaformula () const
- Public Member Functions inherited from clang::dataflow::Value
 Value (Kind ValKind)
 Value (const Value &)=delete
Valueoperator= (const Value &)=delete
virtual ~Value ()=default
Kind getKind () const
ValuegetProperty (llvm::StringRef Name) const
 Returns the value of the synthetic property with the given Name or null if the property isn't assigned a value.
void setProperty (llvm::StringRef Name, Value &Val)
 Assigns Val as the value of the synthetic property with the given Name.
llvm::iterator_range< llvm::StringMap< Value * >::const_iterator > properties () const

Static Public Member Functions

static bool classof (const Value *Val)
- Static Public Member Functions inherited from clang::dataflow::BoolValue
static bool classof (const Value *Val)

Additional Inherited Members

- Public Types inherited from clang::dataflow::Value
enum class  Kind {
  Integer , Pointer , TopBool , AtomicBool ,

Detailed Description

Models an atomic boolean.

FIXME: Merge this class into FormulaBoolValue. When we want to specify atom identity, use Atom.

Definition at line 133 of file Value.h.

Constructor & Destructor Documentation

◆ AtomicBoolValue()

clang::dataflow::AtomicBoolValue::AtomicBoolValue ( const Formula F)

Definition at line 135 of file Value.h.

References clang::dataflow::Formula::AtomRef, and clang::dataflow::Formula::kind().

Member Function Documentation

◆ classof()

static bool clang::dataflow::AtomicBoolValue::classof ( const Value Val)

◆ getAtom()

Atom clang::dataflow::AtomicBoolValue::getAtom ( ) const

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