Base class for all values computed by abstract interpretation. More...
#include "clang/Analysis/FlowSensitive/Value.h"
Name
or null if the property isn't assigned a value.
Val
as the value of the synthetic property with the given Name
.
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
.
Definition at line 33 of file Value.h.
◆ Kind Enumerator Integer Pointer TopBool AtomicBool FormulaBoolDefinition at line 35 of file Value.h.
◆ Value() [1/2] clang::dataflow::Value::Value ( Kind ValKind ) inlineexplicitDefinition at line 45 of file Value.h.
◆ Value() [2/2] clang::dataflow::Value::Value ( const Value & ) delete ◆ ~Value() virtual clang::dataflow::Value::~Value ( ) virtualdefault ◆ getKind() Kind clang::dataflow::Value::getKind ( ) const inline ◆ getProperty() Value * clang::dataflow::Value::getProperty ( llvm::StringRef Name ) const inlineReturns the value of the synthetic property with the given Name
or null if the property isn't assigned a value.
Definition at line 59 of file Value.h.
◆ operator=() Value & clang::dataflow::Value::operator= ( const Value & ) delete ◆ properties() llvm::iterator_range< llvm::StringMap< Value * >::const_iterator > clang::dataflow::Value::properties ( ) const inline ◆ setProperty() void clang::dataflow::Value::setProperty ( llvm::StringRef Name, Value & Val ) inlineAssigns Val
as the value of the synthetic property with the given Name
.
Properties may not be set on RecordValue
s; use synthetic fields instead (for details, see documentation for RecordStorageLocation
).
Definition at line 68 of file Value.h.
The documentation for this class was generated from the following file:
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4