ellipsis-lexer.h File Reference

#include <uchar.h>
#include <stdbool.h>
#include <inttypes.h>
#include "encoding/ellipsis-base64.h"
#include "utils/ellipsis-error.h"
#include "encoding/ellipsis-entity.h"
#include "language/ellipsis-special.h"
#include "language/directive/ellipsis-special-directive.h"
#include "utils/ellipsis-str32.h"
#include "token/ellipsis-token.h"
#include "ellipsis-infra.h"
#include "utils/ellipsis-bitset.h"
#include "encoding/XID_Continue.h"
#include "encoding/XID_Start.h"
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>

Include dependency graph for ellipsis-lexer.h:

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

Go to the source code of this file.

Macros
#define	ELLIPSIS_CONTRACT(COUNT, COND, ACTION, VERB, CSTR, CTYPE, ...)
#define	ELLIPSIS_CONTRACT_CHECK_STATIC(CTYPE, COND, CSTR, ...)
#define	ELLIPSIS_CONTRACT_ICE_OR_TRUE(...)
#define	ELLIPSIS_CONTRACT_IMPL(COUNT, COND, ACTION, VERB, CSTR, CTYPE, ...)
#define	ELLIPSIS_CONTRACT_VIOLATION(COUNT, VERB, CTYPE, CSTR, ...)
#define	ELLIPSIS_TEST_ICE(...)   (false ? ELLIPSIS_TO_VOIDS(__VA_ARGS__) : (ellipsis‿contracts‿is_ice*)nullptr)
#define	ELLIPSIS_TO_VOIDS(...)   ((void*)((uintptr_t)((__VA_ARGS__)-(__VA_ARGS__))))
#define	STRINGIFY(...)   STRINGIFY_(__VA_ARGS__)
#define	STRINGIFY_(...)   #__VA_ARGS__

Typedefs
typedef struct ellipsis‿contracts‿is_ice	ellipsis‿contracts‿is_ice

Functions
ellipsis‿category	ellipsis‿lex‿category‿_Ctra (ellipsis‿str32 const s[static 1], ellipsis‿special‿find *find)
ellipsis‿category	ellipsis‿lex‿category (ellipsis‿str32 const s[static 1], ellipsis‿special‿find *find)
bool	ellipsis‿lex‿Continue (char32_t val)
bool	ellipsis‿lex‿is_space (char32_t c)
ellipsis‿str32 const *	ellipsis‿lex‿nonspace‿_Ctra (size_t len[static 1], char const *restrict s[static 1], ellipsis‿special const **sp, ellipsis‿token t[static 1], ellipsis‿special‿find *f)
ellipsis‿str32 const *	ellipsis‿lex‿nonspace (size_t len[static 1], char const *restrict s[static 1], ellipsis‿special const **sp, ellipsis‿token t[static 1], ellipsis‿special‿find *f)
ellipsis‿str32 const *	ellipsis‿lex‿space‿_Ctra (size_t len[static 1], char const *restrict s[static 1])
ellipsis‿str32 const *	ellipsis‿lex‿space (size_t len[static 1], char const *restrict s[static 1])
bool	ellipsis‿lex‿Start (char32_t val)
size_t	ellipsis‿lex‿str_escape (char pc[static 1], size_t lenp[static 1], char const s[static 2], bool account_eol)
char *	ellipsis‿lex‿strdup_escape‿_Ctra (size_t len, char const s[static len], size_t nlenp[static 1])
char *	ellipsis‿lex‿strdup_escape (size_t len, char const s[static len], size_t nlenp[static 1])
size_t	ellipsis‿str32‿escape (char32_t *pc32, char const *s, bool account_eol)

Variables
thread_local bool volatile	ellipsis‿contracts‿ignore‿dynamic
thread_local bool volatile	ellipsis‿contracts‿proceed‿dynamic
thread_local bool volatile	ellipsis‿contracts‿verbose‿dynamic

Detailed Description

Warning

This is a file generated by eĿlipsis version 20250309, do not modify

Macro Definition Documentation

ELLIPSIS_CONTRACT

#define ELLIPSIS_CONTRACT	(		COUNT,
			COND,
			ACTION,
			VERB,
			CSTR,
			CTYPE,
			...
	)

Value:

 \
 do { \
 _Generic( \
 ELLIPSIS_TEST_ICE(COND), \
 ellipsis‿contracts‿is_ice*: ELLIPSIS_CONTRACT_CHECK_STATIC(CTYPE, COND, CSTR __VA_OPT__(,) __VA_ARGS__), \
 default: ELLIPSIS_CONTRACT_IMPL(COUNT, COND, ACTION, VERB, CSTR, CTYPE __VA_OPT__(,) __VA_ARGS__));\
 } while(false)

ELLIPSIS_CONTRACT_CHECK_STATIC

#define ELLIPSIS_CONTRACT_CHECK_STATIC	(		CTYPE,
			COND,
			CSTR,
			...
	)

Value:

 ({\
 static_assert(ELLIPSIS_CONTRACT_ICE_OR_TRUE(COND), \
 "compile time violation of " CTYPE " " CSTR \
 __VA_OPT__(", ") __VA_ARGS__ );\
 })

ELLIPSIS_CONTRACT_ICE_OR_TRUE

#define ELLIPSIS_CONTRACT_ICE_OR_TRUE

(

...

)

Value:

 _Generic( \
 ELLIPSIS_TEST_ICE(__VA_ARGS__), \
 ellipsis‿contracts‿is_ice*: (__VA_ARGS__), \
 default: true)

ELLIPSIS_CONTRACT_IMPL

#define ELLIPSIS_CONTRACT_IMPL	(		COUNT,
			COND,
			ACTION,
			VERB,
			CSTR,
			CTYPE,
			...
	)

Value:

(((false) || (COND)) \
 ? (void)0 \
 : (ELLIPSIS_CONTRACT_VIOLATION(COUNT, VERB, CTYPE, CSTR __VA_OPT__(,) __VA_ARGS__) \
 , ((false) \
 ? (void)0 \
 : ACTION())))

ELLIPSIS_CONTRACT_VIOLATION

#define ELLIPSIS_CONTRACT_VIOLATION	(		COUNT,
			VERB,
			CTYPE,
			CSTR,
			...
	)

Value:

({\
 static char const contract_format_ ## COUNT[]  = \
 __FILE__ ":" STRINGIFY(__LINE__) ": violation of " CTYPE " `" CSTR "`" __VA_OPT__(", ") __VA_ARGS__ "\n";\
 (VERB \
 ? fputs(contract_format_ ## COUNT, stderr) \
 : 0);\
 })

ELLIPSIS_TEST_ICE

#define ELLIPSIS_TEST_ICE

(

...

)

(false ? ELLIPSIS_TO_VOIDS(__VA_ARGS__) : (ellipsis‿contracts‿is_ice*)nullptr)

ELLIPSIS_TO_VOIDS

#define ELLIPSIS_TO_VOIDS

(

...

)

((void*)((uintptr_t)((__VA_ARGS__)-(__VA_ARGS__))))

STRINGIFY

#define STRINGIFY

(

...

)

STRINGIFY_(__VA_ARGS__)

STRINGIFY_

#define STRINGIFY_

(

...

)

#__VA_ARGS__

Typedef Documentation

ellipsis‿contracts‿is_ice

typedef struct ellipsis‿contracts‿is_ice ellipsis‿contracts‿is_ice

Function Documentation

ellipsis‿lex‿category‿_Ctra()

ellipsis‿category ellipsis‿lex‿category‿_Ctra ( ellipsis‿str32 const  s[static 1], ellipsis‿special‿find *  find  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿lex‿category‿_Ctra(), and ellipsis‿lex‿category‿_Inner().

Referenced by ellipsis‿lex‿category‿_Ctra(), and ellipsis‿lex‿category‿_Insta().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿lex‿category()

ellipsis‿category ellipsis‿lex‿category ( ellipsis‿str32 const  s[static 1], ellipsis‿special‿find *  find  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿lex‿category‿_Insta(), and ellipsis‿lex‿category().

Referenced by ellipsis‿lex‿category(), ellipsis‿macros‿insert(), and expand_functional().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿lex‿Continue()

bool ellipsis‿lex‿Continue ( char32_t  val )

inline

References ellipsis‿XID‿Continue, and ellipsis_bitset_member.

Referenced by ellipsis‿filter(), and ellipsis‿lex‿nonspace‿_Inner().

Here is the caller graph for this function:

ellipsis‿lex‿is_space()

bool ellipsis‿lex‿is_space ( char32_t  c )

inline

Referenced by ellipsis‿lex‿nonspace‿_Inner(), and ellipsis‿lex‿space‿_Inner().

Here is the caller graph for this function:

ellipsis‿lex‿nonspace‿_Ctra()

ellipsis‿str32 const * ellipsis‿lex‿nonspace‿_Ctra ( size_t  len[static 1], char const *restrict  s[static 1], ellipsis‿special const **  sp, ellipsis‿token  t[static 1], ellipsis‿special‿find *  f  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

defer needs braces and a semicolon

end inner defer anchor, level 1

References ellipsis‿lex‿nonspace‿_Ctra(), ellipsis‿lex‿nonspace‿_Inner(), and ELLIPSIS_CONTRACT.

Referenced by ellipsis‿lex‿nonspace‿_Ctra(), and ellipsis‿lex‿nonspace‿_Insta().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿lex‿nonspace()

ellipsis‿str32 const * ellipsis‿lex‿nonspace ( size_t  len[static 1], char const *restrict  s[static 1], ellipsis‿special const **  sp, ellipsis‿token  t[static 1], ellipsis‿special‿find *  f  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

defer needs braces and a semicolon

end inner defer anchor, level 1

References ellipsis‿lex‿nonspace‿_Insta(), ellipsis‿lex‿nonspace(), and ELLIPSIS_CONTRACT.

Referenced by ellipsis‿lex‿category‿_Inner(), ellipsis‿lex‿nonspace(), ellipsis‿special‿directive‿lex(), ellipsis‿tokenize‿string(), and ellipsis‿tokenize().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿lex‿space‿_Ctra()

ellipsis‿str32 const * ellipsis‿lex‿space‿_Ctra ( size_t  len[static 1], char const *restrict  s[static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿lex‿space‿_Ctra(), and ellipsis‿lex‿space‿_Inner().

Referenced by ellipsis‿lex‿space‿_Ctra(), and ellipsis‿lex‿space‿_Insta().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿lex‿space()

ellipsis‿str32 const * ellipsis‿lex‿space ( size_t  len[static 1], char const *restrict  s[static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿lex‿space‿_Insta(), and ellipsis‿lex‿space().

Referenced by ellipsis‿lex‿nonspace‿_Inner(), ellipsis‿lex‿space(), ellipsis‿special‿directive‿lex(), ellipsis‿tokenize‿string(), and ellipsis‿tokenize().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿lex‿Start()

bool ellipsis‿lex‿Start ( char32_t  val )

inline

References ellipsis‿XID‿Start, and ellipsis_bitset_member.

Referenced by ellipsis‿lex‿nonspace‿_Inner().

Here is the caller graph for this function:

ellipsis‿lex‿str_escape()

size_t ellipsis‿lex‿str_escape ( char  pc[static 1], size_t  lenp[static 1], char const  s[static 2], bool  account_eol  )

inline

References ellipsis‿infra‿newline(), and ELLIPSIS_CONTRACT.

Referenced by ellipsis‿lex‿strdup_escape‿_Inner().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿lex‿strdup_escape‿_Ctra()

char * ellipsis‿lex‿strdup_escape‿_Ctra ( size_t  len, char const  s[static len], size_t  nlenp[static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

defer needs braces and a semicolon

end inner defer anchor, level 1

References ellipsis‿lex‿strdup_escape‿_Ctra(), ellipsis‿lex‿strdup_escape‿_Inner(), and ELLIPSIS_CONTRACT.

Referenced by ellipsis‿lex‿strdup_escape‿_Ctra(), and ellipsis‿lex‿strdup_escape‿_Insta().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿lex‿strdup_escape()

char * ellipsis‿lex‿strdup_escape ( size_t  len, char const  s[static len], size_t  nlenp[static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

defer needs braces and a semicolon

end inner defer anchor, level 1

References ellipsis‿lex‿strdup_escape‿_Insta(), ellipsis‿lex‿strdup_escape(), and ELLIPSIS_CONTRACT.

Referenced by ellipsis‿lex‿strdup_escape(), ellipsis‿special‿scan‿str32‿_Inner(), and ellipsis‿special‿scan‿str8‿_Inner().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿str32‿escape()

size_t ellipsis‿str32‿escape ( char32_t *  pc32, char const *  s, bool  account_eol  )

inline

References ellipsis‿infra‿newline().

Referenced by ellipsis‿lex‿nonspace‿_Inner(), and ellipsis‿lex‿space‿_Inner().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

ellipsis‿contracts‿ignore‿dynamic

thread_local bool volatile ellipsis‿contracts‿ignore‿dynamic

extern

ellipsis‿contracts‿proceed‿dynamic

thread_local bool volatile ellipsis‿contracts‿proceed‿dynamic

extern

ellipsis‿contracts‿verbose‿dynamic

thread_local bool volatile ellipsis‿contracts‿verbose‿dynamic

extern