Block expression. More...

#include <blockExpr.hpp>

Inheritance diagram for by::blockExpr:

Public Member Functions
str	eval (const args &a) override

str	infer () const override

void	setEval (const node &newEval)
	Sets the node whose evaluation result will be returned by this block expression.

void	setEval (const node *it) BY_SIDE_FUNC(setEval)

const narr &	getStmts () const BY_CONST_FUNC(getStmts()) narr &getStmts()

void	rel () override

void	inFrame (const bicontainable *args) const override

void	outFrame () const override

void	onCloneDeep (const clonable &from) override

nbool	isAbstract () const
	Checks if this block expression is abstract.

Public Member Functions inherited from by::expr
scope &	subs () override

nbool	isImpli (const type &to) const override

priorType	prioritize (const args &a) const override

const src &	getSrc () const override

Public Member Functions inherited from by::node
me &	operator[] (const std::string &name)

const me &	operator[] (const std::string &name) const BY_CONST_FUNC(operator[](name))

me &	operator[] (const std::string *it)

const me &	operator[] (const std::string *it) const BY_CONST_FUNC(operator[](it))

me &	operator[] (const nchar *name)

const me &	operator[] (const nchar *name) const BY_CONST_FUNC(operator[](name))

nbool	in (const node &elem) const

nbool	in (const node *elem) const

const scope &	subs () const BY_CONST_FUNC(subs()) virtual tstr< nbicontainer > mySubs() const
	Returns a tstr to a container of immediate sub-nodes (excluding inherited or chained ones).

const node *	promote (const node &it) const

const node *	promote (const node *it) const BY_SIDE_FUNC(promote)

template<typename T >
T *	sub (std::function< nbool(const std::string &, const T &)> l)

template<typename T >
const T *	sub (std::function< nbool(const std::string &, const T &)> l) const BY_CONST_FUNC(sub< T >(l)) template< typename T

template<typename T = me>
const T *	sub () const BY_CONST_FUNC(sub< T >()) template< typename T

template<typename T = me>
T *	sub (const std::string *it) BY_SIDE_FUNC(sub)

template<typename T = me>
const T *	sub (const std::string &name) const BY_CONST_FUNC(sub< T >(name)) template< typename T

template<typename T = me>
T *	sub (const std::string *name, const args &a) BY_SIDE_FUNC(name

template<typename T = me>
const T *	sub (const std::string &name, const args &a) const BY_CONST_FUNC(sub< T >(name

template<typename T = me>
const T a const T *	sub (const std::string *name, const args &a) const BY_CONST_FUNC(sub< T >(name

template<typename T >
const T a const T a tnarr< T, strTactic >	subAll (std::function< nbool(const std::string &, const T &)> l) const

template<typename T = me>
tnarr< T, strTactic >	subAll () const

template<typename T = me>
tpriorities< T >	subAll (const std::string &name) const

template<typename T = me>
tpriorities< T >	subAll (const std::string *it) const BY_SIDE_FUNC(subAll< T >) template< typename T

template<typename T = me>
tpriorities< T >	subAll (const std::string &name, const args &a) const

template<typename T = me>
tpriorities< T >	subAll (const std::string name, const args a) const BY_SIDE_FUNC(name

tpriorities< T > subAll< T >	tpriorities ())

template<typename T = me>
tpriorities< T >	subAll (const std::string *name, const args &a) const BY_SIDE_FUNC(name

tpriorities< T > subAll< T >	tpriorities ())

bool	canEval (const args &a) const

priorType	prioritize (const args *it) const BY_SIDE_FUNC(it

str	eval (const args *it) BY_SIDE_FUNC(eval)

str	eval (const std::string &name, const args &a)

str	eval (const std::string &name, const args *a) BY_SIDE_FUNC(a

str	eval (name, a)

str	str ())

str	eval (const std::string *name, const args &a) BY_SIDE_FUNC(name

str eval	str ())

str	eval (const std::string name, const args a) BY_SIDE_FUNC(name &&a

str eval	str ())

str	eval (const std::string &name)

str	eval (const std::string *it) BY_SIDE_FUNC(eval)

str	eval ()

template<typename T >
nbool	is () const

nbool	is (const typeProvidable &to) const

nbool	is (const typeProvidable *it) const BY_SIDE_FUNC(is)

nbool	is (const type &to) const

nbool	is (const type *it) const BY_SIDE_FUNC(is)

template<typename T >
tstr< T >	as () const

str	as (const typeProvidable &to) const

str	as (const typeProvidable *it) const BY_SIDE_FUNC(as)

str	as (const type &to) const

str	as (const type *it) const BY_SIDE_FUNC(as)

template<typename T >
nbool	isImpli () const

nbool	isImpli (const typeProvidable &to) const

nbool	isImpli (const typeProvidable *it) const BY_SIDE_FUNC(isImpli)

template<typename T >
tstr< T >	asImpli () const

virtual str	asImpli (const type &to) const

str	asImpli (const typeProvidable &to) const

str	asImpli (const typeProvidable *it) const BY_SIDE_FUNC(asImpli)

virtual nbool	isComplete () const

virtual void	accept (const visitInfo &i, visitor &v)

void	inFrame (const bicontainable *args) const override

void	outFrame () const override

virtual const modifier &	getModifier () const

virtual void	inFrame (const bicontainable *args) const=0

void	inFrame () const

virtual void	outFrame () const=0

Public Member Functions inherited from by::frameInteractable
void	inFrame () const

Additional Inherited Members
Public Attributes inherited from by::node
T sub	name

T sub	nullptr

tpriorities< T > subAll< T >	name

priorType prioritize	it

priorType prioritize	NO_MATCH

str eval	name

Protected Member Functions inherited from by::node
virtual str	_onEvalSub (node &sub, const args &a)
	Protected virtual method for evaluating a sub-node.

void	_setSrc (const src *it) BY_SIDE_FUNC(_setSrc)

Protected Attributes inherited from by::expr
tstr< src >	_src

point	_pos

Detailed Description

Block expression.

Handles block expressions. It's frameInteractable, and when frame registration is requested externally, it creates and registers one scope. This scope is valid only within this block statement, commonly known as a local scope.

Remarks: blockExpr doesn't create a local scope inside the eval() function. This optimizes by preventing unnecessary scope creation in certain contexts.

Blocks are Expressions

The byeol language is mostly composed of expressions, and block statements are no exception. A block statement returns the evaluation result of its last line.

Member Function Documentation

◆ eval()

str by::blockExpr::eval ( const args & a )

overridevirtual

Implements by::node.

◆ infer()

str by::blockExpr::infer ( ) const

overridevirtual

getType() returns what it is. opposite to it, this returns what this class will represents after evaluation.

for example, the expr class has derived from this node class. and if an user call the funcs to get type of it, class 'ntype' of 'expr' will be returned. but if that user call the 'infer()' then the 'expr' object evaluate its terms and returns it as a node from the output. it could be an integer if it was addExpr and all terms are constructed with integers.

and also this func requires frames. means that you have to interact frame first before call this func.

Remarks: some derived class of node may require to call this function first by verifier. if you call this function without calling verifier previously will damage then process.

Reimplemented from by::node.

Reimplemented in by::endExpr.

◆ inFrame()

void by::blockExpr::inFrame ( const bicontainable * args ) const

overridevirtual

Implements by::frameInteractable.

◆ isAbstract()

nbool by::blockExpr::isAbstract ( ) const

Checks if this block expression is abstract.

Returns: true if the block expression is abstract, false otherwise.

Note: An abstract block typically means it lacks a concrete implementation or return value.

◆ outFrame()

void by::blockExpr::outFrame ( ) const

overridevirtual

Implements by::frameInteractable.

◆ rel()

void by::blockExpr::rel ( )

overridevirtual

Release all held resources and prepare for termination.

Remarks: Some classes won't be able to reinitialize after rel() is called.

Reimplemented from by::node.

◆ setEval()

void by::blockExpr::setEval ( const node & newEval )

Sets the node whose evaluation result will be returned by this block expression.

Parameters

newEval The node representing the evaluation result of this block.

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

/home/runner/work/byeol/byeol/module/core/ast/exprs/blockExpr.hpp

Public Member Functions

Additional Inherited Members

Detailed Description

Blocks are Expressions

Member Function Documentation

◆ eval()

◆ infer()

◆ inFrame()

◆ isAbstract()

◆ outFrame()

◆ rel()

◆ setEval()