PandA-2024.02
|
Public Member Functions | |
ValueRange (const RangeConstRef &range) | |
virtual | ~ValueRange ()=default |
ValueRange (const ValueRange &)=delete | |
ValueRange (ValueRange &&)=delete | |
ValueRange & | operator= (const ValueRange &)=delete |
ValueRange & | operator= (ValueRange &&)=delete |
virtual ValueRangeType | getValueId () const |
RangeConstRef | getRange () const |
Returns the range of this interval. More... | |
void | setRange (const RangeConstRef &newRange) |
Sets the range of this interval to another range. More... | |
virtual void | print (std::ostream &OS) const |
Pretty print. More... | |
std::string | ToString () const |
Static Public Member Functions | |
static bool | classof (ValueRange const *) |
Private Attributes | |
RangeConstRef | range |
Definition at line 1537 of file Range_Analysis.cpp.
|
explicit |
Definition at line 1576 of file Range_Analysis.cpp.
|
virtualdefault |
|
delete |
|
delete |
|
inlinestatic |
Definition at line 1555 of file Range_Analysis.cpp.
|
inline |
Returns the range of this interval.
Definition at line 1561 of file Range_Analysis.cpp.
Referenced by print(), and SymbRange::solveFuture().
|
inlinevirtual |
Reimplemented in SymbRange.
Definition at line 1551 of file Range_Analysis.cpp.
References ValueRangeId.
Referenced by SymbRange::classof().
|
delete |
|
delete |
|
virtual |
Pretty print.
Reimplemented in SymbRange.
Definition at line 1581 of file Range_Analysis.cpp.
References getRange().
Referenced by SymbRange::getBound(), operator<<(), and ToString().
|
inline |
Sets the range of this interval to another range.
Definition at line 1566 of file Range_Analysis.cpp.
References VarNode::print(), and VarNode::ToString().
std::string ValueRange::ToString | ( | ) | const |
Definition at line 1586 of file Range_Analysis.cpp.
References print().
Referenced by OpNode::getSink().
|
private |
Definition at line 1540 of file Range_Analysis.cpp.