retdec
|
A float constant. More...
#include <const_float.h>
Public Types | |
using | Type = llvm::APFloat |
Underlying floating-point type. More... | |
![]() | |
using | ConcreteObserver = Observer< Value, Value > |
A concrete observer. More... | |
using | ObserverPtr = WkPtr< ConcreteObserver > |
A pointer to an observer. More... | |
Public Member Functions | |
virtual ShPtr< Value > | clone () override |
Returns a clone of the value. More... | |
virtual bool | isEqualTo (ShPtr< Value > otherValue) const override |
Returns true if this value is equal to otherValue, false otherwise. More... | |
virtual ShPtr< retdec::llvmir2hll::Type > | getType () const override |
Returns the type of the expression. More... | |
virtual void | replace (ShPtr< Expression > oldExpr, ShPtr< Expression > newExpr) override |
Replaces all occurrences of oldExpr with newExpr in the current expression. More... | |
Type | getValue () const |
Returns the constant's value. More... | |
unsigned | getSize () const |
Returns the number of bits of the constant's type. More... | |
std::string | toString (unsigned precision=0, unsigned maxPadding=0) const |
Converts the constant into a decimal string. More... | |
std::string | toMostReadableString () const |
Converts the constant into the most readable decimal representation. More... | |
void | flipSign () |
Flip the sign of value. More... | |
bool | isNegative () const |
Determines whether the float constant is negative (< 0). More... | |
bool | isNegativeOne () const |
Determines whether the float constant is negative one. More... | |
bool | isPositive () const |
Determines whether the float constant is positive (> 0). More... | |
bool | isZero () const |
Determines whether the float constant is zero. More... | |
Visitor Interface | |
virtual void | accept (Visitor *v) override |
Visitor pattern implementation. More... | |
![]() | |
virtual | ~Value ()=default |
virtual ShPtr< Value > | getSelf () override |
Returns a shared pointer of self. More... | |
std::string | getTextRepr () |
Returns a textual representation of the value. More... | |
![]() | |
void | setMetadata (std::string data) |
Attaches new metadata. More... | |
std::string | getMetadata () const |
Returns the attached metadata. More... | |
bool | hasMetadata () const |
Are there any non-empty metadata? More... | |
![]() | |
Observer ()=default | |
Creates a new observer. More... | |
virtual | ~Observer ()=default |
Destructs the observer. More... | |
virtual void | update (ShPtr< Value > subject, ShPtr< Value > arg=nullptr) |
Subject has changed its state. More... | |
![]() | |
Subject () | |
Creates a new subject. More... | |
virtual | ~Subject ()=default |
Destructs the subject. More... | |
void | addObserver (ObserverPtr observer) |
Adds a new observer to the list of observers. More... | |
void | removeObserver (ObserverPtr observer) |
Removes the selected observer from the list of observers. More... | |
void | removeObservers () |
Removes all observers. More... | |
void | notifyObservers (ShPtr< Value > arg=nullptr) |
Notifies all observers by calling Observer::update() on them. More... | |
Static Public Member Functions | |
static ShPtr< ConstFloat > | create (Type value) |
Constructs a float constant initialized to the given value. More... | |
![]() | |
static void | replaceExpression (ShPtr< Expression > oldExpr, ShPtr< Expression > newExpr) |
Replaces oldExpr with newExpr. More... | |
Private Types | |
using | ToStringArgs = std::pair< unsigned, unsigned > |
Arguments of toString(). More... | |
Private Member Functions | |
ConstFloat (Type value) | |
Constructs a float constant initialized to the given value. More... | |
ToStringArgs | getToStringArgsForMostReadableString () const |
Returns the arguments for which toString() returns the most readable string. More... | |
Private Attributes | |
Type | value |
Value of the constant. More... | |
ShPtr< FloatType > | type |
Type of the constant. More... | |
Additional Inherited Members | |
![]() | |
using | ObserverContainer = std::vector< ObserverPtr > |
A container to store observers. More... | |
using | observer_iterator = typename ObserverContainer::const_iterator |
![]() | |
Constant ()=default | |
![]() | |
Expression ()=default | |
![]() | |
Value ()=default | |
![]() | |
Visitable ()=default | |
~Visitable ()=default | |
![]() | |
Metadatable () | |
Constructs a new metadatable object. More... | |
![]() | |
observer_iterator | observer_begin () const |
Returns a constant iterator to the first observer. More... | |
observer_iterator | observer_end () const |
Returns a constant iterator past the last observer. More... | |
A float constant.
Use create() to create instances. Instances of this class have reference object semantics. This class is not meant to be subclassed.
|
private |
Arguments of toString().
using retdec::llvmir2hll::ConstFloat::Type = llvm::APFloat |
Underlying floating-point type.
|
explicitprivate |
Constructs a float constant initialized to the given value.
See create() for more information.
|
overridevirtual |
Visitor pattern implementation.
Subclasses should implement this method as:
where T
is the name of the subclass, and shared_from_this() and ucast<>
are from Decompiler/Support/SmartPtr.h.
Implements retdec::llvmir2hll::Visitable.
Returns a clone of the value.
A clone is (in most cases) an exact copy of the value. This member function provides the copy mechanism for reference objects.
The following parts of values are not cloned:
The following subclasses of Value are not cloned, i.e. they are returned without any copying:
Statements in compound statements (i.e. statements where isCompound()
returns true
) are cloned without their successors; therefore, e.g., just the first statement of every if's clause is cloned.
Implements retdec::llvmir2hll::Value.
|
static |
Constructs a float constant initialized to the given value.
[in] | value | Value of the constant. |
void retdec::llvmir2hll::ConstFloat::flipSign | ( | ) |
Flip the sign of value.
unsigned retdec::llvmir2hll::ConstFloat::getSize | ( | ) | const |
Returns the number of bits of the constant's type.
|
private |
Returns the arguments for which toString() returns the most readable string.
Returns the type of the expression.
If an appropriate type cannot be detected, UnknownType
is returned. This may happen, for example, when a binary operator have its operands of incompatible type.
Implements retdec::llvmir2hll::Expression.
ConstFloat::Type retdec::llvmir2hll::ConstFloat::getValue | ( | ) | const |
Returns the constant's value.
Returns true
if this value is equal to otherValue, false
otherwise.
This member function brings the support of value object semantics into reference objects, namely equality based not only on identity.
This function doesn't consider observers, metadata, etc.
Implements retdec::llvmir2hll::Value.
bool retdec::llvmir2hll::ConstFloat::isNegative | ( | ) | const |
Determines whether the float constant is negative (< 0).
bool retdec::llvmir2hll::ConstFloat::isNegativeOne | ( | ) | const |
Determines whether the float constant is negative one.
bool retdec::llvmir2hll::ConstFloat::isPositive | ( | ) | const |
Determines whether the float constant is positive (> 0).
bool retdec::llvmir2hll::ConstFloat::isZero | ( | ) | const |
Determines whether the float constant is zero.
|
overridevirtual |
Replaces all occurrences of oldExpr with newExpr in the current expression.
[in] | oldExpr | Old expression to be replaced. |
[in] | newExpr | Replacement. |
Note that if oldExpr is the current expression on which this function is called, nothing gets replaced, i.e. the replacements are done only in the members of the current expression on which this function is called.
Implements retdec::llvmir2hll::Expression.
std::string retdec::llvmir2hll::ConstFloat::toMostReadableString | ( | ) | const |
Converts the constant into the most readable decimal representation.
If you want to have a finer control of the resulting form, use toString().
std::string retdec::llvmir2hll::ConstFloat::toString | ( | unsigned | precision = 0 , |
unsigned | maxPadding = 0 |
||
) | const |
Converts the constant into a decimal string.
The description of this function has been taken from the description of llvm::APFloat::toString().
[in] | precision | The maximum number of digits of precision to output. If there are fewer digits available, zero padding will not be used unless the value is integral and small enough to be expressed in precision digits. 0 means to use the natural precision of the number. |
[in] | maxPadding | The maximum number of zeros to consider inserting before falling back to scientific notation. 0 means to always use scientific notation. |
The resulting string has all characters lowercase.