tok.h File Reference

#include <fe/assert.h>
#include "thorin/util/dbg.h"
#include "thorin/util/types.h"

Include dependency graph for tok.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	thorin::Tok

Namespaces
namespace	thorin

Macros
#define	THORIN_KEY(m)
#define	CODE(t, str)   + size_t(1)
#define	THORIN_TOK(m)
#define	THORIN_SUBST(m)
#define	THORIN_PREC(m)
#define	CODE(l, p, r)   p,
#define	CODE(l, p, r)    case Prec::p: return {Prec::l, Prec::r};
#define	CODE(t, str)   t,

Variables
constexpr auto	thorin::Num_Keys = size_t(0) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1)

Macro Definition Documentation

CODE [1/4]

#define CODE	(		l,
			p,
			r
	)		p,

Definition at line 51 of file tok.h.

CODE [2/4]

#define CODE	(		l,
			p,
			r
	)		case Prec::p: return {Prec::l, Prec::r};

Definition at line 51 of file tok.h.

CODE [3/4]

#define CODE	(		t,
			str
	)		+ size_t(1)

Definition at line 51 of file tok.h.

CODE [4/4]

#define CODE	(		t,
			str
	)		t,

Definition at line 51 of file tok.h.

THORIN_KEY

#define THORIN_KEY

(

m

)

Definition at line 14 of file tok.h.

THORIN_PREC

#define THORIN_PREC

(

m

)

Value:

    /* left     prec,    right  */     \
    m(Nil,      Bot,     Nil     )     \
    m(Nil,      Nil,     Nil     )     \
    m(Lam,      Arrow,   Arrow   )     \
    m(Nil,      Lam,     Pi      )     \
    m(Nil,      Pi,      App     )     \
    m(App,      App,     Extract )     \
    m(Extract,  Extract, Lit     )     \
    m(Nil,      Lit,     Lit     )     \

Definition at line 104 of file tok.h.

THORIN_SUBST

#define THORIN_SUBST

(

m

)

Value:

    m(".lm",     T_lm   )              \
    m(".bot",    T_bot  )              \
    m(".top",    T_top  )              \
    m(".insert", K_ins  )              \

Definition at line 98 of file tok.h.

THORIN_TOK

#define THORIN_TOK

(

m

)

Definition at line 55 of file tok.h.