libTriton version 1.0 build 1588
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
triton::ast::ReferenceNode Class Reference

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::SharedSymbolicExpressiongetSymbolicExpression (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< SharedAbstractNodegetParents (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< SharedAbstractNodechildren
 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

Reference node.

Definition at line 789 of file ast.hpp.

Constructor & Destructor Documentation

◆ ReferenceNode()

triton::ast::ReferenceNode::ReferenceNode ( const triton::engines::symbolic::SharedSymbolicExpression expr)

Definition at line 3001 of file ast.cpp.

Member Function Documentation

◆ getSymbolicExpression()

const triton::engines::symbolic::SharedSymbolicExpression & triton::ast::ReferenceNode::getSymbolicExpression ( void  ) const

Definition at line 3032 of file ast.cpp.

◆ init()

void triton::ast::ReferenceNode::init ( bool  withParents = false)
virtual

Init properties of the node. If withParents is true, init also properties of parents.

Implements triton::ast::AbstractNode.

Definition at line 3007 of file ast.cpp.

Member Data Documentation

◆ expr

triton::engines::symbolic::SharedSymbolicExpression triton::ast::ReferenceNode::expr
protected

Definition at line 794 of file ast.hpp.


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