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.

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.

virtual TRITON_EXPORT	~AbstractNode ()
	Destructor.

TRITON_EXPORT SharedAstContext	getContext (void) const
	Access to its context.

TRITON_EXPORT triton::ast::ast_e	getType (void) const
	Returns the type of the node.

TRITON_EXPORT triton::uint32	getBitvectorSize (void) const
	Returns the size of the node.

TRITON_EXPORT triton::uint512	getBitvectorMask (void) const
	Returns the vector mask according the size of the node.

TRITON_EXPORT bool	isArray (void) const
	Returns true if it's an array node.

TRITON_EXPORT bool	isSigned (void) const
	According to the size of the expression, returns true if the MSB is 1.

TRITON_EXPORT bool	isSymbolized (void) const
	Returns true if the tree contains a symbolic variable.

TRITON_EXPORT bool	isLogical (void) const
	Returns true if it's a logical node.

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.

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.

TRITON_EXPORT bool	equalTo (const SharedAbstractNode &other) const
	Returns true if the current tree is equal to the second one.

TRITON_EXPORT triton::uint32	getLevel (void) const
	Returns the deep level of the tree.

TRITON_EXPORT triton::uint512	getHash (void) const
	Returns the hash of the tree.

TRITON_EXPORT triton::uint512	evaluate (void) const
	Evaluates the tree.

void	initParents (void)
	Initializes parents.

TRITON_EXPORT std::vector< SharedAbstractNode > &	getChildren (void)
	Returns the children of the node.

TRITON_EXPORT std::vector< SharedAbstractNode >	getParents (void)
	Returns the parents of node or an empty set if there is still no parent defined.

TRITON_EXPORT void	removeParent (AbstractNode *p)
	Removes a parent node.

TRITON_EXPORT void	setParent (AbstractNode *p)
	Sets a parent node.

TRITON_EXPORT void	setParent (std::unordered_set< AbstractNode * > &p)
	Sets the parent nodes.

TRITON_EXPORT void	setBitvectorSize (triton::uint32 size)
	Sets the size of the node.

TRITON_EXPORT void	addChild (const SharedAbstractNode &child)
	Adds a child.

TRITON_EXPORT void	setChild (triton::uint32 index, const SharedAbstractNode &child)
	Sets a child at an index.

TRITON_EXPORT std::string	str (void) const
	Returns the string representation of the node.

Protected Attributes
triton::engines::symbolic::SharedSymbolicExpression	expr

Protected Attributes inherited from triton::ast::AbstractNode
triton::uint32	level
	Deep level for computing hash.

triton::ast::ast_e	type
	The type of the node.

std::vector< SharedAbstractNode >	children
	The children of the node.

std::unordered_map< AbstractNode *, std::pair< triton::uint32, WeakAbstractNode > >	parents

triton::uint32	size
	The size of the node.

triton::uint512	eval
	The value of the tree from this root node.

triton::uint512	hash
	The hash of the tree.

bool	symbolized
	True if the tree contains a symbolic variable.

bool	logical
	True if it's a logical node.

bool	array
	True if it's an array node.

SharedAstContext	ctxt
	Contect use to create this node.

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 3012 of file ast.cpp.

Member Function Documentation

◆ getSymbolicExpression()

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

Definition at line 3043 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 3018 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:

/Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/ast.hpp
/Users/jonathan/Works/Tools/Triton/src/libtriton/ast/ast.cpp

Public Member Functions

Protected Attributes