retdec
|
A representation of an integer type. More...
#include <int_type.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... | |
unsigned | getSize () const |
Returns the number of bits. More... | |
bool | isSigned () const |
Returns true if the integer is signed, false otherwise. More... | |
bool | isUnsigned () const |
Returns true if the integer is unsigned, false otherwise. More... | |
bool | isBool () const |
Returns true if the type is bool, false otherwise. More... | |
Visitor Interface | |
virtual void | accept (Visitor *v) override |
Visitor pattern implementation. More... | |
![]() | |
virtual | ~Type ()=default |
![]() | |
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< IntType > | create (unsigned size, bool isSigned=true) |
Creates a new integer type. More... | |
Private Types | |
using | SizeToIntTypeMap = std::map< unsigned, ShPtr< IntType > > |
Mapping of integer sizes into IntType instances. More... | |
Private Member Functions | |
IntType (unsigned size, bool isSigned=false) | |
Constructs a new integer type. More... | |
Private Attributes | |
unsigned | size |
Number of bits (size of the integer). More... | |
bool | signedInt |
Is the integer signed? More... | |
Static Private Attributes | |
static SizeToIntTypeMap | createdSignedTypes |
Set of already created signed integer types of the given size. More... | |
static SizeToIntTypeMap | createdUnsignedTypes |
Set of already created unsigned integer types of the given size. 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 |
![]() | |
Type ()=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 representation of an integer type.
Use create() to create instances. Instances of this class have reference object semantics. This class is not meant to be subclassed.
|
private |
Mapping of integer sizes into IntType instances.
|
private |
Constructs a new integer type.
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.
Creates a new integer type.
[in] | size | Number of bits. |
[in] | isSigned | If true , the integer will be signed; otherwise, it will be unsigned. |
unsigned retdec::llvmir2hll::IntType::getSize | ( | ) | const |
Returns the number of bits.
bool retdec::llvmir2hll::IntType::isBool | ( | ) | const |
Returns true
if the type is bool, false
otherwise.
An integer type is bool if its size is 1.
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::IntType::isSigned | ( | ) | const |
Returns true
if the integer is signed, false
otherwise.
An integer can be either signed or unsigned.
bool retdec::llvmir2hll::IntType::isUnsigned | ( | ) | const |
Returns true
if the integer is unsigned, false
otherwise.
An integer can be either signed or unsigned.
|
staticprivate |
Set of already created signed integer types of the given size.
|
staticprivate |
Set of already created unsigned integer types of the given size.
|
private |
Is the integer signed?
|
private |
Number of bits (size of the integer).