ellipsis-tlist.h File Reference

#include "ellipsis-token.h"
#include "utils/ellipsis-error.h"
#include <threads.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>

Include dependency graph for ellipsis-tlist.h:

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

Go to the source code of this file.

Data Structures
struct	ellipsis‿token‿list
	a token list More...

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
typedef ellipsis‿token	token

Functions
size_t	ellipsis‿token‿list‿scatter‿_Ctra (size_t len, ellipsis‿token‿list arg[static len], ellipsis‿token‿list in[restrict static 1], bool var, bool call, ellipsis‿str32 const **space)
size_t	ellipsis‿token‿list‿scatter (size_t len, ellipsis‿token‿list arg[static len], ellipsis‿token‿list in[restrict static 1], bool var, bool call, ellipsis‿str32 const **space)

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

token

typedef ellipsis‿token token

Function Documentation

ellipsis‿token‿list‿scatter‿_Ctra()

size_t ellipsis‿token‿list‿scatter‿_Ctra ( size_t  len, ellipsis‿token‿list  arg[static len], ellipsis‿token‿list  in[restrict static 1], bool  var, bool  call, ellipsis‿str32 const **  space  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿token‿list‿scatter‿_Ctra(), ellipsis‿token‿list‿scatter‿_Inner(), and ELLIPSIS_CONTRACT.

Referenced by ellipsis‿token‿list‿scatter‿_Ctra(), and ellipsis‿token‿list‿scatter‿_Insta().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿token‿list‿scatter()

size_t ellipsis‿token‿list‿scatter ( size_t  len, ellipsis‿token‿list  arg[static len], ellipsis‿token‿list  in[restrict static 1], bool  var, bool  call, ellipsis‿str32 const **  space  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿token‿list‿scatter‿_Insta(), ellipsis‿token‿list‿scatter(), and ELLIPSIS_CONTRACT.

Referenced by ellipsis‿directive‿scatter(), ellipsis‿token‿list‿collect_call(), ellipsis‿token‿list‿scatter(), and expand_functional().

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