Reference node. More...
#include <ast.hpp>
Inheritance diagram for triton::ast::ReferenceNode:
Public Member Functions | |
| TRITON_EXPORT | ReferenceNode (const triton::engines::symbolic::SharedSymbolicExpression &expr) |
| TRITON_EXPORT void | init (bool withParents=false) |
| Init properties of the node. If withParents is true, init also properties of parents. More... | |
| TRITON_EXPORT const triton::engines::symbolic::SharedSymbolicExpression & | getSymbolicExpression (void) const |
 Public Member Functions inherited from triton::ast::AbstractNode | |
| TRITON_EXPORT | AbstractNode (triton::ast::ast_e type, const SharedAstContext &ctxt) |
| Constructor. More... | |
| virtual TRITON_EXPORT | ~AbstractNode () |
| Destructor. More... | |
| TRITON_EXPORT SharedAstContext | getContext (void) const |
| Access to its context. More... | |
| TRITON_EXPORT triton::ast::ast_e | getType (void) const |
| Returns the type of the node. More... | |
| TRITON_EXPORT triton::uint32 | getBitvectorSize (void) const |
| Returns the size of the node. More... | |
| TRITON_EXPORT triton::uint512 | getBitvectorMask (void) const |
| Returns the vector mask according the size of the node. More... | |
| TRITON_EXPORT bool | isArray (void) const |
| Returns true if it's an array node. More... | |
| TRITON_EXPORT bool | isSigned (void) const |
| According to the size of the expression, returns true if the MSB is 1. More... | |
| TRITON_EXPORT bool | isSymbolized (void) const |
| Returns true if the tree contains a symbolic variable. More... | |
| TRITON_EXPORT bool | isLogical (void) const |
| Returns true if it's a logical node. More... | |
| TRITON_EXPORT bool | hasSameConcreteValueAndTypeAs (const SharedAbstractNode &other) const |
| Returns true if the node's concrete value and value type match those of the second one. More... | |
| TRITON_EXPORT bool | canReplaceNodeWithoutUpdate (const SharedAbstractNode &other) const |
| Returns true if the node's value, value type and properties match those of the second one. More... | |
| TRITON_EXPORT bool | equalTo (const SharedAbstractNode &other) const |
| Returns true if the current tree is equal to the second one. More... | |
| TRITON_EXPORT triton::uint32 | getLevel (void) const |
| Returns the deep level of the tree. More... | |
| TRITON_EXPORT triton::uint512 | getHash (void) const |
| Returns the hash of the tree. More... | |
| TRITON_EXPORT triton::uint512 | evaluate (void) const |
| Evaluates the tree. More... | |
| void | initParents (void) |
| Initializes parents. More... | |
| TRITON_EXPORT std::vector< SharedAbstractNode > & | getChildren (void) |
| Returns the children of the node. More... | |
| TRITON_EXPORT std::vector< SharedAbstractNode > | getParents (void) |
| Returns the parents of node or an empty set if there is still no parent defined. More... | |
| TRITON_EXPORT void | removeParent (AbstractNode *p) |
| Removes a parent node. More... | |
| TRITON_EXPORT void | setParent (AbstractNode *p) |
| Sets a parent node. More... | |
| TRITON_EXPORT void | setParent (std::unordered_set< AbstractNode * > &p) |
| Sets the parent nodes. More... | |
| TRITON_EXPORT void | setBitvectorSize (triton::uint32 size) |
| Sets the size of the node. More... | |
| TRITON_EXPORT void | addChild (const SharedAbstractNode &child) |
| Adds a child. More... | |
| TRITON_EXPORT void | setChild (triton::uint32 index, const SharedAbstractNode &child) |
| Sets a child at an index. More... | |
| TRITON_EXPORT std::string | str (void) const |
| Returns the string representation of the node. More... | |
| virtual TRITON_EXPORT void | init (bool withParents=false)=0 |
| Init properties of the node. If withParents is true, init also properties of parents. More... | |
Protected Attributes | |
| triton::engines::symbolic::SharedSymbolicExpression | expr |
| Protected Attributes inherited from triton::ast::AbstractNode | |
| triton::uint32 | level |
| Deep level for computing hash. More... | |
| triton::ast::ast_e | type |
| The type of the node. More... | |
| std::vector< SharedAbstractNode > | children |
| The children of the node. More... | |
| std::unordered_map< AbstractNode *, std::pair< triton::uint32, WeakAbstractNode > > | parents |
| triton::uint32 | size |
| The size of the node. More... | |
| triton::uint512 | eval |
| The value of the tree from this root node. More... | |
| triton::uint512 | hash |
| The hash of the tree. More... | |
| bool | symbolized |
| True if the tree contains a symbolic variable. More... | |
| bool | logical |
| True if it's a logical node. More... | |
| bool | array |
| True if it's an array node. More... | |
| SharedAstContext | ctxt |
| Contect use to create this node. More... | |
Detailed Description
Constructor & Destructor Documentation
◆ ReferenceNode()
| triton::ast::ReferenceNode::ReferenceNode | ( | const triton::engines::symbolic::SharedSymbolicExpression & | expr | ) |
Member Function Documentation
◆ getSymbolicExpression()
| const triton::engines::symbolic::SharedSymbolicExpression & triton::ast::ReferenceNode::getSymbolicExpression | ( | void | ) | const |
◆ init()
|
virtual |
Init properties of the node. If withParents is true, init also properties of parents.
Implements triton::ast::AbstractNode.
Member Data Documentation
◆ expr
|
protected |
The documentation for this class was generated from the following files:
