ellipsis-sarray.c File Reference

#include "ellipsis-sarray.h"
#include <stddef.h>
#include <string.h>
#include <stdlib.h>
#include "utils/ellipsis-error.h"
#include "utils/ellipsis-init.h"
#include <stdio.h>
#include <stdint.h>

Include dependency graph for ellipsis-sarray.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_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‿sarray *	ellipsis‿sarray‿alloc‿_Inner (size_t len)
ellipsis‿sarray *	ellipsis‿sarray‿append‿_Inner (ellipsis‿sarray *restrict s, s->array[0] c)
int	ellipsis‿sarray‿compare (ellipsis‿sarray const *s, ellipsis‿sarray const *t)
ellipsis‿sarray *	ellipsis‿sarray‿concat‿_Inner (ellipsis‿sarray const *s, ellipsis‿sarray const *t)
ellipsis‿sarray *	ellipsis‿sarray‿concat_inplace‿_Inner (ellipsis‿sarray const *s0, ellipsis‿sarray const *t)
ellipsis‿sarray const *	ellipsis‿sarray‿cpy_const‿_Inner (ellipsis‿sarray const *restrict s)
void	ellipsis‿sarray‿delete (ellipsis‿sarray const *s)
ellipsis‿sarray *	ellipsis‿sarray‿grow‿_Inner (ellipsis‿sarray *restrict s, size_t length)
ellipsis‿sarray *	ellipsis‿sarray‿remove (ellipsis‿sarray s[restrict static 1], size_t amount)
ellipsis‿sarray *	ellipsis‿sarray‿shrink‿_Inner (ellipsis‿sarray s[restrict static 1], size_t length)
ellipsis‿sarray *	ellipsis‿sarray‿sub‿_Inner (ellipsis‿sarray const *s, size_t pos, size_t len)

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‿sarray‿alloc‿_Inner()

ellipsis‿sarray * ellipsis‿sarray‿alloc‿_Inner

(

size_t

len

)

References ellipsis‿sarray::array, ellipsis‿sarray::length, and ellipsis‿sarray::length_mod.

Referenced by ellipsis‿sarray::ellipsis‿sarray‿alloc‿_Ctra().

Here is the caller graph for this function:

ellipsis‿sarray‿append‿_Inner()

ellipsis‿sarray * ellipsis‿sarray‿append‿_Inner	(	ellipsis‿sarray *restrict	s,
		s->array	c[0]
	)

Referenced by ellipsis‿sarray::ellipsis‿sarray‿append‿_Ctra().

Here is the caller graph for this function:

ellipsis‿sarray‿compare()

int ellipsis‿sarray‿compare	(	ellipsis‿sarray const *	s,
		ellipsis‿sarray const *	t
	)

ellipsis‿sarray‿concat‿_Inner()

ellipsis‿sarray * ellipsis‿sarray‿concat‿_Inner	(	ellipsis‿sarray const *	s,
		ellipsis‿sarray const *	t
	)

References ellipsis‿sarray::array, and ellipsis‿sarray::length.

Referenced by ellipsis‿sarray::ellipsis‿sarray‿concat‿_Ctra().

Here is the caller graph for this function:

ellipsis‿sarray‿concat_inplace‿_Inner()

ellipsis‿sarray * ellipsis‿sarray‿concat_inplace‿_Inner	(	ellipsis‿sarray const *	s0,
		ellipsis‿sarray const *	t
	)

References ellipsis‿sarray::array, ellipsis‿sarray::capacity, ellipsis‿sarray::length, and ellipsis‿sarray::length_mod.

Referenced by ellipsis‿sarray::ellipsis‿sarray‿concat_inplace‿_Ctra().

Here is the caller graph for this function:

ellipsis‿sarray‿cpy_const‿_Inner()

ellipsis‿sarray const * ellipsis‿sarray‿cpy_const‿_Inner

(

ellipsis‿sarray const *restrict

s

)

Referenced by ellipsis‿sarray::ellipsis‿sarray‿cpy_const‿_Ctra().

Here is the caller graph for this function:

ellipsis‿sarray‿delete()

void ellipsis‿sarray‿delete

(

ellipsis‿sarray const *

s

)

Referenced by ellipsis‿infra‿_Once‿atexit‿callback().

Here is the caller graph for this function:

ellipsis‿sarray‿grow‿_Inner()

ellipsis‿sarray * ellipsis‿sarray‿grow‿_Inner	(	ellipsis‿sarray *restrict	s,
		size_t	length
	)

References ellipsis_alloc_flex, ellipsis_init_flex, ellipsis_realloc_flex, and ellipsis‿sarray::length.

Referenced by ellipsis‿sarray::ellipsis‿sarray‿grow‿_Ctra().

Here is the caller graph for this function:

ellipsis‿sarray‿remove()

ellipsis‿sarray * ellipsis‿sarray‿remove	(	ellipsis‿sarray	s[restrict static 1],
		size_t	amount
	)

Remarks

This translation unit implements ellipsis‿sarray::ellipsis‿sarray‿alloc, ellipsis‿sarray::ellipsis‿sarray‿append, ellipsis‿sarray::ellipsis‿sarray‿base‿compare, ellipsis‿sarray::ellipsis‿sarray‿base‿destroy, ellipsis‿sarray::ellipsis‿sarray‿cmove, ellipsis‿sarray::ellipsis‿sarray‿compare, ellipsis‿sarray::ellipsis‿sarray‿compareInternal, ellipsis‿sarray::ellipsis‿sarray‿concat, ellipsis‿sarray::ellipsis‿sarray‿concat_inplace, ellipsis‿sarray::ellipsis‿sarray‿cpy, ellipsis‿sarray::ellipsis‿sarray‿cpy_const, ellipsis‿sarray::ellipsis‿sarray‿delete, ellipsis‿sarray::ellipsis‿sarray‿grow, ellipsis‿sarray::ellipsis‿sarray‿move, ellipsis‿sarray::ellipsis‿sarray‿remove, ellipsis‿sarray::ellipsis‿sarray‿search, ellipsis‿sarray::ellipsis‿sarray‿shrink, ellipsis‿sarray::ellipsis‿sarray‿sort, ellipsis‿sarray::ellipsis‿sarray‿sub

Referenced by ellipsis‿infra‿down().

Here is the caller graph for this function:

ellipsis‿sarray‿shrink‿_Inner()

ellipsis‿sarray * ellipsis‿sarray‿shrink‿_Inner	(	ellipsis‿sarray	s[restrict static 1],
		size_t	length
	)

References ellipsis_realloc_flex, and ELLIPSIS_WARNING.

Referenced by ellipsis‿sarray::ellipsis‿sarray‿shrink‿_Ctra().

Here is the caller graph for this function:

ellipsis‿sarray‿sub‿_Inner()

ellipsis‿sarray * ellipsis‿sarray‿sub‿_Inner	(	ellipsis‿sarray const *	s,
		size_t	pos,
		size_t	len
	)

References ellipsis‿sarray::array, ellipsis‿sarray::length, and ellipsis‿sarray::length_mod.

Referenced by ellipsis‿sarray::ellipsis‿sarray‿sub‿_Ctra().

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