ellipsis-pragma.c File Reference

#include <stdlib.h>
#include <threads.h>
#include "language/ellipsis-special.h"
#include <stdio.h>
#include <stdint.h>
#include "ellipsis-pragma.h"
#include "ellipsis-macros.h"

Include dependency graph for ellipsis-pragma.c:

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_STR32_LITERAL   ELLIPSIS_STR32_LITERAL_LOCAL
#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	pragma_name(prefix, suffix)
#define	STRINGIFY(...)   STRINGIFY_(__VA_ARGS__)
#define	STRINGIFY_(...)   #__VA_ARGS__

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

Functions
static void	ellipsis‿pragma‿_Once‿init‿callback (void)
static void	ellipsis‿pragma‿_Once‿init‿user (void)
void	ellipsis‿pragma‿_Once‿init (void)
static ellipsis‿token *	ellipsis‿pragma‿diagnostic (ellipsis‿token h[static 1])
ellipsis‿token *	ellipsis‿pragma‿error (ellipsis‿token h[static 1])
ellipsis‿token *	ellipsis‿pragma‿find (ellipsis‿str32 const *prefix, ellipsis‿str32 const *suffix)
ellipsis‿token *	ellipsis‿pragma‿forward (ellipsis‿token h[static 1])
ellipsis‿token *	ellipsis‿pragma‿ignore (ellipsis‿token h[static 1])
void	ellipsis‿pragma‿insert (ellipsis‿str32 const *prefix, ellipsis‿str32 const *suffix, ellipsis‿token *(*cb)(ellipsis‿token *), bool back_in)
ellipsis‿token *	ellipsis‿pragma‿once (ellipsis‿token h[static 1])
ellipsis‿token *	ellipsis‿pragma‿warning (ellipsis‿token h[static 1])

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
static void(*const	ellipsis‿pragma‿_Once‿atexit‿pointer )(void)
bool const	ellipsis‿pragma‿_Once‿strong = true

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_STR32_LITERAL

#define ELLIPSIS_STR32_LITERAL   ELLIPSIS_STR32_LITERAL_LOCAL

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__))))

pragma_name

#define pragma_name	(		prefix,
			suffix
	)

Value:

 ellipsis‿macros‿mangle( \
 TOKEN_NEW( \
 .cat = nominal, \
 .contents  = &ELLIPSIS_STR32_STRING_LITERAL("pragma"), \
 .next  = \
 TOKEN_NEW( \
 .cat = punctuator, \
 .contents  = &ELLIPSIS_STR32_STRING_LITERAL("∷"), \
 .next  = \
 TOKEN_NEW( \
 .cat = nominal, \
 .contents  = prefix, \
 .next  = \
 suffix ? \
 TOKEN_NEW( \
 .cat = punctuator, \
 .contents  = &ELLIPSIS_STR32_STRING_LITERAL("∷"), \
 .next  = \
 TOKEN_NEW( \
 .cat = nominal, \
 .contents  = suffix, \
 )) \
 : nullptr))))

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‿pragma‿_Once‿init‿callback()

static void ellipsis‿pragma‿_Once‿init‿callback ( void  )

static

References __FILE__, ellipsis‿pragma‿_Once‿atexit‿pointer, ellipsis‿pragma‿_Once‿init‿user(), and GNU_ATTR_USED.

Referenced by ellipsis‿pragma‿_Once‿init().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿pragma‿_Once‿init‿user()

static void ellipsis‿pragma‿_Once‿init‿user ( void  )

static

References __FILE__, ellipsis‿macros‿_Once‿init(), ellipsis‿macros‿_Once‿strong, ellipsis‿pragma‿error(), ellipsis‿pragma‿insert(), ellipsis‿pragma‿once(), ellipsis‿pragma‿warning(), ellipsis‿token‿_Once‿init(), and GNU_ATTR_USED.

Referenced by ellipsis‿pragma‿_Once‿init‿callback().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿pragma‿_Once‿init()

void ellipsis‿pragma‿_Once‿init

(

void

)

References ellipsis‿pragma‿_Once‿init‿callback().

Referenced by ellipsis‿pragma‿find(), and ellipsis‿pragma‿insert().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿pragma‿diagnostic()

static ellipsis‿token * ellipsis‿pragma‿diagnostic ( ellipsis‿token  h[static 1] )

static

References ellipsis‿str32‿fputs().

Referenced by ellipsis‿pragma‿error(), and ellipsis‿pragma‿warning().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿pragma‿error()

ellipsis‿token * ellipsis‿pragma‿error

(

ellipsis‿token

h[static 1]

)

References ellipsis‿pragma‿diagnostic(), and ELLIPSIS_ERROR.

Referenced by ellipsis‿pragma‿_Once‿init‿user().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿pragma‿find()

ellipsis‿token * ellipsis‿pragma‿find	(	ellipsis‿str32 const *	prefix,
		ellipsis‿str32 const *	suffix
	)

References __FILE__, ellipsis‿token::contents, ellipsis‿macros‿find(), ellipsis‿pragma‿_Once‿init(), ellipsis‿pragma‿_Once‿strong, GNU_ATTR_USED, and pragma_name.

Referenced by ellipsis‿directive‿pragma().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿pragma‿forward()

ellipsis‿token * ellipsis‿pragma‿forward

(

ellipsis‿token

h[static 1]

)

References nominal, and punctuator.

Referenced by ellipsis‿directive‿pragma(), and ellipsis‿language‿c‿_Once‿init‿user().

Here is the caller graph for this function:

ellipsis‿pragma‿ignore()

ellipsis‿token * ellipsis‿pragma‿ignore

(

ellipsis‿token

h[static 1]

)

ellipsis‿pragma‿insert()

void ellipsis‿pragma‿insert	(	ellipsis‿str32 const *	prefix,
		ellipsis‿str32 const *	suffix,
		ellipsis‿token *(*)(ellipsis‿token *)	cb,
		bool	back_in
	)

References __FILE__, ellipsis‿token::back_in, ellipsis‿token::callback, ellipsis‿token::cat, ellipsis‿macros‿insert(), ellipsis‿pragma‿_Once‿init(), ellipsis‿pragma‿_Once‿strong, ellipsis‿token‿what‿callback, GNU_ATTR_USED, ellipsis‿token::is_functional, ellipsis‿token::is_undefinable, ellipsis‿token::is_what, macro, and pragma_name.

Referenced by ellipsis‿language‿c‿_Once‿init‿user(), and ellipsis‿pragma‿_Once‿init‿user().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿pragma‿once()

ellipsis‿token * ellipsis‿pragma‿once

(

ellipsis‿token

h[static 1]

)

References directive, ellipsis‿token‿list‿append(), ellipsis‿token‿list‿close(), ELLIPSIS_CONTRACT, and ellipsis‿token::payload.

Referenced by ellipsis‿pragma‿_Once‿init‿user().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿pragma‿warning()

ellipsis‿token * ellipsis‿pragma‿warning

(

ellipsis‿token

h[static 1]

)

References ellipsis‿pragma‿diagnostic(), and ELLIPSIS_WARNING.

Referenced by ellipsis‿pragma‿_Once‿init‿user().

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

ellipsis‿pragma‿_Once‿atexit‿pointer

void(*const ellipsis‿pragma‿_Once‿atexit‿pointer) (void) ( void  )

static

Referenced by ellipsis‿pragma‿_Once‿init‿callback().

ellipsis‿pragma‿_Once‿strong

bool const ellipsis‿pragma‿_Once‿strong = true

Referenced by ellipsis‿pragma‿find(), and ellipsis‿pragma‿insert().