by::getExpr Class Reference

Expression for property and method access. More...

#include <getExpr.hpp>

Inheritance diagram for by::getExpr:

Public Member Functions
	getExpr (const std::string &name)
	getExpr (const std::string &name, const args &a)
	getExpr (const node &me, const std::string &name)
	getExpr (const node &me, const std::string &name, const args &a)
str	eval (const args &a) override
str	infer () const override
const node *	getMe () const
const std::string &	getName () const
void	setName (const std::string &new1)
void	setName (const std::string *it) BY_SIDE_FUNC(setName) void setMe(const node &new Me)
	Sets the base object ("me") for this access expression.
const args &	getArgs () const
void	setArgs (const args &new1)
void	onCloneDeep (const clonable &new1) override
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 ()
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 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

Protected Member Functions
virtual node *	_onGet (node &me) const
	Protected virtual method for the actual "get" logic.
virtual node *	_onGet (node *it) const BY_SIDE_FUNC(it
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
virtual node _onGet	it
virtual node _onGet	nullptr
Protected Attributes inherited from by::expr
tstr< src >	_src
point	_pos

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

Detailed Description

Expression for property and method access.

Represents dot notation access expressions (e.g., obj.property, obj.method()). Handles both property access and method calls with argument evaluation.

Member Function Documentation

_onGet()

virtual node * by::getExpr::_onGet ( node & me ) const

protectedvirtual

Protected virtual method for the actual "get" logic.

This method is responsible for resolving the property or method access on the given base object (me).

Parameters

me	The base object (left-hand side of the dot operator).

Returns

A pointer to the resolved node (property or method), or nullptr if not found.

Reimplemented in by::getGenericExpr.

eval()

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

overridevirtual

Implements by::node.

getArgs()

const args & by::getExpr::getArgs

(

)

const

Returns

nullable

infer()

str by::getExpr::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.

setName()

void by::getExpr::setName ( const std::string * it ) const &

new

Sets the base object ("me") for this access expression.

Parameters

newMe

The new base object for the access expression.

---

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

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