clang
15.0.0git
|
Models a boolean negation. More...
#include "clang/Analysis/FlowSensitive/Value.h"
Public Member Functions | |
NegationValue (BoolValue &SubVal) | |
BoolValue & | getSubVal () const |
Returns the sub-value of the negation. More... | |
![]() | |
BoolValue (Kind ValueKind) | |
![]() | |
Value (Kind ValKind) | |
Value (const Value &)=delete | |
Value & | operator= (const Value &)=delete |
virtual | ~Value ()=default |
Kind | getKind () const |
Value * | getProperty (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 bool | classof (const Value *Val) |
Additional Inherited Members | |
![]() | |
enum | Kind { Kind::Integer, Kind::Reference, Kind::Pointer, Kind::Struct, Kind::AtomicBool, Kind::Conjunction, Kind::Disjunction, Kind::Negation } |
|
inlineexplicit |
Definition at line 154 of file Value.h.
References clang::dataflow::Value::getKind(), and clang::dataflow::Value::Negation.
|
inline |