clang  15.0.0git
Public Member Functions | Static Public Member Functions | List of all members
clang::dataflow::NegationValue Class Reference

Models a boolean negation. More...

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

Inheritance diagram for clang::dataflow::NegationValue:
Inheritance graph
Collaboration diagram for clang::dataflow::NegationValue:
Collaboration graph

Public Member Functions

 NegationValue (BoolValue &SubVal)
BoolValuegetSubVal () const
 Returns the sub-value of the negation. More...
- Public Member Functions inherited from clang::dataflow::BoolValue
 BoolValue (Kind ValueKind)
- 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. More...
void setProperty (llvm::StringRef Name, Value &Val)
 Assigns Val as the value of the synthetic property with the given Name. More...

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  Kind {
  Kind::Integer, Kind::Reference, Kind::Pointer, Kind::Struct,
  Kind::AtomicBool, Kind::Conjunction, Kind::Disjunction, Kind::Negation

Detailed Description

Models a boolean negation.

Definition at line 149 of file Value.h.

Constructor & Destructor Documentation

◆ NegationValue()

clang::dataflow::NegationValue::NegationValue ( BoolValue SubVal)

Definition at line 151 of file Value.h.

Member Function Documentation

◆ classof()

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

Definition at line 154 of file Value.h.

References clang::dataflow::Value::getKind(), and clang::dataflow::Value::Negation.

◆ getSubVal()

BoolValue& clang::dataflow::NegationValue::getSubVal ( ) const

Returns the sub-value of the negation.

Definition at line 159 of file Value.h.

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