Base class for all expressions 더 자세히 ...

#include <expr.hpp>

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

클래스
class	exprType
	Type information for expression nodes 더 자세히 ...

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

virtual str	eval (const args &a)=0

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 ()

virtual void	rel ()

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 str	infer () 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

Protected 속성
tstr< src >	_src

point	_pos

Friends
struct	::exprTest

추가로 상속된 멤버들
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)

상세한 설명

Base class for all expressions

Abstract base class for all expression nodes in the AST. Provides evaluation semantics and expression-specific type handling. Expressions represent computations that produce values, such as arithmetic operations, function calls, variable access, and assignments.

Expression Hierarchy

All expression types inherit from expr:

Literal expressions - nInt, nStr, nBool, etc.
Operator expressions - FBOExpr (binary), FUOExpr (unary)
Access expressions - getExpr, evalExpr
Assignment expressions - assignExpr, defVarExpr, defPropExpr
Control flow expressions - ifExpr, forExpr, whileExpr, retExpr
Container expressions - defArrayExpr, defSeqExpr
Type expressions - asExpr, isExpr

Evaluation Without Arguments

Unlike functions, expressions evaluate without taking arguments. The prioritize() method ensures expressions can only be evaluated with an empty argument list. Evaluation happens through eval() which computes and returns the expression's value.

Source Location

expr maintains source location information via getSrc() for error reporting and debugging. This allows the interpreter to report exactly where in the source code an expression appears when errors occur.

멤버 함수 문서화

◆ getSrc()

const src & by::expr::getSrc ( ) const

overridevirtual

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

◆ isImpli()

nbool by::expr::isImpli ( const type & to ) const

overridevirtual

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

◆ prioritize()

priorType by::expr::prioritize ( const args & a ) const

overridevirtual

eval of expr class get treated like 'evaluate' in byeol. it should not take any arguments to eval

by::node를 구현.

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

◆ subs()

scope & by::expr::subs ( )

overridevirtual

by::node를 구현.

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

/home/runner/work/byeol/byeol/module/core/ast/expr.hpp

클래스

Public 멤버 함수

Protected 속성

Friends

추가로 상속된 멤버들

상세한 설명

Expression Hierarchy

Evaluation Without Arguments

Source Location

멤버 함수 문서화

◆ getSrc()

◆ isImpli()

◆ prioritize()

◆ subs()