#include <predicate.h>

Inheritance diagram for ledger::predicate_t:

Collaboration diagram for ledger::predicate_t:

Public Types
enum	check_expr_kind_t { EXPR_GENERAL , EXPR_ASSERTION , EXPR_CHECK }
typedef std::list< check_expr_pair >	check_expr_list
typedef std::pair< expr_t, check_expr_kind_t >	check_expr_pair
typedef intrusive_ptr< const op_t >	const_ptr_op_t
typedef function< result_type(call_scope_t &)>	func_t
typedef intrusive_ptr< op_t >	ptr_op_t
typedef value_t	result_type

Public Member Functions
result_type	calc ()
result_type	calc (scope_t &scope)
virtual void	compile (scope_t &scope)
value_t &	constant_value ()
const value_t &	constant_value () const
virtual string	context_to_str () const
virtual void	dump (std::ostream &out) const
string	dump_to_str () const
scope_t *	get_context ()
func_t &	get_function ()
ptr_op_t	get_op () throw ()
bool	is_constant () const
bool	is_function () const
virtual void	mark_uncompiled ()
virtual	operator bool () const throw ()
result_type	operator() (scope_t &scope)
void	parse (const string &str, const parse_flags_t &flags=PARSE_DEFAULT)
virtual void	parse (std::istream &in, const parse_flags_t &flags=PARSE_DEFAULT, const optional< string > &original_string=none)
	predicate_t (const keep_details_t &_what_to_keep=keep_details_t())
	predicate_t (const predicate_t &other)
	predicate_t (const string &str, const keep_details_t &_what_to_keep, const parse_flags_t &flags=PARSE_DEFAULT)
	predicate_t (ptr_op_t _ptr, const keep_details_t &_what_to_keep, scope_t *_context=NULL)
	predicate_t (std::istream &in, const keep_details_t &_what_to_keep, const parse_flags_t &flags=PARSE_DEFAULT)
result_type	preview (std::ostream &out, scope_t &scope) const
string	preview_to_str (scope_t &) const
virtual void	print (std::ostream &out) const
string	print_to_str () const
virtual value_t	real_calc (scope_t &scope)
void	recompile (scope_t &scope)
void	set_context (scope_t *scope)
void	set_text (const string &txt)
virtual string	text () const throw ()
virtual	~predicate_t ()

Public Attributes
keep_details_t	what_to_keep

Protected Attributes
bool	compiled
scope_t *	context
ptr_op_t	ptr
string	str

Detailed Description

Definition at line 50 of file predicate.h.

Member Typedef Documentation

◆ check_expr_list

typedef std::list<check_expr_pair> ledger::expr_t::check_expr_list

inherited

Definition at line 67 of file expr.h.

◆ check_expr_pair

typedef std::pair<expr_t, check_expr_kind_t> ledger::expr_t::check_expr_pair

inherited

Definition at line 66 of file expr.h.

◆ const_ptr_op_t

typedef intrusive_ptr<const op_t> ledger::expr_t::const_ptr_op_t

inherited

Definition at line 58 of file expr.h.

◆ func_t

typedef function<result_type (call_scope_t&)> ledger::expr_base_t< value_t >::func_t

inherited

Definition at line 75 of file exprbase.h.

◆ ptr_op_t

typedef intrusive_ptr<op_t> ledger::expr_t::ptr_op_t

inherited

Definition at line 57 of file expr.h.

◆ result_type

typedef value_t ledger::expr_base_t< value_t >::result_type

inherited

Definition at line 73 of file exprbase.h.

Member Enumeration Documentation

◆ check_expr_kind_t

enum ledger::expr_t::check_expr_kind_t

inherited

Enumerator
EXPR_GENERAL
EXPR_ASSERTION
EXPR_CHECK

Definition at line 60 of file expr.h.

Constructor & Destructor Documentation

◆ predicate_t() [1/5]

ledger::predicate_t::predicate_t ( const keep_details_t & _what_to_keep = keep_details_t() )

inline

Definition at line 55 of file predicate.h.

References predicate_t(), TRACE_CTOR, and what_to_keep.

Referenced by predicate_t(), predicate_t(), predicate_t(), predicate_t(), predicate_t(), and ~predicate_t().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ predicate_t() [2/5]

ledger::predicate_t::predicate_t ( const predicate_t & other )

inline

Definition at line 59 of file predicate.h.

References ledger::expr_t::expr_t(), predicate_t(), TRACE_CTOR, and what_to_keep.

Here is the call graph for this function:

◆ predicate_t() [3/5]

ledger::predicate_t::predicate_t	(	ptr_op_t	_ptr,
		const keep_details_t &	_what_to_keep,
		scope_t *	_context = NULL )

inline

Definition at line 63 of file predicate.h.

References ledger::expr_t::expr_t(), predicate_t(), TRACE_CTOR, and what_to_keep.

Here is the call graph for this function:

◆ predicate_t() [4/5]

ledger::predicate_t::predicate_t	(	const string &	str,
		const keep_details_t &	_what_to_keep,
		const parse_flags_t &	flags = PARSE_DEFAULT )

inline

Definition at line 69 of file predicate.h.

References ledger::expr_t::expr_t(), ledger::PARSE_DEFAULT, predicate_t(), ledger::expr_base_t< value_t >::str, TRACE_CTOR, and what_to_keep.

Here is the call graph for this function:

◆ predicate_t() [5/5]

ledger::predicate_t::predicate_t	(	std::istream &	in,
		const keep_details_t &	_what_to_keep,
		const parse_flags_t &	flags = PARSE_DEFAULT )

inline

Definition at line 75 of file predicate.h.

References ledger::expr_t::expr_t(), ledger::PARSE_DEFAULT, predicate_t(), TRACE_CTOR, and what_to_keep.

Here is the call graph for this function:

◆ ~predicate_t()

virtual ledger::predicate_t::~predicate_t ( )

inlinevirtual

Definition at line 81 of file predicate.h.

References predicate_t(), and TRACE_DTOR.

Here is the call graph for this function:

Member Function Documentation

◆ calc() [1/2]

result_type ledger::expr_base_t< value_t >::calc ( )

inlineinherited

Definition at line 180 of file exprbase.h.

References assert, ledger::expr_base_t< ResultType >::calc(), and context.

Here is the call graph for this function:

◆ calc() [2/2]

result_type ledger::expr_base_t< value_t >::calc ( scope_t & scope )

inlineinherited

Definition at line 155 of file exprbase.h.

References ledger::_log_stream, ledger::expr_base_t< ResultType >::compile(), compiled, DEBUG, ledger::expr_base_t< ResultType >::dump(), ledger::expr_base_t< ResultType >::real_calc(), SHOW_DEBUG, and str.

Here is the call graph for this function:

◆ compile()

virtual void ledger::expr_t::compile ( scope_t & scope )

virtualinherited

Reimplemented from ledger::expr_base_t< value_t >.

Reimplemented in ledger::merged_expr_t.

◆ constant_value() [1/2]

value_t & ledger::expr_t::constant_value ( )

inherited

◆ constant_value() [2/2]

const value_t & ledger::expr_t::constant_value ( ) const

inherited

◆ context_to_str()

virtual string ledger::expr_t::context_to_str ( ) const

virtualinherited

Reimplemented from ledger::expr_base_t< value_t >.

◆ dump()

virtual void ledger::expr_t::dump ( std::ostream & out ) const

virtualinherited

Reimplemented from ledger::expr_base_t< value_t >.

◆ dump_to_str()

string ledger::expr_base_t< value_t >::dump_to_str ( ) const

inlineinherited

Definition at line 201 of file exprbase.h.

References ledger::expr_base_t< ResultType >::dump().

Here is the call graph for this function:

◆ get_context()

scope_t * ledger::expr_base_t< value_t >::get_context ( )

inlineinherited

Definition at line 185 of file exprbase.h.

References context.

◆ get_function()

func_t & ledger::expr_t::get_function ( )

inherited

◆ get_op()

ptr_op_t ledger::expr_t::get_op	(		)
throw	(	)

inherited

References get_op().

Referenced by get_op().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ is_constant()

bool ledger::expr_t::is_constant ( ) const

inherited

◆ is_function()

bool ledger::expr_t::is_function ( ) const

inherited

◆ mark_uncompiled()

virtual void ledger::expr_base_t< value_t >::mark_uncompiled ( )

inlinevirtualinherited

Definition at line 134 of file exprbase.h.

References compiled.

◆ operator bool()

virtual ledger::expr_t::operator bool	(		)	const
throw	(	)

virtualinherited

Reimplemented from ledger::expr_base_t< value_t >.

◆ operator()()

result_type ledger::expr_base_t< value_t >::operator() ( scope_t & scope )

inlineinherited

Definition at line 151 of file exprbase.h.

References ledger::expr_base_t< ResultType >::calc().

Here is the call graph for this function:

◆ parse() [1/2]

void ledger::expr_t::parse	(	const string &	str,
		const parse_flags_t &	flags = PARSE_DEFAULT )

inlineinherited

Definition at line 88 of file expr.h.

References parse(), ledger::PARSE_DEFAULT, and ledger::expr_base_t< value_t >::str.

Referenced by parse().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ parse() [2/2]

virtual void ledger::expr_t::parse	(	std::istream &	in,
		const parse_flags_t &	flags = PARSE_DEFAULT,
		const optional< string > &	original_string = none )

virtualinherited

Reimplemented from ledger::expr_base_t< value_t >.

References ledger::PARSE_DEFAULT.

◆ preview()

result_type ledger::expr_base_t< value_t >::preview	(	std::ostream &	out,
		scope_t &	scope ) const

inlineinherited

Definition at line 215 of file exprbase.h.

References ledger::expr_base_t< ResultType >::calc(), ledger::expr_base_t< ResultType >::compile(), ledger::expr_base_t< ResultType >::dump(), ledger::expr_base_t< ResultType >::print(), and ledger::expr_base_t< ResultType >::text().

Here is the call graph for this function:

◆ preview_to_str()

string ledger::expr_base_t< value_t >::preview_to_str ( scope_t & ) const

inlineinherited

Definition at line 206 of file exprbase.h.

References ledger::expr_base_t< ResultType >::preview().

Here is the call graph for this function:

◆ print()

virtual void ledger::expr_t::print ( std::ostream & out ) const

virtualinherited

Reimplemented from ledger::expr_base_t< value_t >.

◆ print_to_str()

string ledger::expr_base_t< value_t >::print_to_str ( ) const

inlineinherited

Definition at line 196 of file exprbase.h.

References ledger::expr_base_t< ResultType >::print().

Here is the call graph for this function:

◆ real_calc()

virtual value_t ledger::predicate_t::real_calc ( scope_t & scope )

inlinevirtual

Reimplemented from ledger::expr_t.

Definition at line 85 of file predicate.h.

References ledger::expr_t::real_calc(), and what_to_keep.

Here is the call graph for this function:

◆ recompile()

void ledger::expr_base_t< value_t >::recompile ( scope_t & scope )

inlineinherited

Definition at line 138 of file exprbase.h.

References ledger::expr_base_t< ResultType >::compile(), and compiled.

Here is the call graph for this function:

◆ set_context()

void ledger::expr_base_t< value_t >::set_context ( scope_t * scope )

inlineinherited

Definition at line 188 of file exprbase.h.

References context.

◆ set_text()

void ledger::expr_base_t< value_t >::set_text ( const string & txt )

inlineinherited

Definition at line 118 of file exprbase.h.

References compiled, and str.

◆ text()

virtual string ledger::expr_base_t< value_t >::text	(		)	const
throw	(	)

inlinevirtualinherited

Definition at line 115 of file exprbase.h.

References str.

Member Data Documentation

◆ compiled

bool ledger::expr_base_t< value_t >::compiled

protectedinherited

Definition at line 80 of file exprbase.h.

Referenced by calc(), compile(), expr_base_t(), expr_base_t(), mark_uncompiled(), operator=(), recompile(), and set_text().

◆ context

scope_t* ledger::expr_base_t< value_t >::context

protectedinherited

Definition at line 78 of file exprbase.h.

Referenced by calc(), compile(), expr_base_t(), expr_base_t(), get_context(), operator=(), ledger::expr_t::op_t::print(), and set_context().

◆ ptr

ptr_op_t ledger::expr_t::ptr

protectedinherited

Definition at line 70 of file expr.h.

◆ str

string ledger::expr_base_t< value_t >::str

protectedinherited

Definition at line 79 of file exprbase.h.

Referenced by calc(), expr_base_t(), operator bool(), operator=(), ledger::expr_t::parse(), ledger::predicate_t::predicate_t(), set_text(), and text().

◆ what_to_keep

keep_details_t ledger::predicate_t::what_to_keep

Definition at line 53 of file predicate.h.

Referenced by predicate_t(), predicate_t(), predicate_t(), predicate_t(), predicate_t(), and real_calc().

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

predicate.h

Public Types

Public Member Functions

Public Attributes

Protected Attributes

Detailed Description

Member Typedef Documentation

◆ check_expr_list

◆ check_expr_pair

◆ const_ptr_op_t

◆ func_t

◆ ptr_op_t

◆ result_type

Member Enumeration Documentation

◆ check_expr_kind_t

Constructor & Destructor Documentation

◆ predicate_t() [1/5]

◆ predicate_t() [2/5]

◆ predicate_t() [3/5]

◆ predicate_t() [4/5]

◆ predicate_t() [5/5]

◆ ~predicate_t()

Member Function Documentation

◆ calc() [1/2]

◆ calc() [2/2]

◆ compile()

◆ constant_value() [1/2]

◆ constant_value() [2/2]

◆ context_to_str()

◆ dump()

◆ dump_to_str()

◆ get_context()

◆ get_function()

◆ get_op()

◆ is_constant()

◆ is_function()

◆ mark_uncompiled()

◆ operator bool()

◆ operator()()

◆ parse() [1/2]

◆ parse() [2/2]

◆ preview()

◆ preview_to_str()

◆ print()

◆ print_to_str()

◆ real_calc()

◆ recompile()

◆ set_context()

◆ set_text()

◆ text()

Member Data Documentation

◆ compiled

◆ context

◆ ptr

◆ str

◆ what_to_keep