Functions
picotm-cast-ctypes.h File Reference

Transactional, safe type casting for native C types. More...

#include "picotm/config/picotm-cast-config.h"
#include "picotm/compiler.h"
#include <float.h>
#include <limits.h>
#include "picotm-cast.h"

Functions

static char cast__Bool_to_char_tx (_Bool value)
 
static double cast__Bool_to_double_tx (_Bool value)
 
static float cast__Bool_to_float_tx (_Bool value)
 
static int cast__Bool_to_int_tx (_Bool value)
 
static long double cast__Bool_to_ldouble_tx (_Bool value)
 
static long long cast__Bool_to_llong_tx (_Bool value)
 
static long cast__Bool_to_long_tx (_Bool value)
 
static signed char cast__Bool_to_schar_tx (_Bool value)
 
static short cast__Bool_to_short_tx (_Bool value)
 
static unsigned char cast__Bool_to_uchar_tx (_Bool value)
 
static unsigned int cast__Bool_to_uint_tx (_Bool value)
 
static unsigned long long cast__Bool_to_ullong_tx (_Bool value)
 
static unsigned long cast__Bool_to_ulong_tx (_Bool value)
 
static unsigned short cast__Bool_to_ushort_tx (_Bool value)
 
static _Bool cast_char_to__Bool_tx (char value)
 
static double cast_char_to_double_tx (char value)
 
static float cast_char_to_float_tx (char value)
 
static int cast_char_to_int_tx (char value)
 
static long double cast_char_to_ldouble_tx (char value)
 
static long long cast_char_to_llong_tx (char value)
 
static long cast_char_to_long_tx (char value)
 
static signed char cast_char_to_schar_tx (char value)
 
static short cast_char_to_short_tx (char value)
 
static unsigned char cast_char_to_uchar_tx (char value)
 
static unsigned int cast_char_to_uint_tx (char value)
 
static unsigned long long cast_char_to_ullong_tx (char value)
 
static unsigned long cast_char_to_ulong_tx (char value)
 
static unsigned short cast_char_to_ushort_tx (char value)
 
static float cast_double_to_float_tx (double value)
 
static long double cast_double_to_ldouble_tx (double value)
 
static double cast_float_to_double_tx (float value)
 
static long double cast_float_to_ldouble_tx (float value)
 
static _Bool cast_int_to__Bool_tx (int value)
 
static char cast_int_to_char_tx (int value)
 
static double cast_int_to_double_tx (int value)
 
static float cast_int_to_float_tx (int value)
 
static long double cast_int_to_ldouble_tx (int value)
 
static long long cast_int_to_llong_tx (int value)
 
static long cast_int_to_long_tx (int value)
 
static signed char cast_int_to_schar_tx (int value)
 
static short cast_int_to_short_tx (int value)
 
static unsigned char cast_int_to_uchar_tx (int value)
 
static unsigned int cast_int_to_uint_tx (int value)
 
static unsigned long long cast_int_to_ullong_tx (int value)
 
static unsigned long cast_int_to_ulong_tx (int value)
 
static unsigned short cast_int_to_ushort_tx (int value)
 
static double cast_ldouble_to_double_tx (long double value)
 
static float cast_ldouble_to_float_tx (long double value)
 
static _Bool cast_llong_to__Bool_tx (long long value)
 
static char cast_llong_to_char_tx (long long value)
 
static double cast_llong_to_double_tx (long long value)
 
static float cast_llong_to_float_tx (long long value)
 
static int cast_llong_to_int_tx (long long value)
 
static long double cast_llong_to_ldouble_tx (long long value)
 
static long cast_llong_to_long_tx (long long value)
 
static signed char cast_llong_to_schar_tx (long long value)
 
static short cast_llong_to_short_tx (long long value)
 
static unsigned char cast_llong_to_uchar_tx (long long value)
 
static unsigned int cast_llong_to_uint_tx (long long value)
 
static unsigned long long cast_llong_to_ullong_tx (long long value)
 
static unsigned long cast_llong_to_ulong_tx (long long value)
 
static unsigned short cast_llong_to_ushort_tx (long long value)
 
static _Bool cast_long_to__Bool_tx (long value)
 
static char cast_long_to_char_tx (long value)
 
static double cast_long_to_double_tx (long value)
 
static float cast_long_to_float_tx (long value)
 
static int cast_long_to_int_tx (long value)
 
static long double cast_long_to_ldouble_tx (long value)
 
static long long cast_long_to_llong_tx (long value)
 
static signed char cast_long_to_schar_tx (long value)
 
static short cast_long_to_short_tx (long value)
 
static unsigned char cast_long_to_uchar_tx (long value)
 
static unsigned int cast_long_to_uint_tx (long value)
 
static unsigned long long cast_long_to_ullong_tx (long value)
 
static unsigned long cast_long_to_ulong_tx (long value)
 
static unsigned short cast_long_to_ushort_tx (long value)
 
static _Bool cast_schar_to__Bool_tx (signed char value)
 
static char cast_schar_to_char_tx (signed char value)
 
static double cast_schar_to_double_tx (signed char value)
 
static float cast_schar_to_float_tx (signed char value)
 
static int cast_schar_to_int_tx (signed char value)
 
static long double cast_schar_to_ldouble_tx (signed char value)
 
static long long cast_schar_to_llong_tx (signed char value)
 
static long cast_schar_to_long_tx (signed char value)
 
static short cast_schar_to_short_tx (signed char value)
 
static unsigned char cast_schar_to_uchar_tx (signed char value)
 
static unsigned int cast_schar_to_uint_tx (signed char value)
 
static unsigned long long cast_schar_to_ullong_tx (signed char value)
 
static unsigned long cast_schar_to_ulong_tx (signed char value)
 
static unsigned short cast_schar_to_ushort_tx (signed char value)
 
static _Bool cast_short_to__Bool_tx (short value)
 
static char cast_short_to_char_tx (short value)
 
static double cast_short_to_double_tx (short value)
 
static float cast_short_to_float_tx (short value)
 
static int cast_short_to_int_tx (short value)
 
static long double cast_short_to_ldouble_tx (short value)
 
static long long cast_short_to_llong_tx (short value)
 
static long cast_short_to_long_tx (short value)
 
static signed char cast_short_to_schar_tx (short value)
 
static unsigned char cast_short_to_uchar_tx (short value)
 
static unsigned int cast_short_to_uint_tx (short value)
 
static unsigned long long cast_short_to_ullong_tx (short value)
 
static unsigned long cast_short_to_ulong_tx (short value)
 
static unsigned short cast_short_to_ushort_tx (short value)
 
static _Bool cast_uchar_to__Bool_tx (unsigned char value)
 
static char cast_uchar_to_char_tx (unsigned char value)
 
static double cast_uchar_to_double_tx (unsigned char value)
 
static float cast_uchar_to_float_tx (unsigned char value)
 
static int cast_uchar_to_int_tx (unsigned char value)
 
static long double cast_uchar_to_ldouble_tx (unsigned char value)
 
static long long cast_uchar_to_llong_tx (unsigned char value)
 
static long cast_uchar_to_long_tx (unsigned char value)
 
static signed char cast_uchar_to_schar_tx (unsigned char value)
 
static short cast_uchar_to_short_tx (unsigned char value)
 
static unsigned int cast_uchar_to_uint_tx (unsigned char value)
 
static unsigned long long cast_uchar_to_ullong_tx (unsigned char value)
 
static unsigned long cast_uchar_to_ulong_tx (unsigned char value)
 
static unsigned short cast_uchar_to_ushort_tx (unsigned char value)
 
static _Bool cast_uint_to__Bool_tx (unsigned int value)
 
static char cast_uint_to_char_tx (unsigned int value)
 
static double cast_uint_to_double_tx (unsigned int value)
 
static float cast_uint_to_float_tx (unsigned int value)
 
static int cast_uint_to_int_tx (unsigned int value)
 
static long double cast_uint_to_ldouble_tx (unsigned int value)
 
static long long cast_uint_to_llong_tx (unsigned int value)
 
static long cast_uint_to_long_tx (unsigned int value)
 
static signed char cast_uint_to_schar_tx (unsigned int value)
 
static short cast_uint_to_short_tx (unsigned int value)
 
static unsigned char cast_uint_to_uchar_tx (unsigned int value)
 
static unsigned long long cast_uint_to_ullong_tx (unsigned int value)
 
static unsigned long cast_uint_to_ulong_tx (unsigned int value)
 
static unsigned short cast_uint_to_ushort_tx (unsigned int value)
 
static _Bool cast_ullong_to__Bool_tx (unsigned long long value)
 
static char cast_ullong_to_char_tx (unsigned long long value)
 
static double cast_ullong_to_double_tx (unsigned long long value)
 
static float cast_ullong_to_float_tx (unsigned long long value)
 
static int cast_ullong_to_int_tx (unsigned long long value)
 
static long double cast_ullong_to_ldouble_tx (unsigned long long value)
 
static long long cast_ullong_to_llong_tx (unsigned long long value)
 
static long cast_ullong_to_long_tx (unsigned long long value)
 
static signed char cast_ullong_to_schar_tx (unsigned long long value)
 
static short cast_ullong_to_short_tx (unsigned long long value)
 
static unsigned char cast_ullong_to_uchar_tx (unsigned long long value)
 
static unsigned int cast_ullong_to_uint_tx (unsigned long long value)
 
static unsigned long cast_ullong_to_ulong_tx (unsigned long long value)
 
static unsigned short cast_ullong_to_ushort_tx (unsigned long long value)
 
static _Bool cast_ulong_to__Bool_tx (unsigned long value)
 
static char cast_ulong_to_char_tx (unsigned long value)
 
static double cast_ulong_to_double_tx (unsigned long value)
 
static float cast_ulong_to_float_tx (unsigned long value)
 
static int cast_ulong_to_int_tx (unsigned long value)
 
static long double cast_ulong_to_ldouble_tx (unsigned long value)
 
static long long cast_ulong_to_llong_tx (unsigned long value)
 
static long cast_ulong_to_long_tx (unsigned long value)
 
static signed char cast_ulong_to_schar_tx (unsigned long value)
 
static short cast_ulong_to_short_tx (unsigned long value)
 
static unsigned char cast_ulong_to_uchar_tx (unsigned long value)
 
static unsigned int cast_ulong_to_uint_tx (unsigned long value)
 
static unsigned long long cast_ulong_to_ullong_tx (unsigned long value)
 
static unsigned short cast_ulong_to_ushort_tx (unsigned long value)
 
static _Bool cast_ushort_to__Bool_tx (unsigned short value)
 
static char cast_ushort_to_char_tx (unsigned short value)
 
static double cast_ushort_to_double_tx (unsigned short value)
 
static float cast_ushort_to_float_tx (unsigned short value)
 
static int cast_ushort_to_int_tx (unsigned short value)
 
static long double cast_ushort_to_ldouble_tx (unsigned short value)
 
static long long cast_ushort_to_llong_tx (unsigned short value)
 
static long cast_ushort_to_long_tx (unsigned short value)
 
static signed char cast_ushort_to_schar_tx (unsigned short value)
 
static short cast_ushort_to_short_tx (unsigned short value)
 
static unsigned char cast_ushort_to_uchar_tx (unsigned short value)
 
static unsigned int cast_ushort_to_uint_tx (unsigned short value)
 
static unsigned long long cast_ushort_to_ullong_tx (unsigned short value)
 
static unsigned long cast_ushort_to_ulong_tx (unsigned short value)