clang
15.0.0git
|
Base class for all values computed by abstract interpretation. More...
#include "clang/Analysis/FlowSensitive/Value.h"
Public Types | |
enum | Kind { Kind::Integer, Kind::Reference, Kind::Pointer, Kind::Struct, Kind::AtomicBool, Kind::Conjunction, Kind::Disjunction, Kind::Negation } |
Public Member Functions | |
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... | |
Base class for all values computed by abstract interpretation.
Don't use Value
instances by value. All Value
instances are allocated and owned by DataflowAnalysisContext
.
|
strong |
|
delete |
|
virtualdefault |
|
inline |
Definition at line 58 of file Value.h.
Referenced by clang::dataflow::BoolValue::classof(), clang::dataflow::AtomicBoolValue::classof(), clang::dataflow::ConjunctionValue::classof(), clang::dataflow::DisjunctionValue::classof(), clang::dataflow::NegationValue::classof(), clang::dataflow::IntegerValue::classof(), clang::dataflow::ReferenceValue::classof(), clang::dataflow::PointerValue::classof(), and clang::dataflow::StructValue::classof().
|
inline |
|
inline |