Struct zmbt::lang::EvalLog¶

ClassList > zmbt > lang > EvalLog

#include <eval_log.hpp>

Public Attributes¶

Type	Name
std::shared_ptr< boost::json::array >	stack

Public Functions¶

Type	Name
	EvalLog () = default Default instance with null log stack.
void	push (Expression const & expr, Expression const & x, Expression const & result, std::uint64_t const depth) const Push record to log stack.
boost::json::string	str (int const indent=0) const Stringify log.

Public Static Functions¶

Type	Name
void	format (std::ostream & os, boost::json::array const & log, int const indent=0)
EvalLog	make () Make non-empty EvalLog .

Public Attributes Documentation¶

variable stack¶

std::shared_ptr<boost::json::array> zmbt::lang::EvalLog::stack;

Public Functions Documentation¶

function EvalLog¶

Default instance with null log stack.

zmbt::lang::EvalLog::EvalLog () = default

function push¶

Push record to log stack.

void zmbt::lang::EvalLog::push (
    Expression const & expr,
    Expression const & x,
    Expression const & result,
    std::uint64_t const depth
) const

function str¶

Stringify log.

boost::json::string zmbt::lang::EvalLog::str (
    int const indent=0
) const

Public Static Functions Documentation¶

function format¶

static void zmbt::lang::EvalLog::format (
    std::ostream & os,
    boost::json::array const & log,
    int const indent=0
)

function make¶

Make non-empty EvalLog .

static EvalLog zmbt::lang::EvalLog::make ()

Friends Documentation¶

friend operator<<¶

std::ostream & zmbt::lang::EvalLog::operator<< (
    std::ostream & os,
    EvalLog const & log
)

The documentation for this class was generated from the following file zmbt-framework/zmbt-framework/backends/cxx/include/zmbt/expr/eval_log.hpp