Pseudo code of SMT AST. More...

#include <astRepresentation.hpp>

Public Member Functions
TRITON_EXPORT	AstRepresentation ()
	Constructor.

TRITON_EXPORT	AstRepresentation (const AstRepresentation &other)
	Constructor.

TRITON_EXPORT AstRepresentation &	operator= (const AstRepresentation &other)
	Operator.

TRITON_EXPORT triton::ast::representations::mode_e	getMode (void) const
	Returns the representation mode.

TRITON_EXPORT void	setMode (triton::ast::representations::mode_e mode)
	Sets the representation mode.

TRITON_EXPORT std::ostream &	print (std::ostream &stream, AbstractNode *node)
	Prints the node according to the current representation mode.

Protected Attributes
triton::ast::representations::mode_e	mode
	The representation mode.

std::unique_ptr< triton::ast::representations::AstRepresentationInterface >	representations [triton::ast::representations::LAST_REPRESENTATION]
	AstRepresentation interface.

Detailed Description

Pseudo code of SMT AST.

Definition at line 45 of file astRepresentation.hpp.

Constructor & Destructor Documentation

◆ AstRepresentation() [1/2]

triton::ast::representations::AstRepresentation::AstRepresentation ( )

Constructor.

Definition at line 23 of file astRepresentation.cpp.

◆ AstRepresentation() [2/2]

triton::ast::representations::AstRepresentation::AstRepresentation ( const AstRepresentation & other )

Constructor.

Definition at line 43 of file astRepresentation.cpp.

Member Function Documentation

◆ getMode()

triton::ast::representations::mode_e triton::ast::representations::AstRepresentation::getMode ( void ) const

Returns the representation mode.

Definition at line 55 of file astRepresentation.cpp.

◆ operator=()

AstRepresentation & triton::ast::representations::AstRepresentation::operator= ( const AstRepresentation & other )

Operator.

Definition at line 49 of file astRepresentation.cpp.

◆ print()

std::ostream & triton::ast::representations::AstRepresentation::print	(	std::ostream &	stream,
		AbstractNode *	node )

Prints the node according to the current representation mode.

Definition at line 67 of file astRepresentation.cpp.

◆ setMode()

void triton::ast::representations::AstRepresentation::setMode ( triton::ast::representations::mode_e mode )

Sets the representation mode.

Definition at line 60 of file astRepresentation.cpp.

Member Data Documentation

◆ mode

triton::ast::representations::mode_e triton::ast::representations::AstRepresentation::mode

protected

The representation mode.

Definition at line 48 of file astRepresentation.hpp.

◆ representations

std::unique_ptr<triton::ast::representations::AstRepresentationInterface> triton::ast::representations::AstRepresentation::representations[triton::ast::representations::LAST_REPRESENTATION]