Public Member Functions | Protected Member Functions | Friends | List of all members
by::genericOrigin Class Reference
Core

Generic type origin with type parameters. More...

#include <genericOrigin.hpp>

Inheritance diagram for by::genericOrigin:
by::baseObj by::node by::statable by::instance by::frameInteractable by::typeProvidable by::clonable

Public Member Functions

 genericOrigin (const origin &org, const strings &paramNames)
 
const baseObj & getOrigin () const override
 
const strings & getParamNames () const
 
priorType prioritize (const args &a) const override
 
str run (const args &a) override
 
str getEval () const override
 
scope & subs () override
 
const std::map< std::string, tstr< obj > > & getCache () const
 
void inFrame (const bicontainable *args) const override
 
void outFrame () const override
 
- Public Member Functions inherited from by::baseObj
state getState () const override
 
void setState (state new1) override
 
const src & getSrc () const override
 
virtual const node & getSubPack () const
 
virtual baseObj * make () const
 
const modifier & getModifier () 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
 
const node * deduce (const node &it) const
 
const node * deduce (const node *it) const BY_SIDE_FUNC(deduce)
 
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 canRun (const args &a) const
 
priorType prioritize (const args *it) const BY_SIDE_FUNC(it
 
str run (const args *it) BY_SIDE_FUNC(run)
 
str run (const std::string &name, const args &a)
 
str run (const std::string &name, const args *a) BY_SIDE_FUNC(a
 
str run (name, a)
 
str str ())
 
str run (const std::string *name, const args &a) BY_SIDE_FUNC(name
 
str run str ())
 
str run (const std::string *name, const args *a) BY_SIDE_FUNC(name &&a
 
str run str ())
 
str run (const std::string &name)
 
str run (const std::string *it) BY_SIDE_FUNC(run)
 
str run ()
 
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
 
virtual nbool isImpli (const type &to) 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 void inFrame (const bicontainable *args) const=0
 
void inFrame () const
 
virtual void outFrame () const=0
 
- Public Member Functions inherited from by::instance
 instance (id newId)
 
 instance (const me &rhs)
 
me & operator= (const me &rhs)=default
 
void * operator new (size_t sz) noexcept
 
void operator delete (void *pt, size_t sz) noexcept
 
virtual id getId () const
 
virtual nbool isHeap () const
 
const bindTag * getBindTag () const
 
- Public Member Functions inherited from by::typeProvidable
nbool operator== (const me &rhs) const
 
nbool operator!= (const me &rhs) const
 
virtual const type & getType () const =0
 
nbool isSub (const type &it) const
 
nbool isSub (const type *it) const BY_SIDE_FUNC(isSub)
 
nbool isSub (const me &it) const
 
nbool isSub (const me *it) const BY_SIDE_FUNC(isSub)
 
nbool isSuper (const type &it) const
 
nbool isSuper (const type *it) const BY_SIDE_FUNC(isSuper)
 
nbool isSuper (const me &it) const
 
nbool isSuper (const me *it) const BY_SIDE_FUNC(isSuper)
 
template<typename T >
nint isSub () const
 
template<typename T >
nint isSuper () const
 
template<typename T >
T * cast ()
 
template<typename T >
const T * cast () const BY_CONST_FUNC(cast< T >()) virtual void *cast(const type &to)
 
const void * cast (const type &to) const BY_CONST_FUNC(cast(to)) void *cast(const type *it) BY_SIDE_FUNC(cast)
 
- Public Member Functions inherited from by::clonable
virtual me * clone () const =0
 
virtual me * cloneDeep () const
 
virtual void onCloneDeep (const me &from)
 
- Public Member Functions inherited from by::frameInteractable
void inFrame () const
 

Protected Member Functions

str _onRunSub (node &sub, const args &a) override
 
- Protected Member Functions inherited from by::baseObj
 baseObj ()=default
 
 baseObj (const baseObj *org, nbool)
 
void _setSrc (const src &s) override
 
virtual void _inFrame (frame &fr, const bicontainable *args) const
 
void _setOrigin (const baseObj &newOrg)
 
virtual void _setType (const mgdType &new1)
 
virtual void _setModifier (const modifier &mod)
 
virtual str _onBeforeCtor ()
 
- Protected Member Functions inherited from by::node
void _setSrc (const src *it) BY_SIDE_FUNC(_setSrc)
 
- Protected Member Functions inherited from by::instance
nbool _setId (id new1)
 

Friends

class graphVisitor
 
class exprMaker
 

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 run name
 
- Static Public Attributes inherited from by::baseObj
static const std::string CTOR_NAME = "@ctor"
 
static const std::string COMMON_NAME = "@common"
 
static const std::string EXPAND_NAME = "@expand"
 
- Static Protected Member Functions inherited from by::instance
static instancer * _getMgr ()
 

Detailed Description

Generic type origin with type parameters.

Manages generic type definitions with type parameter substitution. Caches instantiated generic types and handles type parameter binding.

Member Function Documentation

◆ _onRunSub()

str by::genericOrigin::_onRunSub ( node &  sub,
const args &  a 
)
overrideprotectedvirtual

Reimplemented from by::baseObj.

◆ getEval()

str by::genericOrigin::getEval ( ) 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 'getEval()' 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.

◆ getOrigin()

const baseObj & by::genericOrigin::getOrigin ( ) const
overridevirtual

Reimplemented from by::baseObj.

◆ inFrame()

void by::genericOrigin::inFrame ( const bicontainable *  args) const
overridevirtual

Reimplemented from by::baseObj.

◆ outFrame()

void by::genericOrigin::outFrame ( ) const
overridevirtual

Reimplemented from by::baseObj.

◆ prioritize()

priorType by::genericOrigin::prioritize ( const args &  a) const
overridevirtual

Reimplemented from by::baseObj.

◆ run()

str by::genericOrigin::run ( const args &  a)
overridevirtual

Reimplemented from by::baseObj.

◆ subs()

scope & by::genericOrigin::subs ( )
overridevirtual

Reimplemented from by::baseObj.

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