Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
thorin::Match< Id, D > Class Template Reference

#include <thorin/axiom.h>

Public Member Functions

 Match ()=default
 
 Match (const Axiom *axiom, const D *def)
 
Getters
const Axiomaxiom () const
 
const D * operator-> () const
 
 operator const D * () const
 
 operator bool ()
 
Axiom Name
See also
annex_name "Annex Name"
auto plugin () const
 
auto tag () const
 
auto sub () const
 
auto base () const
 
auto id () const
 Axiom::flags cast to Id.
 

Detailed Description

template<class Id, class D>
class thorin::Match< Id, D >

Definition at line 69 of file axiom.h.

Constructor & Destructor Documentation

◆ Match() [1/2]

template<class Id , class D >
thorin::Match< Id, D >::Match ( )
default

◆ Match() [2/2]

template<class Id , class D >
thorin::Match< Id, D >::Match ( const Axiom axiom,
const D *  def 
)
inline

Definition at line 75 of file axiom.h.

Member Function Documentation

◆ axiom()

template<class Id , class D >
const Axiom * thorin::Match< Id, D >::axiom ( ) const
inline

◆ base()

template<class Id , class D >
auto thorin::Match< Id, D >::base ( ) const
inline
See also
exiom::base.

Definition at line 93 of file axiom.h.

References thorin::Match< Id, D >::axiom(), and thorin::Axiom::sub().

◆ id()

template<class Id , class D >
auto thorin::Match< Id, D >::id ( ) const
inline

Axiom::flags cast to Id.

Definition at line 94 of file axiom.h.

References thorin::Match< Id, D >::axiom().

◆ operator bool()

template<class Id , class D >
thorin::Match< Id, D >::operator bool ( )
inlineexplicit

Definition at line 84 of file axiom.h.

◆ operator const D *()

template<class Id , class D >
thorin::Match< Id, D >::operator const D * ( ) const
inline

Definition at line 83 of file axiom.h.

◆ operator->()

template<class Id , class D >
const D * thorin::Match< Id, D >::operator-> ( ) const
inline

Definition at line 82 of file axiom.h.

◆ plugin()

template<class Id , class D >
auto thorin::Match< Id, D >::plugin ( ) const
inline
See also
Axiom::plugin.

Definition at line 90 of file axiom.h.

References thorin::Match< Id, D >::axiom(), and thorin::Axiom::plugin().

◆ sub()

template<class Id , class D >
auto thorin::Match< Id, D >::sub ( ) const
inline
See also
Axiom::sub.

Definition at line 92 of file axiom.h.

References thorin::Match< Id, D >::axiom(), and thorin::Axiom::sub().

◆ tag()

template<class Id , class D >
auto thorin::Match< Id, D >::tag ( ) const
inline
See also
Axiom::tag.

Definition at line 91 of file axiom.h.

References thorin::Match< Id, D >::axiom(), and thorin::Axiom::tag().


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