tok.h File Reference

#include "mim/util/dbg.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	mim::ast::Tok

Namespaces
namespace	mim
namespace	mim::ast

Macros
#define	MIM_KEY(m)
#define	CODE(t, str)
#define	MIM_TOK(m)
#define	MIM_SUBST(m)
#define	CODE(t, str)

Variables
constexpr auto	mim::ast::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) + size_t(1) + size_t(1) + size_t(1)

Precedence
enum class	mim::ast::Prec {   mim::ast::Err ,   mim::ast::Bot ,   mim::ast::Where ,   mim::ast::Arrow ,   mim::ast::Pi ,   mim::ast::App ,   mim::ast::Extract ,   mim::ast::Lit }
constexpr bool	mim::ast::is_rassoc (Prec p)

Macro Definition Documentation

CODE [1/2]

#define CODE	(		t,
			str )

Value:

+ size_t(1)

Definition at line 53 of file tok.h.

Referenced by mim::ast::Lexer::Lexer(), and mim::Def::node_name().

CODE [2/2]

#define CODE	(		t,
			str )

Value:

t,

Definition at line 53 of file tok.h.

MIM_KEY

#define MIM_KEY

(

m

)

Definition at line 13 of file tok.h.

Referenced by mim::ast::Lexer::Lexer(), and mim::ast::Tok::tag2str().

MIM_SUBST

#define MIM_SUBST

(

m

)

Value:

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

Definition at line 99 of file tok.h.

Referenced by mim::ast::Lexer::Lexer().

MIM_TOK

#define MIM_TOK

(

m

)

Definition at line 57 of file tok.h.

Referenced by mim::ast::Tok::tag2str().