retdec
|
A call expression. More...
#include <call_expr.h>
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< 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 > | getCalledExpr () const |
Returns the expression called by this call. More... | |
bool | hasArg (std::size_t n) const |
Returns true if the call has an n-th argument, false otherwise. More... | |
ShPtr< Expression > | getArg (std::size_t n) const |
Returns the n-th argument. More... | |
const ExprVector & | getArgs () const |
Returns the argument list. More... | |
std::size_t | getNumOfArgs () const |
Returns the number of arguments in the call. More... | |
void | setCalledExpr (ShPtr< Expression > newCalledExpr) |
Sets a new called expression. More... | |
void | setArgs (ExprVector newArgs) |
Sets a new argument list. More... | |
void | setArg (std::size_t position, ShPtr< Expression > newArg) |
Sets a new argument to the given position. More... | |
void | replaceArg (ShPtr< Expression > oldArg, ShPtr< Expression > newArg) |
Replaces oldArg with newArg. More... | |
Observer Interface | |
virtual void | update (ShPtr< Value > subject, ShPtr< Value > arg=nullptr) override |
Updates the statement according to the changes of subject. 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... | |
![]() | |
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< CallExpr > | create (ShPtr< Expression > calledExpr, ExprVector args=ExprVector()) |
Creates a new call expression. More... | |
![]() | |
static void | replaceExpression (ShPtr< Expression > oldExpr, ShPtr< Expression > newExpr) |
Replaces oldExpr with newExpr. More... | |
Private Member Functions | |
CallExpr (ShPtr< Expression > calledExpr, ExprVector args) | |
Constructs a new call expression. More... | |
Private Attributes | |
ShPtr< Expression > | calledExpr |
Expression that is called by this call. More... | |
ExprVector | args |
Arguments. More... | |
Additional Inherited Members | |
![]() | |
using | ConcreteObserver = Observer< Value, Value > |
A concrete observer. More... | |
using | ObserverPtr = WkPtr< ConcreteObserver > |
A pointer to an observer. More... | |
![]() | |
using | ObserverContainer = std::vector< ObserverPtr > |
A container to store observers. More... | |
using | observer_iterator = typename ObserverContainer::const_iterator |
![]() | |
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 call expression.
Use create() to create instances. Instances of this class have reference object semantics. This class is not meant to be subclassed.
|
private |
Constructs a new call expression.
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 |
Creates a new call expression.
[in] | calledExpr | Expression that is called by this call. |
[in] | args | Argument list. |
ShPtr< Expression > retdec::llvmir2hll::CallExpr::getArg | ( | std::size_t | n | ) | const |
Returns the n-th
argument.
The arguments are numbered in the following way:
0 < n <= NUM_OF_ARGS
, where NUM_OF_ARGS
is the number of arguments that the call has const ExprVector & retdec::llvmir2hll::CallExpr::getArgs | ( | ) | const |
Returns the argument list.
ShPtr< Expression > retdec::llvmir2hll::CallExpr::getCalledExpr | ( | ) | const |
Returns the expression called by this call.
std::size_t retdec::llvmir2hll::CallExpr::getNumOfArgs | ( | ) | const |
Returns the number of arguments in the call.
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.
bool retdec::llvmir2hll::CallExpr::hasArg | ( | std::size_t | n | ) | const |
Returns true
if the call has an n-th argument, false
otherwise.
The arguments are numbered in the following way:
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.
|
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::CallExpr::replaceArg | ( | ShPtr< Expression > | oldArg, |
ShPtr< Expression > | newArg | ||
) |
Replaces oldArg with newArg.
If oldArg does not correspond to any argument, this function does nothing.
void retdec::llvmir2hll::CallExpr::setArg | ( | std::size_t | position, |
ShPtr< Expression > | newArg | ||
) |
Sets a new argument to the given position.
[in] | position | Position on which the new argument is placed. |
[in] | newArg | New argument. |
void retdec::llvmir2hll::CallExpr::setArgs | ( | ExprVector | newArgs | ) |
Sets a new argument list.
void retdec::llvmir2hll::CallExpr::setCalledExpr | ( | ShPtr< Expression > | newCalledExpr | ) |
Sets a new called expression.
|
overridevirtual |
Updates the statement according to the changes of subject.
[in] | subject | Observable object. |
[in] | arg | Optional argument. |
Replaces subject with arg. For example, if subject is one of the arguments of this call, this function replaces it with arg.
This function does nothing when:
Reimplemented from retdec::llvmir2hll::Observer< Value >.
|
private |
Arguments.
|
private |
Expression that is called by this call.