retdec
|
A base class for all binary operators. More...
#include <binary_op_expr.h>
Public Member Functions | |
virtual ShPtr< 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... | |
ShPtr< Expression > | getFirstOperand () const |
Returns the first operand. More... | |
ShPtr< Expression > | getSecondOperand () const |
Returns the second operand. More... | |
void | setFirstOperand (ShPtr< Expression > first) |
Sets the first operand. More... | |
void | setSecondOperand (ShPtr< Expression > second) |
Sets the second operand. More... | |
Observer Interface | |
virtual void | update (ShPtr< Value > subject, ShPtr< Value > arg=nullptr) override |
Updates the operator according to the changes of subject. More... | |
![]() | |
virtual | ~Value ()=default |
virtual ShPtr< Value > | getSelf () override |
Returns a shared pointer of self. More... | |
virtual ShPtr< Value > | clone ()=0 |
Returns a clone of the value. More... | |
virtual bool | isEqualTo (ShPtr< Value > otherValue) const =0 |
Returns true if this value is equal to otherValue, false otherwise. More... | |
std::string | getTextRepr () |
Returns a textual representation of the value. More... | |
![]() | |
virtual void | accept (Visitor *v)=0 |
Visitor pattern implementation. 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... | |
![]() | |
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... | |
Protected Member Functions | |
BinaryOpExpr (ShPtr< Expression > op1, ShPtr< Expression > op2) | |
Constructs a binary operator. More... | |
![]() | |
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... | |
Protected Attributes | |
ShPtr< Expression > | op1 |
First operand. More... | |
ShPtr< Expression > | op2 |
Second operand. More... | |
Additional Inherited Members | |
![]() | |
using | ConcreteObserver = Observer< Value, Value > |
A concrete observer. More... | |
using | ObserverPtr = WkPtr< ConcreteObserver > |
A pointer to an observer. More... | |
![]() | |
static void | replaceExpression (ShPtr< Expression > oldExpr, ShPtr< Expression > newExpr) |
Replaces oldExpr with newExpr. More... | |
![]() | |
using | ObserverContainer = std::vector< ObserverPtr > |
A container to store observers. More... | |
using | observer_iterator = typename ObserverContainer::const_iterator |
A base class for all binary operators.
Instances of this class have reference object semantics.
|
protected |
Constructs a binary operator.
[in] | op1 | First operand. |
[in] | op2 | Second operand. |
ShPtr< Expression > retdec::llvmir2hll::BinaryOpExpr::getFirstOperand | ( | ) | const |
Returns the first operand.
ShPtr< Expression > retdec::llvmir2hll::BinaryOpExpr::getSecondOperand | ( | ) | const |
Returns the second operand.
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.
Reimplemented in retdec::llvmir2hll::StructIndexOpExpr, retdec::llvmir2hll::OrOpExpr, retdec::llvmir2hll::NeqOpExpr, retdec::llvmir2hll::LtOpExpr, retdec::llvmir2hll::LtEqOpExpr, retdec::llvmir2hll::GtOpExpr, retdec::llvmir2hll::GtEqOpExpr, retdec::llvmir2hll::EqOpExpr, retdec::llvmir2hll::ArrayIndexOpExpr, and retdec::llvmir2hll::AndOpExpr.
|
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.
void retdec::llvmir2hll::BinaryOpExpr::setFirstOperand | ( | ShPtr< Expression > | first | ) |
Sets the first operand.
void retdec::llvmir2hll::BinaryOpExpr::setSecondOperand | ( | ShPtr< Expression > | second | ) |
Sets the second operand.
|
overridevirtual |
Updates the operator according to the changes of subject.
[in] | subject | Observable object. |
[in] | arg | Optional argument. |
Replaces subject with arg. For example, if subject is the first operand of the operator, this function replaces it with arg.
This function does nothing when:
Reimplemented from retdec::llvmir2hll::Observer< Value >.
|
protected |
First operand.
|
protected |
Second operand.