libTriton  version 1.0 build 1532
Public Member Functions | Protected Attributes | List of all members
triton::ast::representations::AstRepresentation Class Reference

Pseudo code of SMT AST. More...

#include <astRepresentation.hpp>

Public Member Functions

TRITON_EXPORT AstRepresentation ()
 Constructor. More...
 
TRITON_EXPORT AstRepresentation (const AstRepresentation &other)
 Constructor. More...
 
TRITON_EXPORT AstRepresentationoperator= (const AstRepresentation &other)
 Operator. More...
 
TRITON_EXPORT triton::ast::representations::mode_e getMode (void) const
 Returns the representation mode. More...
 
TRITON_EXPORT void setMode (triton::ast::representations::mode_e mode)
 Sets the representation mode. More...
 
TRITON_EXPORT std::ostream & print (std::ostream &stream, AbstractNode *node)
 Prints the node according to the current representation mode. More...
 

Protected Attributes

triton::ast::representations::mode_e mode
 The representation mode. More...
 
std::unique_ptr< triton::ast::representations::AstRepresentationInterfacerepresentations [triton::ast::representations::LAST_REPRESENTATION]
 AstRepresentation interface. More...
 

Detailed Description

Pseudo code of SMT AST.

Definition at line 47 of file astRepresentation.hpp.

Constructor & Destructor Documentation

◆ AstRepresentation() [1/2]

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

Constructor.

Definition at line 20 of file astRepresentation.cpp.

◆ AstRepresentation() [2/2]

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

Constructor.

Definition at line 36 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 48 of file astRepresentation.cpp.

◆ operator=()

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

Operator.

Definition at line 42 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 60 of file astRepresentation.cpp.

◆ setMode()

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

Sets the representation mode.

Definition at line 53 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 50 of file astRepresentation.hpp.

◆ representations

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

AstRepresentation interface.

Definition at line 53 of file astRepresentation.hpp.


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