#include <exprtk.hpp>

Inheritance diagram for exprtk::details::assert_node< T >:

Collaboration diagram for exprtk::details::assert_node< T >:

Public Types
typedef expression_node< T > *	expression_ptr
typedef std::pair< expression_ptr, bool >	branch_t
typedef string_base_node< T > *	str_base_ptr
typedef assert_check::assert_context	assert_context_t
Public Types inherited from exprtk::details::expression_node< T >
enum	node_type { e_none , e_null , e_constant , e_unary , e_binary , e_binary_ext , e_trinary , e_quaternary , e_vararg , e_conditional , e_while , e_repeat , e_for , e_switch , e_mswitch , e_return , e_retenv , e_variable , e_stringvar , e_stringconst , e_stringvarrng , e_cstringvarrng , e_strgenrange , e_strconcat , e_stringvarsize , e_strswap , e_stringsize , e_stringvararg , e_function , e_vafunction , e_genfunction , e_strfunction , e_strcondition , e_strccondition , e_add , e_sub , e_mul , e_div , e_mod , e_pow , e_lt , e_lte , e_gt , e_gte , e_eq , e_ne , e_and , e_nand , e_or , e_nor , e_xor , e_xnor , e_in , e_like , e_ilike , e_inranges , e_ipow , e_ipowinv , e_abs , e_acos , e_acosh , e_asin , e_asinh , e_atan , e_atanh , e_ceil , e_cos , e_cosh , e_exp , e_expm1 , e_floor , e_log , e_log10 , e_log2 , e_log1p , e_neg , e_pos , e_round , e_sin , e_sinc , e_sinh , e_sqrt , e_tan , e_tanh , e_cot , e_sec , e_csc , e_r2d , e_d2r , e_d2g , e_g2d , e_notl , e_sgn , e_erf , e_erfc , e_ncdf , e_frac , e_trunc , e_uvouv , e_vov , e_cov , e_voc , e_vob , e_bov , e_cob , e_boc , e_vovov , e_vovoc , e_vocov , e_covov , e_covoc , e_vovovov , e_vovovoc , e_vovocov , e_vocovov , e_covovov , e_covocov , e_vocovoc , e_covovoc , e_vococov , e_sf3ext , e_sf4ext , e_nulleq , e_strass , e_vector , e_vecsize , e_vecelem , e_veccelem , e_vecelemrtc , e_veccelemrtc , e_rbvecelem , e_rbvecelemrtc , e_rbveccelem , e_rbveccelemrtc , e_vecinit , e_vecvalass , e_vecvecass , e_vecopvalass , e_vecopvecass , e_vecfunc , e_vecvecswap , e_vecvecineq , e_vecvalineq , e_valvecineq , e_vecvecarith , e_vecvalarith , e_valvecarith , e_vecunaryop , e_vecondition , e_break , e_continue , e_swap , e_assert }
typedef T	value_type
typedef expression_node< T > *	expression_ptr
typedef node_collector_interface< expression_node< T > >	nci_t
typedef nci_t::noderef_list_t	noderef_list_t
typedef node_depth_base< expression_node< T > >	ndb_t
Public Types inherited from exprtk::details::node_collector_interface< expression_node< T > >
typedef expression_node< T > *	node_ptr_t
typedef expression_node< T > **	node_pp_t
typedef std::vector< node_pp_t >	noderef_list_t
Public Types inherited from exprtk::details::node_depth_base< expression_node< T > >
typedef expression_node< T > *	node_ptr_t
typedef std::pair< node_ptr_t, bool >	nb_pair_t

Public Member Functions
	assert_node (expression_ptr assert_condition_node, expression_ptr assert_message_node, assert_check_ptr assert_check, const assert_context_t &context)
T	value () const
expression_node< T >::node_type	type () const
bool	valid () const
void	collect_nodes (typename expression_node< T >::noderef_list_t &node_delete_list)
std::size_t	node_depth () const
Public Member Functions inherited from exprtk::details::expression_node< T >
virtual	~expression_node ()
virtual expression_node< T > *	branch (const std::size_t &index=0) const
Public Member Functions inherited from exprtk::details::node_collector_interface< expression_node< T > >
virtual	~node_collector_interface ()
virtual void	collect_nodes (noderef_list_t &)
Public Member Functions inherited from exprtk::details::node_depth_base< expression_node< T > >
	node_depth_base ()
virtual	~node_depth_base ()
std::size_t	compute_node_depth (const expression_node< T > *const &node) const
std::size_t	compute_node_depth (const nb_pair_t &branch) const
std::size_t	compute_node_depth (const nb_pair_t(&branch)[N]) const
std::size_t	max_node_depth (const BranchType &n0, const BranchType &n1) const
std::size_t	max_node_depth (const BranchType &n0, const BranchType &n1, const BranchType &n2) const
std::size_t	max_node_depth (const BranchType &n0, const BranchType &n1, const BranchType &n2, const BranchType &n3) const
std::size_t	compute_node_depth (const BranchType &n0, const BranchType &n1) const
std::size_t	compute_node_depth (const BranchType &n0, const BranchType &n1, const BranchType &n2) const
std::size_t	compute_node_depth (const BranchType &n0, const BranchType &n1, const BranchType &n2, const BranchType &n3) const
std::size_t	compute_node_depth (const Sequence< node_ptr_t, Allocator > &branch_list) const
std::size_t	compute_node_depth (const Sequence< nb_pair_t, Allocator > &branch_list) const
void	collect (node_ptr_t const &node, const bool deletable, NodeSequence &delete_node_list) const
void	collect (const nb_pair_t &branch, NodeSequence &delete_node_list) const
void	collect (expression_node< T > *&node, NodeSequence &delete_node_list) const
void	collect (const nb_pair_t(&branch)[N], NodeSequence &delete_node_list) const
void	collect (const Sequence< nb_pair_t, Allocator > &branch, NodeSequence &delete_node_list) const
void	collect (const Sequence< node_ptr_t, Allocator > &branch_list, NodeSequence &delete_node_list) const
void	collect (const Sequence< node_ptr_t, AllocatorT > &branch_list, const Sequence< Boolean, AllocatorB > &branch_deletable_list, NodeSequence &delete_node_list) const

Private Attributes
branch_t	assert_condition_node_
branch_t	assert_message_node_
str_base_ptr	assert_message_str_base_
assert_check_ptr	assert_check_
assert_context_t	context_

Additional Inherited Members
Public Attributes inherited from exprtk::details::node_depth_base< expression_node< T > >
bool	depth_set
std::size_t	depth

Detailed Description

template<typename T>
class exprtk::details::assert_node< T >

Definition at line 11899 of file exprtk.hpp.

Member Typedef Documentation

◆ assert_context_t

template<typename T>

typedef assert_check::assert_context exprtk::details::assert_node< T >::assert_context_t

Definition at line 11906 of file exprtk.hpp.

◆ branch_t

template<typename T>

typedef std::pair<expression_ptr,bool> exprtk::details::assert_node< T >::branch_t

Definition at line 11904 of file exprtk.hpp.

◆ expression_ptr

template<typename T>

typedef expression_node<T>* exprtk::details::assert_node< T >::expression_ptr

Definition at line 11903 of file exprtk.hpp.

◆ str_base_ptr

template<typename T>

typedef string_base_node<T>* exprtk::details::assert_node< T >::str_base_ptr

Definition at line 11905 of file exprtk.hpp.

Constructor & Destructor Documentation

◆ assert_node()

template<typename T>

exprtk::details::assert_node< T >::assert_node	(	expression_ptr	assert_condition_node,
		expression_ptr	assert_message_node,
		assert_check_ptr	assert_check,
		const assert_context_t &	context )

inline

Definition at line 11908 of file exprtk.hpp.

         : assert_message_str_base_(0)
         , assert_check_(assert_check)
         , context_(context)
         {
            construct_branch_pair(assert_condition_node_, assert_condition_node);
            construct_branch_pair(assert_message_node_  , assert_message_node  );
 
            #ifndef exprtk_disable_string_capabilities
            if (
                  assert_message_node_.first &&
                  details::is_generally_string_node(assert_message_node_.first)
               )
            {
               assert_message_str_base_ = dynamic_cast<str_base_ptr>(assert_message_node_.first);
            }
            #endif
 
            assert(valid());
         }

References assert_check_, assert_condition_node_, assert_message_node_, assert_message_str_base_, exprtk::details::construct_branch_pair(), context_, exprtk::details::is_generally_string_node(), and valid().

Here is the call graph for this function:

Member Function Documentation

◆ collect_nodes()

template<typename T>

void exprtk::details::assert_node< T >::collect_nodes ( typename expression_node< T >::noderef_list_t & node_delete_list )

inline

Definition at line 11975 of file exprtk.hpp.

         {
            expression_node<T>::ndb_t::collect(assert_condition_node_, node_delete_list);
            expression_node<T>::ndb_t::collect(assert_message_node_  , node_delete_list);
         }

References assert_condition_node_, assert_message_node_, exprtk::details::node_depth_base< expression_node< T > >::collect(), and exprtk_override.

Here is the call graph for this function:

◆ node_depth()

template<typename T>

std::size_t exprtk::details::assert_node< T >::node_depth ( ) const

inlinevirtual

Reimplemented from exprtk::details::node_depth_base< expression_node< T > >.

Definition at line 11981 of file exprtk.hpp.

         {
            return expression_node<T>::ndb_t::compute_node_depth
               (assert_condition_node_, assert_message_node_);
         }

References assert_condition_node_, assert_message_node_, exprtk::details::node_depth_base< expression_node< T > >::compute_node_depth(), and exprtk_override.

Here is the call graph for this function:

◆ type()

template<typename T>

expression_node< T >::node_type exprtk::details::assert_node< T >::type ( ) const

inlinevirtual

Reimplemented from exprtk::details::expression_node< T >.

Definition at line 11952 of file exprtk.hpp.

         {
            return expression_node<T>::e_assert;
         }

References exprtk::details::expression_node< T >::e_assert, and exprtk_override.

◆ valid()

template<typename T>

bool exprtk::details::assert_node< T >::valid ( ) const

inlinevirtual

Reimplemented from exprtk::details::expression_node< T >.

Definition at line 11957 of file exprtk.hpp.

         {
            return (
                     assert_check_ &&
                     assert_condition_node_.first &&
                     assert_condition_node_.first->valid()
                   ) &&
                   (
                     (0 == assert_message_node_.first) ||
                     (
                       assert_message_node_.first &&
                       assert_message_str_base_   &&
                       assert_message_node_.first->valid() &&
                       details::is_generally_string_node(assert_message_node_.first)
                     )
                   );
         }

References assert_check_, assert_condition_node_, assert_message_node_, assert_message_str_base_, exprtk_override, and exprtk::details::is_generally_string_node().

Referenced by assert_node().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ value()

template<typename T>

T exprtk::details::assert_node< T >::value ( ) const

inlinevirtual

Reimplemented from exprtk::details::expression_node< T >.

Definition at line 11932 of file exprtk.hpp.

         {
            if (details::is_true(assert_condition_node_.first->value()))
            {
               return T(1);
            }
 
            #ifndef exprtk_disable_string_capabilities
            if (assert_message_node_.first)
            {
               assert_message_node_.first->value();
               assert(assert_message_str_base_);
               context_.message = assert_message_str_base_->str();
            }
            #endif
 
            assert_check_->handle_assert(context_);
            return T(0);
         }