typing.c File Reference

#include "typing.h"
#include "lookup.h"
#include "semtype.h"
#include "cace/ari/type.h"
#include "cace/ari/algo.h"
#include "cace/ari/text.h"
#include "cace/util/defs.h"
#include "cace/util/logging.h"
#include "cace/config.h"
#include <m-dict.h>
#include <pthread.h>
#include <math.h>
#include <float.h>
#include <fenv.h>

Include dependency graph for typing.c:

Data Structures
struct	cace_ari_type_anyint_constraints_t
	Limitations for integer ARI types. More...
struct	cace_ari_type_anyfloat_constraints_t
	Limitations for REAL* ARI types. More...

Macros
#define	BUILTIN_ANYINT_EXTRACT(valtype, setter)

Functions
static void	builtin_ari_name (const cace_amm_type_t *self, cace_ari_t *name)
	Name any builtin type.
static cace_amm_type_match_res_t	builtin_common_lit_match (const cace_amm_type_t *self, const cace_ari_t *ari)
	Implement common match logic.
static bool	builtin_common_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
	Implement common conversion logic.
static void	cace_ari_force_lit_type (cace_ari_t *out, cace_ari_type_t ari_type)
static cace_amm_type_match_res_t	builtin_literal_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static cace_amm_type_match_res_t	builtin_default_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_default_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
	A default convert function that simply copies a value that matches using the type object, and copies the undefined value unconditionally.
static cace_amm_type_match_res_t	builtin_null_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_null_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static cace_amm_type_match_res_t	builtin_bool_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_bool_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static bool	builtin_anyint_constraints (const cace_ari_type_anyint_constraints_t *cnst, const cace_ari_t *ari)
static bool	builtin_anyfloat_constraints (const cace_ari_type_anyfloat_constraints_t *cnst, double *out, const cace_ari_t *ari)
static cace_amm_type_match_res_t	builtin_byte_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_byte_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static cace_amm_type_match_res_t	builtin_int_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_int_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static cace_amm_type_match_res_t	builtin_uint_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_uint_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static cace_amm_type_match_res_t	builtin_vast_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_vast_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static cace_amm_type_match_res_t	builtin_uvast_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_uvast_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static cace_amm_type_match_res_t	builtin_real32_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_real32_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static cace_amm_type_match_res_t	builtin_real64_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static int	builtin_real64_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static bool	builtin_time_constraints (struct timespec *out, const cace_ari_t *ari)
static int	builtin_time_convert (const cace_amm_type_t *self, cace_ari_t *out, const cace_ari_t *in)
static cace_amm_type_match_res_t	builtin_textstr_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static cace_amm_type_match_res_t	builtin_bytestr_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static cace_amm_type_match_res_t	builtin_idseg_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static cace_amm_type_match_res_t	builtin_object_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static cace_amm_type_match_res_t	builtin_namespace_match (const cace_amm_type_t *self, const cace_ari_t *ari)
static cace_amm_type_match_res_t	builtin_common_objref_match (const cace_amm_type_t *self, const cace_ari_t *ari)
void	cace_amm_builtin_dict_init (void)
	Initializer for cace_amm_builtin_dict.
const cace_amm_type_t *	cace_amm_type_get_builtin (cace_ari_type_t ari_type)
	Get a built-in type object.
void	cace_amm_type_init (cace_amm_type_t *type)
	Initialize a type object to a default, invalid state.
void	cace_amm_type_deinit (cace_amm_type_t *type)
	Free any resources associated with a semantic type.
void	cace_amm_type_reset (cace_amm_type_t *type)
	Reset to the default invalid state.
bool	cace_amm_type_is_valid (const cace_amm_type_t *type)
	Determine if a type object is valid.
bool	cace_amm_type_get_name (const cace_amm_type_t *type, cace_ari_t *name)
	Get an ARI name for a type object.
static int	cace_amm_type_set_name_aritype (cace_amm_type_t *type, const cace_ari_t *name)
	non-recursive builtin
static int	cace_amm_type_set_name_semtype (cace_amm_type_t *type, const cace_ari_t *name, const cace_amm_obj_store_t *store)
int	cace_amm_type_set_name (cace_amm_type_t *type, const cace_ari_t *name, const cace_amm_obj_store_t *store)
cace_amm_type_match_res_t	cace_amm_type_match (const cace_amm_type_t *type, const cace_ari_t *ari)
	Determine if a type (built-in or semantic) matches a specific value.
int	cace_amm_type_convert (const cace_amm_type_t *type, cace_ari_t *out, const cace_ari_t *in)
	Force a value to be converted to a specific type (built-in or semantic).
static bool	cace_amm_builtin_validate_lit (const cace_ari_t *ari, bool is_map_key)
	Match a single ARI with its literal type.
static int	cace_amm_builtin_validate_visit_ari (cace_ari_t *ari, const cace_ari_visit_ctx_t *ctx)
	Adapt to the visitor interface.
bool	cace_amm_builtin_validate (const cace_ari_t *ari)
	Validate that typed literals agree with their values.
bool	cace_amm_ari_is_truthy (const cace_ari_t *in)
	Determine if the given ARI object is truthy.

Variables
static const cace_ari_type_anyint_constraints_t	_builtin_byte_cnst
static const cace_ari_type_anyint_constraints_t	_builtin_int_cnst
static const cace_ari_type_anyint_constraints_t	_builtin_uint_cnst
static const cace_ari_type_anyint_constraints_t	_builtin_vast_cnst
static const cace_ari_type_anyint_constraints_t	_builtin_uvast_cnst
static const cace_ari_type_anyfloat_constraints_t	_builtin_real32_cnst
static const cace_ari_type_anyfloat_constraints_t	_builtin_real64_cnst
static cace_amm_type_t	cace_amm_builtins []
static cace_amm_type_lookup_t	cace_amm_builtin_dict
	Cached type dictionary.
static pthread_once_t	cace_amm_builtin_dict_ctrl = PTHREAD_ONCE_INIT
	Guard for cace_amm_builtin_dict_init()

Macro Definition Documentation

BUILTIN_ANYINT_EXTRACT

#define BUILTIN_ANYINT_EXTRACT	(		valtype,
			setter
	)

Function Documentation

builtin_anyfloat_constraints()

static bool builtin_anyfloat_constraints ( const cace_ari_type_anyfloat_constraints_t *  cnst, double *  out, const cace_ari_t *  ari  )

static

References cace_ari_prim_val_u::as_float64, cace_ari_prim_val_u::as_int64, cace_ari_t::as_lit, cace_ari_prim_val_u::as_uint64, CACE_ARI_PRIM_FLOAT64, CACE_ARI_PRIM_INT64, CACE_ARI_PRIM_UINT64, cace_ari_type_anyfloat_constraints_t::float_min, cace_ari_lit_t::prim_type, and cace_ari_lit_t::value.

Referenced by builtin_real32_convert(), builtin_real32_match(), builtin_real64_convert(), and builtin_real64_match().

builtin_anyint_constraints()

static bool builtin_anyint_constraints ( const cace_ari_type_anyint_constraints_t *  cnst, const cace_ari_t *  ari  )

static

References cace_ari_prim_val_u::as_float64, cace_ari_prim_val_u::as_int64, cace_ari_t::as_lit, cace_ari_prim_val_u::as_uint64, CACE_ARI_PRIM_FLOAT64, CACE_ARI_PRIM_INT64, CACE_ARI_PRIM_UINT64, cace_ari_type_anyint_constraints_t::int_max, cace_ari_type_anyint_constraints_t::int_min, cace_ari_lit_t::prim_type, cace_ari_type_anyint_constraints_t::uint_max, and cace_ari_lit_t::value.

Referenced by builtin_byte_convert(), builtin_byte_match(), builtin_int_convert(), builtin_int_match(), builtin_uint_convert(), builtin_uint_match(), builtin_uvast_convert(), builtin_uvast_match(), builtin_vast_convert(), and builtin_vast_match().

builtin_ari_name()

static void builtin_ari_name ( const cace_amm_type_t *  self, cace_ari_t *  name  )

static

Name any builtin type.

References cace_ari_set_aritype_text().

builtin_bool_convert()

static int builtin_bool_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References builtin_common_convert(), cace_amm_ari_is_truthy(), cace_ari_force_lit_type(), cace_ari_set_prim_bool(), and result.

builtin_bool_match()

static cace_amm_type_match_res_t builtin_bool_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References cace_ari_t::as_lit, builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, cace_amm_type_match_pos_neg(), CACE_ARI_PRIM_BOOL, and cace_ari_lit_t::prim_type.

builtin_byte_convert()

static int builtin_byte_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References _builtin_byte_cnst, builtin_anyint_constraints(), BUILTIN_ANYINT_EXTRACT, builtin_common_convert(), CACE_AMM_ERR_CONVERT_BADVALUE, cace_ari_set_byte(), and cace_ari_t::is_ref.

builtin_byte_match()

static cace_amm_type_match_res_t builtin_byte_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References _builtin_byte_cnst, builtin_anyint_constraints(), builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, and cace_amm_type_match_pos_neg().

builtin_bytestr_match()

static cace_amm_type_match_res_t builtin_bytestr_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References cace_ari_t::as_lit, builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, cace_amm_type_match_pos_neg(), CACE_ARI_PRIM_BSTR, and cace_ari_lit_t::prim_type.

builtin_common_convert()

static bool builtin_common_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

Implement common conversion logic.

This passes-through undefined values.

Returns

True if the common logic did the conversion.

References cace_ari_is_undefined(), and cace_ari_set_undefined().

Referenced by builtin_bool_convert(), builtin_byte_convert(), builtin_default_convert(), builtin_int_convert(), builtin_null_convert(), builtin_real32_convert(), builtin_real64_convert(), builtin_time_convert(), builtin_uint_convert(), builtin_uvast_convert(), and builtin_vast_convert().

builtin_common_lit_match()

static cace_amm_type_match_res_t builtin_common_lit_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

Implement common match logic.

This checks that the object-reference or literal type, if present, is as required by the type object.

Returns

Whether the common logic positively or negatively matched.

References cace_ari_lit_t::ari_type, cace_ari_t::as_lit, CACE_AMM_TYPE_MATCH_NEGATIVE, CACE_AMM_TYPE_MATCH_NOINFO, CACE_AMM_TYPE_MATCH_UNDEFINED, cace_ari_is_undefined(), cace_ari_lit_t::has_ari_type, and cace_ari_t::is_ref.

Referenced by builtin_bool_match(), builtin_byte_match(), builtin_bytestr_match(), builtin_default_match(), builtin_idseg_match(), builtin_int_match(), builtin_null_match(), builtin_real32_match(), builtin_real64_match(), builtin_textstr_match(), builtin_uint_match(), builtin_uvast_match(), and builtin_vast_match().

builtin_common_objref_match()

static cace_amm_type_match_res_t builtin_common_objref_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References cace_ari_objpath_t::ari_type, cace_ari_t::as_ref, CACE_AMM_TYPE_MATCH_NEGATIVE, cace_amm_type_match_pos_neg(), CACE_AMM_TYPE_MATCH_UNDEFINED, cace_ari_is_undefined(), cace_ari_objpath_t::has_ari_type, cace_ari_t::is_ref, and cace_ari_ref_t::objpath.

builtin_default_convert()

static int builtin_default_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

A default convert function that simply copies a value that matches using the type object, and copies the undefined value unconditionally.

References builtin_common_convert(), CACE_AMM_ERR_CONVERT_BADVALUE, CACE_AMM_ERR_CONVERT_NULLFUNC, CACE_AMM_TYPE_MATCH_NEGATIVE, CACE_AMM_TYPE_MATCH_NOINFO, and cace_ari_set_copy().

builtin_default_match()

static cace_amm_type_match_res_t builtin_default_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, and CACE_AMM_TYPE_MATCH_POSITIVE.

builtin_idseg_match()

static cace_amm_type_match_res_t builtin_idseg_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References cace_ari_t::as_lit, builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, cace_amm_type_match_pos_neg(), CACE_ARI_PRIM_INT64, CACE_ARI_PRIM_TSTR, and cace_ari_lit_t::prim_type.

builtin_int_convert()

static int builtin_int_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References _builtin_int_cnst, builtin_anyint_constraints(), BUILTIN_ANYINT_EXTRACT, builtin_common_convert(), CACE_AMM_ERR_CONVERT_BADVALUE, cace_ari_set_int(), and cace_ari_t::is_ref.

builtin_int_match()

static cace_amm_type_match_res_t builtin_int_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References _builtin_int_cnst, builtin_anyint_constraints(), builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, and cace_amm_type_match_pos_neg().

builtin_literal_match()

static cace_amm_type_match_res_t builtin_literal_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References cace_amm_type_match_pos_neg(), CACE_AMM_TYPE_MATCH_UNDEFINED, cace_ari_is_undefined(), and cace_ari_t::is_ref.

builtin_namespace_match()

static cace_amm_type_match_res_t builtin_namespace_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References CACE_AMM_TYPE_MATCH_NEGATIVE, CACE_AMM_TYPE_MATCH_POSITIVE, CACE_AMM_TYPE_MATCH_UNDEFINED, cace_ari_cget_ref_objpath(), cace_ari_is_undefined(), cace_ari_idseg_t::form, cace_ari_objpath_t::obj_id, and cace_ari_objpath_t::type_id.

builtin_null_convert()

static int builtin_null_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References builtin_common_convert(), cace_ari_force_lit_type(), and cace_ari_set_null().

builtin_null_match()

static cace_amm_type_match_res_t builtin_null_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References cace_ari_t::as_lit, builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, cace_amm_type_match_pos_neg(), CACE_ARI_PRIM_NULL, and cace_ari_lit_t::prim_type.

builtin_object_match()

static cace_amm_type_match_res_t builtin_object_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References CACE_AMM_TYPE_MATCH_NEGATIVE, CACE_AMM_TYPE_MATCH_POSITIVE, CACE_AMM_TYPE_MATCH_UNDEFINED, cace_ari_cget_ref_objpath(), cace_ari_is_undefined(), cace_ari_idseg_t::form, cace_ari_objpath_t::obj_id, and cace_ari_objpath_t::type_id.

builtin_real32_convert()

static int builtin_real32_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References _builtin_real32_cnst, builtin_anyfloat_constraints(), builtin_common_convert(), CACE_AMM_ERR_CONVERT_BADVALUE, cace_ari_force_lit_type(), cace_ari_set_real32(), cace_ari_t::is_ref, and result.

builtin_real32_match()

static cace_amm_type_match_res_t builtin_real32_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References _builtin_real32_cnst, builtin_anyfloat_constraints(), builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, and cace_amm_type_match_pos_neg().

builtin_real64_convert()

static int builtin_real64_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References _builtin_real64_cnst, builtin_anyfloat_constraints(), builtin_common_convert(), CACE_AMM_ERR_CONVERT_BADVALUE, cace_ari_force_lit_type(), cace_ari_set_real64(), cace_ari_t::is_ref, and result.

builtin_real64_match()

static cace_amm_type_match_res_t builtin_real64_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References _builtin_real64_cnst, builtin_anyfloat_constraints(), builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, and cace_amm_type_match_pos_neg().

builtin_textstr_match()

static cace_amm_type_match_res_t builtin_textstr_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References cace_ari_t::as_lit, builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, cace_amm_type_match_pos_neg(), CACE_ARI_PRIM_TSTR, and cace_ari_lit_t::prim_type.

builtin_time_constraints()

static bool builtin_time_constraints ( struct timespec *  out, const cace_ari_t *  ari  )

static

References cace_ari_prim_val_u::as_float64, cace_ari_prim_val_u::as_int64, cace_ari_t::as_lit, cace_ari_prim_val_u::as_timespec, cace_ari_prim_val_u::as_uint64, CACE_ARI_PRIM_FLOAT64, CACE_ARI_PRIM_INT64, CACE_ARI_PRIM_TIMESPEC, CACE_ARI_PRIM_UINT64, cace_ari_lit_t::prim_type, and cace_ari_lit_t::value.

Referenced by builtin_time_convert().

builtin_time_convert()

static int builtin_time_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References cace_ari_lit_t::ari_type, cace_ari_t::as_lit, builtin_common_convert(), builtin_time_constraints(), CACE_AMM_ERR_CONVERT_BADVALUE, cace_ari_force_lit_type(), cace_ari_set_tp(), CACE_ARI_TYPE_TD, CACE_ARI_TYPE_TP, cace_ari_t::is_ref, and result.

builtin_uint_convert()

static int builtin_uint_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References _builtin_uint_cnst, builtin_anyint_constraints(), BUILTIN_ANYINT_EXTRACT, builtin_common_convert(), CACE_AMM_ERR_CONVERT_BADVALUE, cace_ari_set_uint(), and cace_ari_t::is_ref.

builtin_uint_match()

static cace_amm_type_match_res_t builtin_uint_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References _builtin_uint_cnst, builtin_anyint_constraints(), builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, and cace_amm_type_match_pos_neg().

builtin_uvast_convert()

static int builtin_uvast_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References _builtin_uvast_cnst, builtin_anyint_constraints(), BUILTIN_ANYINT_EXTRACT, builtin_common_convert(), CACE_AMM_ERR_CONVERT_BADVALUE, cace_ari_set_uvast(), and cace_ari_t::is_ref.

builtin_uvast_match()

static cace_amm_type_match_res_t builtin_uvast_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References _builtin_uvast_cnst, builtin_anyint_constraints(), builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, and cace_amm_type_match_pos_neg().

builtin_vast_convert()

static int builtin_vast_convert ( const cace_amm_type_t *  self, cace_ari_t *  out, const cace_ari_t *  in  )

static

References _builtin_vast_cnst, builtin_anyint_constraints(), BUILTIN_ANYINT_EXTRACT, builtin_common_convert(), CACE_AMM_ERR_CONVERT_BADVALUE, cace_ari_set_vast(), and cace_ari_t::is_ref.

builtin_vast_match()

static cace_amm_type_match_res_t builtin_vast_match ( const cace_amm_type_t *  self, const cace_ari_t *  ari  )

static

References _builtin_vast_cnst, builtin_anyint_constraints(), builtin_common_lit_match(), CACE_AMM_TYPE_MATCH_NOINFO, and cace_amm_type_match_pos_neg().

cace_amm_ari_is_truthy()

bool cace_amm_ari_is_truthy

(

const cace_ari_t *

in

)

Determine if the given ARI object is truthy.

Parameters

in	Object to check for truthiness

Returns

Boolean indicating if obj is truthy

References cace_ari_lit_t::ari_type, cace_ari_prim_val_u::as_bool, cace_ari_prim_val_u::as_data, cace_ari_prim_val_u::as_float64, cace_ari_prim_val_u::as_int64, cace_ari_t::as_lit, cace_ari_prim_val_u::as_timespec, cace_ari_prim_val_u::as_uint64, CACE_ARI_PRIM_BOOL, CACE_ARI_PRIM_BSTR, CACE_ARI_PRIM_FLOAT64, CACE_ARI_PRIM_INT64, CACE_ARI_PRIM_NULL, CACE_ARI_PRIM_OTHER, CACE_ARI_PRIM_TIMESPEC, CACE_ARI_PRIM_TSTR, CACE_ARI_PRIM_UINT64, CACE_ARI_PRIM_UNDEFINED, CACE_ARI_TYPE_AC, CACE_ARI_TYPE_AM, CACE_ARI_TYPE_ARITYPE, CACE_ARI_TYPE_EXECSET, CACE_ARI_TYPE_RPTSET, CACE_ARI_TYPE_TBL, cace_ari_t::is_ref, cace_data_t::len, cace_ari_lit_t::prim_type, result, and cace_ari_lit_t::value.

Referenced by builtin_bool_convert(), refda_adm_ietf_dtnma_agent_oper_tbl_filter(), refda_alarms_compress(), refda_alarms_mgr_state(), refda_alarms_purge(), and refda_exec_run_sbr().

cace_amm_builtin_dict_init()

void cace_amm_builtin_dict_init

(

void

)

Initializer for cace_amm_builtin_dict.

References cace_amm_builtin_dict, and cace_amm_builtins.

Referenced by cace_amm_type_get_builtin().

cace_amm_builtin_validate()

bool cace_amm_builtin_validate

(

const cace_ari_t *

ari

)

Validate that typed literals agree with their values.

This performs comparisons of valid cace_ari_lit_t::prim_type and valid cace_ari_lit_t::value within each ARI type.

References cace_amm_builtin_validate_visit_ari(), cace_ari_visit(), CHKFALSE, and cace_ari_visitor_t::visit_ari.

Referenced by check_decoding(), and test_cace_ari_cbor_decode_invalid().

cace_amm_builtin_validate_lit()

static bool cace_amm_builtin_validate_lit ( const cace_ari_t *  ari, bool  is_map_key  )

static

Match a single ARI with its literal type.

Returns

True if it is a typed literal with matching value, or if it is not a typed literal.

References cace_ari_lit_t::ari_type, cace_ari_t::as_lit, cace_amm_type_get_builtin(), cace_amm_type_match(), CACE_AMM_TYPE_MATCH_POSITIVE, cace_ari_lit_t::has_ari_type, and cace_ari_t::is_ref.

Referenced by cace_amm_builtin_validate_visit_ari().

cace_amm_builtin_validate_visit_ari()

static int cace_amm_builtin_validate_visit_ari ( cace_ari_t *  ari, const cace_ari_visit_ctx_t *  ctx  )

static

Adapt to the visitor interface.

References cace_amm_builtin_validate_lit(), and cace_ari_visit_ctx_t::is_map_key.

Referenced by cace_amm_builtin_validate().

cace_amm_type_convert()

int cace_amm_type_convert	(	const cace_amm_type_t *	type,
		cace_ari_t *	out,
		const cace_ari_t *	in
	)

Force a value to be converted to a specific type (built-in or semantic).

Parameters

[in]	type	The type to convert to.
[out]	out	The converted value (valid if the return is zero). This struct must already be initialized.
[in]	in	The value to convert. This struct must be initialized.

Returns

Zero if the conversion is successful.

References CACE_AMM_ERR_CONVERT_NULLFUNC, CACE_LOG_DEBUG, CHKERR1, and CHKRET.

Referenced by ari_numeric_add(), cace_amm_actual_param_set_populate(), cace_amm_semtype_dlist_convert(), cace_amm_semtype_seq_convert_it(), cace_amm_semtype_tblt_convert(), cace_amm_semtype_ulist_convert(), cace_amm_semtype_umap_convert(), cace_amm_semtype_union_convert(), cace_amm_semtype_use_convert(), cace_ari_equal(), cace_numeric_binary_comparison_operator(), cace_numeric_binary_operator(), cace_numeric_integer_binary_operator(), check_convert(), normalize_key(), refda_adm_ietf_dtnma_agent_ctrl_wait_cond_check(), refda_eval_condition(), refda_eval_oper(), and refda_oper_eval_ctx_populate().

cace_amm_type_deinit()

void cace_amm_type_deinit

(

cace_amm_type_t *

type

)

Free any resources associated with a semantic type.

Parameters

[in,out]

type

The object to de-initialize.

References CACE_AMM_TYPE_BUILTIN, CACE_AMM_TYPE_INIT_INVALID, CACE_AMM_TYPE_INVALID, CACE_FREE, and CHKVOID.

Referenced by cace_amm_formal_param_deinit(), cace_amm_named_type_deinit(), cace_amm_semtype_seq_deinit(), cace_amm_semtype_ulist_deinit(), cace_amm_semtype_umap_deinit(), cace_amm_type_reset(), refda_amm_const_desc_deinit(), refda_amm_ctrl_desc_deinit(), refda_amm_edd_desc_deinit(), refda_amm_oper_desc_deinit(), refda_amm_typedef_desc_deinit(), refda_amm_var_desc_deinit(), test_amm_type_match_semtype_dlist_2item(), test_amm_type_match_semtype_dlist_seq_minmax(), test_amm_type_match_semtype_tblt_1(), test_amm_type_match_semtype_ulist_1(), test_amm_type_match_semtype_umap_1(), test_amm_type_match_semtype_union_1(), test_amm_type_match_semtype_use_1(), and test_amm_type_set_name_builtin().

cace_amm_type_get_builtin()

const cace_amm_type_t * cace_amm_type_get_builtin

(

cace_ari_type_t

ari_type

)

Get a built-in type object.

Parameters

ari_type

The associated literal type to lookup.

Returns

A stable non-null pointer to a built-in type object or a null pointer if not found.

References cace_amm_builtin_dict, cace_amm_builtin_dict_ctrl, cace_amm_builtin_dict_init(), and CACE_LOG_WARNING.

Referenced by ari_numeric_add(), cace_amm_builtin_validate_lit(), cace_amm_type_set_name_aritype(), cace_amm_type_set_use_builtin(), cace_ari_equal(), cace_numeric_binary_comparison_operator(), cace_numeric_binary_operator(), cace_numeric_integer_binary_operator(), normalize_key(), refda_adm_ietf_dtnma_agent_ctrl_wait_cond_check(), refda_binding_semtype_use(), refda_eval_condition(), test_amm_type_convert_bool(), test_amm_type_convert_byte(), test_amm_type_convert_ident(), test_amm_type_convert_int(), test_amm_type_convert_namespace(), test_amm_type_convert_null(), test_amm_type_convert_object(), test_amm_type_convert_real64(), test_amm_type_convert_td(), test_amm_type_convert_tp(), test_amm_type_get_name_builtin(), test_amm_type_match_ident(), test_amm_type_match_int(), test_amm_type_match_namespace(), test_amm_type_match_null(), test_amm_type_match_object(), and test_refda_exec_target().

cace_amm_type_get_name()

bool cace_amm_type_get_name	(	const cace_amm_type_t *	type,
		cace_ari_t *	name
	)

Get an ARI name for a type object.

This is the inverse of cace_amm_type_set_name().

Parameters

[in]	type	The type to name.
[out]	name	The generated name.

Returns

True if a name was set.

References cace_ari_set_undefined(), and CHKFALSE.

Referenced by cace_amm_actual_param_set_populate(), cace_amm_semtype_dlist_name(), cace_amm_semtype_seq_name(), cace_amm_semtype_tblt_match(), cace_amm_semtype_tblt_name(), cace_amm_semtype_ulist_name(), cace_amm_semtype_umap_name(), cace_amm_semtype_union_convert(), cace_amm_semtype_union_name(), cace_amm_semtype_use_name(), refda_adm_ietf_dtnma_agent_edd_const_list(), refda_adm_ietf_dtnma_agent_edd_var_list(), refda_edd_prod_check_result(), and test_amm_type_get_name_builtin().

cace_amm_type_init()

void cace_amm_type_init

(

cace_amm_type_t *

type

)

Initialize a type object to a default, invalid state.

Parameters

[out]

type

The type to initialize.

References CACE_AMM_TYPE_INIT_INVALID, and CHKVOID.

Referenced by cace_amm_formal_param_init(), cace_amm_named_type_init(), cace_amm_semtype_seq_init(), cace_amm_semtype_ulist_init(), cace_amm_semtype_umap_init(), refda_amm_ctrl_desc_init(), refda_amm_edd_desc_init(), refda_amm_oper_desc_init(), refda_amm_typedef_desc_init(), refda_amm_var_desc_init(), test_amm_type_match_semtype_dlist_2item(), test_amm_type_match_semtype_dlist_seq_minmax(), test_amm_type_match_semtype_tblt_1(), test_amm_type_match_semtype_ulist_1(), test_amm_type_match_semtype_umap_1(), test_amm_type_match_semtype_union_1(), and test_amm_type_match_semtype_use_1().

cace_amm_type_is_valid()

bool cace_amm_type_is_valid

(

const cace_amm_type_t *

type

)

Determine if a type object is valid.

Returns

True if the object is valid.

References CACE_AMM_TYPE_INVALID, and CHKFALSE.

Referenced by refda_binding_ctrl(), refda_ctrl_exec_ctx_check_result(), refda_eval_oper(), and refda_valprod_edd_run().

cace_amm_type_match()

cace_amm_type_match_res_t cace_amm_type_match	(	const cace_amm_type_t *	type,
		const cace_ari_t *	ari
	)

Determine if a type (built-in or semantic) matches a specific value.

Parameters

[in]	type	The type to check against.
[in]	ari	The value to check. This struct must be initialized.

Returns

AMM_TYPE_MATCH_POSITIVE if the type fully matches the value.

References CACE_AMM_TYPE_MATCH_NEGATIVE, CACE_LOG_DEBUG, and CHKRET.

Referenced by cace_amm_builtin_validate_lit(), cace_amm_semtype_dlist_match(), cace_amm_semtype_seq_match_it(), cace_amm_semtype_tblt_match(), cace_amm_semtype_ulist_match(), cace_amm_semtype_umap_match(), cace_amm_semtype_union_convert(), cace_amm_semtype_union_match(), cace_amm_semtype_use_match(), check_match(), refda_adm_ietf_dtnma_agent_ctrl_ensure_const(), refda_adm_ietf_dtnma_agent_ctrl_ensure_var(), refda_ctrl_exec_ctx_check_result(), refda_edd_prod_check_result(), refda_exec_proc_exp_item(), refda_reporting_rptt_lit(), refda_reporting_rptt_val(), and test_refda_exec_target().

cace_amm_type_reset()

void cace_amm_type_reset

(

cace_amm_type_t *

type

)

Reset to the default invalid state.

Parameters

[in,out]

type

The object to reset.

References cace_amm_type_deinit().

Referenced by cace_amm_type_set_dlist(), cace_amm_type_set_name(), cace_amm_type_set_seq(), cace_amm_type_set_tblt_size(), cace_amm_type_set_ulist(), cace_amm_type_set_umap(), cace_amm_type_set_union_size(), and cace_amm_type_set_use().

cace_amm_type_set_name()

int cace_amm_type_set_name	(	cace_amm_type_t *	type,
		const cace_ari_t *	name,
		const cace_amm_obj_store_t *	store
	)

References cace_amm_type_reset(), cace_amm_type_set_name_aritype(), cace_amm_type_set_name_semtype(), cace_ari_cget_ref(), cace_ari_is_lit_typed(), CACE_ARI_TEXT_ENC_OPTS_DEFAULT, cace_ari_text_encode(), CACE_ARI_TYPE_ARITYPE, CACE_LOG_ERR, CHKERR1, and store.

Referenced by cace_amm_type_set_dlist_from_name(), cace_amm_type_set_seq_from_name(), cace_amm_type_set_tblt_from_name(), cace_amm_type_set_ulist_from_name(), cace_amm_type_set_umap_from_name(), cace_amm_type_set_umap_name(), cace_amm_type_set_union_from_name(), refda_adm_ietf_dtnma_agent_ctrl_ensure_const(), refda_adm_ietf_dtnma_agent_ctrl_ensure_var(), and test_amm_type_set_name_builtin().

cace_amm_type_set_name_aritype()

static int cace_amm_type_set_name_aritype ( cace_amm_type_t *  type, const cace_ari_t *  name  )

static

non-recursive builtin

References cace_amm_type_get_builtin(), cace_ari_cget_tstr_cstr(), cace_ari_get_int(), cace_ari_type_from_name(), and CACE_LOG_ERR.

Referenced by cace_amm_type_set_name().

cace_amm_type_set_name_semtype()

static int cace_amm_type_set_name_semtype ( cace_amm_type_t *  type, const cace_ari_t *  name, const cace_amm_obj_store_t *  store  )

static

References cace_amm_lookup_deinit(), cace_amm_lookup_deref(), cace_amm_lookup_init(), cace_amm_obj_ns_is_match(), cace_amm_type_set_dlist_from_name(), cace_amm_type_set_seq_from_name(), cace_amm_type_set_tblt_from_name(), cace_amm_type_set_ulist_from_name(), cace_amm_type_set_umap_from_name(), cace_amm_type_set_union_from_name(), cace_amm_type_set_use_from_name(), CACE_LOG_CRIT, CACE_LOG_ERR, cace_amm_idseg_val_t::has_intenum, cace_amm_idseg_val_t::intenum, cace_amm_lookup_t::ns, cace_amm_lookup_t::obj, cace_amm_obj_desc_t::obj_id, and store.

Referenced by cace_amm_type_set_name().

cace_ari_force_lit_type()

static void cace_ari_force_lit_type ( cace_ari_t *  out, cace_ari_type_t  ari_type  )

static

References cace_ari_lit_t::ari_type, cace_ari_t::as_lit, and cace_ari_lit_t::has_ari_type.

Referenced by builtin_bool_convert(), builtin_null_convert(), builtin_real32_convert(), builtin_real64_convert(), and builtin_time_convert().

Variable Documentation

_builtin_byte_cnst

const cace_ari_type_anyint_constraints_t _builtin_byte_cnst

static

Initial value:

= {
    .uint_max = UINT8_MAX,
    .int_min  = 0,
    .int_max  = UINT8_MAX,
}

Referenced by builtin_byte_convert(), and builtin_byte_match().

_builtin_int_cnst

const cace_ari_type_anyint_constraints_t _builtin_int_cnst

static

Initial value:

= {
    .uint_max = INT32_MAX,
    .int_min  = INT32_MIN,
    .int_max  = INT32_MAX,
}

Referenced by builtin_int_convert(), and builtin_int_match().

_builtin_real32_cnst

const cace_ari_type_anyfloat_constraints_t _builtin_real32_cnst

static

Initial value:

= {
    .float_min = -FLT_MAX,
    .float_max = FLT_MAX,
}

Referenced by builtin_real32_convert(), and builtin_real32_match().

_builtin_real64_cnst

const cace_ari_type_anyfloat_constraints_t _builtin_real64_cnst

static

Initial value:

= {
    .float_min = -DBL_MAX,
    .float_max = DBL_MAX,
}

Referenced by builtin_real64_convert(), and builtin_real64_match().

_builtin_uint_cnst

const cace_ari_type_anyint_constraints_t _builtin_uint_cnst

static

Initial value:

= {
    .uint_max = UINT32_MAX,
    .int_min  = 0,
    .int_max  = UINT32_MAX,
}

Referenced by builtin_uint_convert(), and builtin_uint_match().

_builtin_uvast_cnst

const cace_ari_type_anyint_constraints_t _builtin_uvast_cnst

static

Initial value:

= {
    .uint_max = UINT64_MAX,
    .int_min  = 0,
    .int_max  = INT64_MAX, 
}

Referenced by builtin_uvast_convert(), and builtin_uvast_match().

_builtin_vast_cnst

const cace_ari_type_anyint_constraints_t _builtin_vast_cnst

static

Initial value:

= {
    .uint_max = INT64_MAX,
    .int_min  = 0,
    .int_max  = INT64_MAX,
}

Referenced by builtin_vast_convert(), and builtin_vast_match().

cace_amm_builtin_dict

cace_amm_type_lookup_t cace_amm_builtin_dict

static

Cached type dictionary.

Referenced by cace_amm_builtin_dict_init(), and cace_amm_type_get_builtin().

cace_amm_builtin_dict_ctrl

pthread_once_t cace_amm_builtin_dict_ctrl = PTHREAD_ONCE_INIT

static

Guard for cace_amm_builtin_dict_init()

Referenced by cace_amm_type_get_builtin().

cace_amm_builtins

cace_amm_type_t cace_amm_builtins[]

static

Referenced by cace_amm_builtin_dict_init().