by::blockExpr 클래스 참조

Block expression 더 자세히 ...

#include <blockExpr.hpp>

by::blockExpr에 대한 상속 다이어그램 :

Public 멤버 함수
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.
by::expr(으)로부터 상속된 Public 멤버 함수
scope &	subs () override
nbool	isImpli (const type &to) const override
priorType	prioritize (const args &a) const override
const src &	getSrc () const override
by::node(으)로부터 상속된 Public 멤버 함수
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
by::frameInteractable(으)로부터 상속된 Public 멤버 함수
void	inFrame () const

추가로 상속된 멤버들
by::node(으)로부터 상속된 Public 속성
T sub	name
T sub	nullptr
tpriorities< T > subAll< T >	name
priorType prioritize	it
priorType prioritize	NO_MATCH
str eval	name
by::node(으)로부터 상속된 Protected 멤버 함수
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)
by::expr(으)로부터 상속된 Protected 속성
tstr< src >	_src
point	_pos

상세한 설명

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.

멤버 함수 문서화

eval()

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

overridevirtual

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.

by::node(으)로부터 재구현되었습니다.

by::endExpr에서 재구현되었습니다.

inFrame()

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

overridevirtual

by::frameInteractable를 구현.

isAbstract()

nbool by::blockExpr::isAbstract

(

)

const

Checks if this block expression is abstract.

반환값

true if the block expression is abstract, false otherwise.

주의

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

outFrame()

void by::blockExpr::outFrame ( ) const

overridevirtual

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.

by::node(으)로부터 재구현되었습니다.

setEval()

void by::blockExpr::setEval

(

const node &

newEval

)

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

매개변수

newEval

The node representing the evaluation result of this block.

---

이 클래스에 대한 문서화 페이지는 다음의 파일로부터 생성되었습니다.:

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