retdec
Public Types | Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes | List of all members
retdec::llvmir2hll::LtEqOpExpr Class Referencefinal

A less-than-or-equal operator. More...

#include <lt_eq_op_expr.h>

Inheritance diagram for retdec::llvmir2hll::LtEqOpExpr:
Inheritance graph
[legend]
Collaboration diagram for retdec::llvmir2hll::LtEqOpExpr:
Collaboration graph
[legend]

Public Types

enum class  Variant { UCmp , SCmp }
 Variants of the operator. More...
 
- Public Types inherited from retdec::llvmir2hll::Subject< Value >
using ConcreteObserver = Observer< Value, Value >
 A concrete observer. More...
 
using ObserverPtr = WkPtr< ConcreteObserver >
 A pointer to an observer. More...
 

Public Member Functions

virtual bool isEqualTo (ShPtr< Value > otherValue) const override
 Returns true if this value is equal to otherValue, false otherwise. More...
 
virtual ShPtr< Valueclone () override
 Returns a clone of the value. More...
 
virtual ShPtr< TypegetType () const override
 Returns the type of the expression. More...
 
Variant getVariant () const
 Returns variant of operation. More...
 
Visitor Interface
virtual void accept (Visitor *v) override
 Visitor pattern implementation. More...
 
- Public Member Functions inherited from retdec::llvmir2hll::BinaryOpExpr
virtual void replace (ShPtr< Expression > oldExpr, ShPtr< Expression > newExpr) override
 Replaces all occurrences of oldExpr with newExpr in the current expression. More...
 
ShPtr< ExpressiongetFirstOperand () const
 Returns the first operand. More...
 
ShPtr< ExpressiongetSecondOperand () 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...
 
virtual void update (ShPtr< Value > subject, ShPtr< Value > arg=nullptr) override
 Updates the operator according to the changes of subject. More...
 
- Public Member Functions inherited from retdec::llvmir2hll::Value
virtual ~Value ()=default
 
virtual ShPtr< ValuegetSelf () override
 Returns a shared pointer of self. More...
 
std::string getTextRepr ()
 Returns a textual representation of the value. More...
 
- Public Member Functions inherited from retdec::llvmir2hll::Metadatable< std::string >
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...
 
- Public Member Functions inherited from retdec::llvmir2hll::Observer< Value >
 Observer ()=default
 Creates a new observer. More...
 
virtual ~Observer ()=default
 Destructs the observer. More...
 
- Public Member Functions inherited from retdec::llvmir2hll::Subject< Value >
 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< LtEqOpExprcreate (ShPtr< Expression > op1, ShPtr< Expression > op2, Variant variant=Variant::UCmp)
 Creates a new less-than-or-equal operator. More...
 
- Static Public Member Functions inherited from retdec::llvmir2hll::Expression
static void replaceExpression (ShPtr< Expression > oldExpr, ShPtr< Expression > newExpr)
 Replaces oldExpr with newExpr. More...
 

Private Member Functions

 LtEqOpExpr (ShPtr< Expression > op1, ShPtr< Expression > op2, Variant variant=Variant::UCmp)
 Constructs a less-than-or-equal operator. More...
 

Private Attributes

Variant variant
 Variant of the operation. More...
 

Additional Inherited Members

- Protected Types inherited from retdec::llvmir2hll::Subject< Value >
using ObserverContainer = std::vector< ObserverPtr >
 A container to store observers. More...
 
using observer_iterator = typename ObserverContainer::const_iterator
 
- Protected Member Functions inherited from retdec::llvmir2hll::BinaryOpExpr
 BinaryOpExpr (ShPtr< Expression > op1, ShPtr< Expression > op2)
 Constructs a binary operator. More...
 
- Protected Member Functions inherited from retdec::llvmir2hll::Expression
 Expression ()=default
 
- Protected Member Functions inherited from retdec::llvmir2hll::Value
 Value ()=default
 
- Protected Member Functions inherited from retdec::llvmir2hll::Visitable
 Visitable ()=default
 
 ~Visitable ()=default
 
- Protected Member Functions inherited from retdec::llvmir2hll::Metadatable< std::string >
 Metadatable ()
 Constructs a new metadatable object. More...
 
- Protected Member Functions inherited from retdec::llvmir2hll::Subject< Value >
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 inherited from retdec::llvmir2hll::BinaryOpExpr
ShPtr< Expressionop1
 First operand. More...
 
ShPtr< Expressionop2
 Second operand. More...
 

Detailed Description

A less-than-or-equal operator.

This operator has the same meaning as the '<=' operator in C.

Use create() to create instances. Instances of this class have reference object semantics. This class is not meant to be subclassed.

Member Enumeration Documentation

◆ Variant

Variants of the operator.

Enumerator
UCmp 
SCmp 

Unsigned compare.

Signed compare.

Constructor & Destructor Documentation

◆ LtEqOpExpr()

retdec::llvmir2hll::LtEqOpExpr::LtEqOpExpr ( ShPtr< Expression op1,
ShPtr< Expression op2,
Variant  variant = Variant::UCmp 
)
private

Constructs a less-than-or-equal operator.

See create() for more information.

Member Function Documentation

◆ accept()

void retdec::llvmir2hll::LtEqOpExpr::accept ( Visitor v)
overridevirtual

Visitor pattern implementation.

Subclasses should implement this method as:

v->visit(ucast<T>(shared_from_this()));

where T is the name of the subclass, and shared_from_this() and ucast<> are from Decompiler/Support/SmartPtr.h.

Implements retdec::llvmir2hll::Visitable.

◆ clone()

ShPtr< Value > retdec::llvmir2hll::LtEqOpExpr::clone ( )
overridevirtual

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:

  • predecessors and successors of statements

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.

◆ create()

ShPtr< LtEqOpExpr > retdec::llvmir2hll::LtEqOpExpr::create ( ShPtr< Expression op1,
ShPtr< Expression op2,
Variant  variant = Variant::UCmp 
)
static

Creates a new less-than-or-equal operator.

Parameters
[in]op1First operand.
[in]op2Second operand.
[in]variantVariant of the operator (signed or unsigned).
Preconditions
  • both operands are non-null

◆ getType()

ShPtr< Type > retdec::llvmir2hll::LtEqOpExpr::getType ( ) const
overridevirtual

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.

Reimplemented from retdec::llvmir2hll::BinaryOpExpr.

◆ getVariant()

LtEqOpExpr::Variant retdec::llvmir2hll::LtEqOpExpr::getVariant ( ) const

Returns variant of operation.

◆ isEqualTo()

bool retdec::llvmir2hll::LtEqOpExpr::isEqualTo ( ShPtr< Value otherValue) const
overridevirtual

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.

Member Data Documentation

◆ variant

Variant retdec::llvmir2hll::LtEqOpExpr::variant
private

Variant of the operation.


The documentation for this class was generated from the following files: