Tokenizers and support functions for xlat expressions. More...

#include <freeradius-devel/server/base.h>
#include <freeradius-devel/unlang/xlat_priv.h>
#include <freeradius-devel/util/calc.h>
#include <freeradius-devel/server/tmpl_dcursor.h>

Include dependency graph for xlat_expr.c:

Go to the source code of this file.

Data Structures
struct	xlat_exists_inst_t

struct	xlat_exists_rctx_t

struct	xlat_logical_inst_t

struct	xlat_logical_rctx_t

struct	xlat_rcode_inst_t
	Holds the result of pre-parsing the rcode on startup. More...

struct	xlat_regex_inst_t

struct	xlat_regex_rctx_t

Macros
#define	fr_sbuff_skip_whitespace(_x)

#define	P(_x, _y) (((_x) << 4) \| (_y))

#define	XLAT_BINARY_FUNC(_name, _op)

#define	XLAT_CMP_FUNC(_name, _op)

#define	XLAT_DEBUG(...)

#define	XLAT_REGEX_FUNC(_name, _op)

#define	XLAT_REGISTER_BINARY_CMP(_op, _name)

#define	XLAT_REGISTER_BINARY_OP(_op, _name)

#define	XLAT_REGISTER_BOOL(_xlat, _func, _arg, _ret_type)

#define	XLAT_REGISTER_NARY_OP(_op, _name, _func_name)

#define	XLAT_REGISTER_REGEX_OP(_op, _name)

#define	XLAT_REGISTER_UNARY(_op, _xlat, _func)

Functions
static xlat_exp_t *	expr_cast_alloc (TALLOC_CTX ctx, fr_type_t type, xlat_exp_t child)
	Allocate a specific cast node.

static fr_slen_t	expr_cast_from_substr (fr_type_t cast, fr_sbuff_t in)

static void	fr_value_box_init_zero (fr_value_box_t *vb, fr_type_t type)

static ssize_t	tokenize_expression (xlat_exp_head_t head, xlat_exp_t out, fr_sbuff_t in, fr_sbuff_parse_rules_t const p_rules, tmpl_rules_t const t_rules, fr_token_t prev, fr_sbuff_parse_rules_t const bracket_rules, fr_sbuff_parse_rules_t const input_rules, bool cond)
	Tokenize a mathematical operation.

static ssize_t	tokenize_field (xlat_exp_head_t head, xlat_exp_t out, fr_sbuff_t in, fr_sbuff_parse_rules_t const p_rules, tmpl_rules_t const t_rules, fr_sbuff_parse_rules_t const bracket_rules, char out_c, bool cond))

static ssize_t	tokenize_rcode (xlat_exp_head_t head, xlat_exp_t out, fr_sbuff_t in, fr_sbuff_term_t const *terminals)

static fr_slen_t	tokenize_regex_rhs (xlat_exp_head_t head, xlat_exp_t out, fr_sbuff_t in, tmpl_rules_t const t_rules, fr_sbuff_parse_rules_t const bracket_rules)

static fr_slen_t	tokenize_unary (xlat_exp_head_t head, xlat_exp_t out, fr_sbuff_t in, fr_sbuff_parse_rules_t const p_rules, tmpl_rules_t const t_rules, fr_sbuff_parse_rules_t const bracket_rules, char out_c, bool cond))

static bool	valid_type (xlat_exp_t *node)

static xlat_action_t	xlat_attr_exists (TALLOC_CTX ctx, fr_dcursor_t out, request_t request, tmpl_t const vpt, bool do_free)

static xlat_action_t	xlat_binary_op (TALLOC_CTX ctx, fr_dcursor_t out, UNUSED xlat_ctx_t const xctx, request_t request, fr_value_box_list_t in, fr_token_t op, fr_type_t default_type, fr_dict_attr_t const enumv)

static xlat_action_t	xlat_cmp_op (TALLOC_CTX ctx, fr_dcursor_t out, UNUSED xlat_ctx_t const xctx, UNUSED request_t request, fr_value_box_list_t *in, fr_token_t op)

static xlat_exp_t *	xlat_exists_alloc (TALLOC_CTX ctx, xlat_exp_t child)
	Allocate a specific cast node.

static int	xlat_expr_logical_purify (xlat_exp_t node, void instance, request_t *request)
	If any argument resolves to inst->stop_on_match, the entire thing is a bool of inst->stop_on_match.

static fr_slen_t	xlat_expr_print_binary (fr_sbuff_t out, xlat_exp_t const node, UNUSED void inst, fr_sbuff_escape_rules_t const e_rules)

static fr_slen_t	xlat_expr_print_exists (fr_sbuff_t out, xlat_exp_t const node, void instance, fr_sbuff_escape_rules_t const e_rules)

static fr_slen_t	xlat_expr_print_nary (fr_sbuff_t out, xlat_exp_t const node, void instance, fr_sbuff_escape_rules_t const e_rules)

static fr_slen_t	xlat_expr_print_rcode (fr_sbuff_t out, xlat_exp_t const node, void instance, UNUSED fr_sbuff_escape_rules_t const e_rules)

static fr_slen_t	xlat_expr_print_regex (fr_sbuff_t out, xlat_exp_t const node, void instance, fr_sbuff_escape_rules_t const e_rules)

static fr_slen_t	xlat_expr_print_unary (fr_sbuff_t out, xlat_exp_t const node, UNUSED void inst, fr_sbuff_escape_rules_t const e_rules)

static int	xlat_expr_resolve_binary (xlat_exp_t node, UNUSED void inst, xlat_res_rules_t const *xr_rules)

static void	xlat_func_append_arg (xlat_exp_t head, xlat_exp_t node, bool exists)

static xlat_action_t	xlat_func_exists (TALLOC_CTX ctx, fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, UNUSED fr_value_box_list_t *in)
	See if a named attribute exists.

static xlat_action_t	xlat_func_expr_rcode (TALLOC_CTX ctx, fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, fr_value_box_list_t *args)
	Match the passed rcode against request->rcode.

static xlat_action_t	xlat_func_logical (TALLOC_CTX ctx, fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, fr_value_box_list_t *in)
	Process logical &&, \|\|.

static xlat_action_t	xlat_func_rcode (TALLOC_CTX ctx, fr_dcursor_t out, UNUSED xlat_ctx_t const xctx, request_t request, UNUSED fr_value_box_list_t *args)
	Return the current rcode as a string.

static xlat_action_t	xlat_func_unary_complement (TALLOC_CTX ctx, fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, fr_value_box_list_t *in)

static xlat_action_t	xlat_func_unary_minus (TALLOC_CTX ctx, fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, fr_value_box_list_t *in)

static xlat_action_t	xlat_func_unary_not (TALLOC_CTX ctx, fr_dcursor_t out, UNUSED xlat_ctx_t const xctx, UNUSED request_t request, fr_value_box_list_t *in)

static xlat_action_t	xlat_func_unary_op (TALLOC_CTX ctx, fr_dcursor_t out, UNUSED xlat_ctx_t const xctx, request_t request, fr_value_box_list_t *in, fr_token_t op)

static int	xlat_instantiate_exists (xlat_inst_ctx_t const *xctx)

static int	xlat_instantiate_expr_rcode (xlat_inst_ctx_t const *xctx)
	Convert static expr_rcode arguments into rcodes.

static int	xlat_instantiate_logical (xlat_inst_ctx_t const *xctx)

static int	xlat_instantiate_regex (xlat_inst_ctx_t const *xctx)

bool	xlat_is_truthy (xlat_exp_head_t const head, bool out)
	Allow callers to see if an xlat is truthy.

static bool	xlat_logical_and (xlat_logical_rctx_t rctx, fr_value_box_list_t const in)
	See if the input is truthy or not.

static xlat_action_t	xlat_logical_and_resume (TALLOC_CTX ctx, fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, fr_value_box_list_t *in)

static bool	xlat_logical_or (xlat_logical_rctx_t rctx, fr_value_box_list_t const in)
	See if the input is truthy or not.

static xlat_action_t	xlat_logical_or_resume (TALLOC_CTX ctx, fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, fr_value_box_list_t *in)

static xlat_action_t	xlat_logical_process_arg (UNUSED TALLOC_CTX ctx, UNUSED fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, UNUSED fr_value_box_list_t *in)
	Process one argument of a logical operation.

static bool	xlat_node_matches_bool (bool result, xlat_exp_t parent, xlat_exp_head_t *head, bool sense)

static xlat_action_t	xlat_regex_match (TALLOC_CTX ctx, request_t request, fr_value_box_list_t in, regex_t preg, fr_dcursor_t out, fr_token_t op)
	Perform a regular expressions comparison between two operands.

static xlat_action_t	xlat_regex_op (TALLOC_CTX ctx, fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, fr_value_box_list_t *in, fr_token_t op)

static xlat_action_t	xlat_regex_resume (TALLOC_CTX ctx, fr_dcursor_t out, xlat_ctx_t const xctx, request_t request, fr_value_box_list_t *in)

int	xlat_register_expressions (void)

fr_slen_t	xlat_tokenize_condition (TALLOC_CTX ctx, xlat_exp_head_t out, fr_sbuff_t in, fr_sbuff_parse_rules_t const p_rules, tmpl_rules_t const t_rules)

fr_slen_t	xlat_tokenize_expression (TALLOC_CTX ctx, xlat_exp_head_t out, fr_sbuff_t in, fr_sbuff_parse_rules_t const p_rules, tmpl_rules_t const t_rules)

static fr_slen_t	xlat_tokenize_expression_internal (TALLOC_CTX ctx, xlat_exp_head_t out, fr_sbuff_t in, fr_sbuff_parse_rules_t const p_rules, tmpl_rules_t const t_rules, bool cond)

static void	xlat_ungroup (xlat_exp_head_t *head)
	Undo work which shouldn't have been done.

Variables
static xlat_arg_parser_t const	binary_cmp_xlat_args []

static xlat_arg_parser_t const	binary_op_xlat_args []

static const fr_sbuff_term_elem_t	binary_ops [T_TOKEN_LAST]

static const fr_sbuff_term_t	bracket_terms

static fr_table_num_ordered_t const	expr_assignment_op_table []

static size_t const	expr_assignment_op_table_len = NUM_ELEMENTS(expr_assignment_op_table)

static fr_table_num_sorted_t const	expr_quote_table []

static size_t	expr_quote_table_len = NUM_ELEMENTS(expr_quote_table)

static const bool	logical_ops [T_TOKEN_LAST]

static const bool	multivalue_ops [T_TOKEN_LAST]

static const fr_sbuff_term_t	operator_terms

static const int	precedence [T_TOKEN_LAST]

static xlat_arg_parser_t const	regex_op_xlat_args []

static xlat_arg_parser_t const	unary_op_xlat_args []

static xlat_arg_parser_t const	xlat_func_exists_arg []

static xlat_arg_parser_t const	xlat_func_expr_rcode_arg []

static xlat_arg_parser_t const	xlat_func_rcode_arg []
	Takes no arguments.

Detailed Description

Tokenizers and support functions for xlat expressions.

Id: 0828c3afc631c7e0e3854e0798334afdce78282e

Copyright: 2021 The FreeRADIUS server project; 2021 Network RADIUS SAS (legal.nosp@m.@net.nosp@m.workr.nosp@m.adiu.nosp@m.s.com)

Definition in file xlat_expr.c.

Data Structure Documentation

◆ xlat_exists_inst_t

struct xlat_exists_inst_t

Definition at line 1596 of file xlat_expr.c.

Collaboration diagram for xlat_exists_inst_t:

Data Fields
tmpl_t const *	vpt	the attribute reference

◆ xlat_exists_rctx_t

struct xlat_exists_rctx_t

Definition at line 1600 of file xlat_expr.c.

Data Fields
bool	last_success
fr_value_box_list_t	list

◆ xlat_logical_inst_t

struct xlat_logical_inst_t

Definition at line 768 of file xlat_expr.c.

Collaboration diagram for xlat_logical_inst_t:

Data Fields
int	argc
xlat_exp_head_t **	argv
xlat_func_t	callback
bool	stop_on_match

◆ xlat_logical_rctx_t

struct xlat_logical_rctx_t

Definition at line 775 of file xlat_expr.c.

Collaboration diagram for xlat_logical_rctx_t:

Data Fields
fr_value_box_t *	box	output value-box
TALLOC_CTX *	ctx
int	current
bool	last_success
fr_value_box_list_t	list

◆ xlat_rcode_inst_t

struct xlat_rcode_inst_t

Holds the result of pre-parsing the rcode on startup.

Definition at line 1410 of file xlat_expr.c.

Data Fields
rlm_rcode_t	rcode	The preparsed rcode.

◆ xlat_regex_inst_t

struct xlat_regex_inst_t

Definition at line 448 of file xlat_expr.c.

Collaboration diagram for xlat_regex_inst_t:

Data Fields
fr_token_t	op
regex_t *	regex	precompiled regex
fr_regex_flags_t *	regex_flags
xlat_exp_t *	xlat	to expand

◆ xlat_regex_rctx_t

struct xlat_regex_rctx_t

Definition at line 455 of file xlat_expr.c.

Data Fields
bool	last_success
fr_value_box_list_t	list

Macro Definition Documentation

◆ fr_sbuff_skip_whitespace

#define fr_sbuff_skip_whitespace ( _x )

Value:

        do { \
                while (isspace((uint8_t) fr_sbuff_char(_x, '\0'))) fr_sbuff_advance(_x, 1); \
        } while (0)

Definition at line 1938 of file xlat_expr.c.

◆ P

#define P	(	_x,
		_y
	)	(((_x) << 4) \| (_y))

Definition at line 1882 of file xlat_expr.c.

◆ XLAT_BINARY_FUNC

#define XLAT_BINARY_FUNC	(	_name,
		_op
	)

Value:

static xlat_action_t xlat_func_ ## _name(TALLOC_CTX *ctx, fr_dcursor_t *out, \
                                   xlat_ctx_t const *xctx, \
                                   request_t *request, fr_value_box_list_t *in)  \
{ \
        return xlat_binary_op(ctx, out, xctx, request, in, _op, FR_TYPE_NULL, NULL); \
}

Definition at line 368 of file xlat_expr.c.

◆ XLAT_CMP_FUNC

#define XLAT_CMP_FUNC	(	_name,
		_op
	)

Value:

static xlat_action_t xlat_func_ ## _name(TALLOC_CTX *ctx, fr_dcursor_t *out, \
                                   xlat_ctx_t const *xctx, \
                                   request_t *request, fr_value_box_list_t *in)  \
{ \
        return xlat_cmp_op(ctx, out, xctx, request, in, _op); \
}

Definition at line 431 of file xlat_expr.c.

◆ XLAT_DEBUG

#define XLAT_DEBUG ( ... )

Definition at line 38 of file xlat_expr.c.

◆ XLAT_REGEX_FUNC

#define XLAT_REGEX_FUNC	(	_name,
		_op
	)

Value:

static xlat_action_t xlat_func_ ## _name(TALLOC_CTX *ctx, fr_dcursor_t *out, \
                                   xlat_ctx_t const *xctx, \
                                   request_t *request, fr_value_box_list_t *in)  \
{ \
        return xlat_regex_op(ctx, out, xctx, request, in, _op); \
}

Definition at line 757 of file xlat_expr.c.

◆ XLAT_REGISTER_BINARY_CMP

#define XLAT_REGISTER_BINARY_CMP	(	_op,
		_name
	)

Value:

do { \
        if (unlikely((xlat = xlat_func_register(NULL, "cmp_" STRINGIFY(_name), xlat_func_cmp_ ## _name, FR_TYPE_BOOL)) == NULL)) return -1; \
        xlat_func_args_set(xlat, binary_cmp_xlat_args); \
        xlat_func_flags_set(xlat, XLAT_FUNC_FLAG_PURE | XLAT_FUNC_FLAG_INTERNAL); \
        xlat_func_print_set(xlat, xlat_expr_print_binary); \
        xlat_func_resolve_set(xlat, xlat_expr_resolve_binary); \
        xlat->token = _op; \
} while (0)

Definition at line 1714 of file xlat_expr.c.

◆ XLAT_REGISTER_BINARY_OP

#define XLAT_REGISTER_BINARY_OP	(	_op,
		_name
	)

Value:

do { \
        if (unlikely((xlat = xlat_func_register(NULL, "op_" STRINGIFY(_name), xlat_func_op_ ## _name, FR_TYPE_VOID)) == NULL)) return -1; \
        xlat_func_args_set(xlat, binary_op_xlat_args); \
        xlat_func_flags_set(xlat, XLAT_FUNC_FLAG_PURE | XLAT_FUNC_FLAG_INTERNAL); \
        xlat_func_print_set(xlat, xlat_expr_print_binary); \
        xlat->token = _op; \
} while (0)

Definition at line 1704 of file xlat_expr.c.

◆ XLAT_REGISTER_BOOL

#define XLAT_REGISTER_BOOL	(	_xlat,
		_func,
		_arg,
		_ret_type
	)

Value:

do { \
        if (unlikely((xlat = xlat_func_register(NULL, _xlat, _func, _ret_type)) == NULL)) return -1; \
        xlat_func_args_set(xlat, _arg); \
        xlat_func_flags_set(xlat, XLAT_FUNC_FLAG_INTERNAL); \
} while (0)

Definition at line 1746 of file xlat_expr.c.

◆ XLAT_REGISTER_NARY_OP

#define XLAT_REGISTER_NARY_OP	(	_op,
		_name,
		_func_name
	)

Value:

do { \
        if (unlikely((xlat = xlat_func_register(NULL, STRINGIFY(_name), xlat_func_ ## _func_name, FR_TYPE_VOID)) == NULL)) return -1; \
        xlat_func_instantiate_set(xlat, xlat_instantiate_ ## _func_name, xlat_ ## _func_name ## _inst_t, NULL, NULL); \
        xlat_func_flags_set(xlat, XLAT_FUNC_FLAG_PURE | XLAT_FUNC_FLAG_INTERNAL); \
        xlat_func_print_set(xlat, xlat_expr_print_nary); \
        xlat_purify_func_set(xlat, xlat_expr_logical_purify); \
        xlat->token = _op; \
} while (0)

Definition at line 1725 of file xlat_expr.c.

◆ XLAT_REGISTER_REGEX_OP

#define XLAT_REGISTER_REGEX_OP	(	_op,
		_name
	)

Value:

do { \
        if (unlikely((xlat = xlat_func_register(NULL, STRINGIFY(_name), xlat_func_ ## _name, FR_TYPE_VOID)) == NULL)) return -1; \
        xlat_func_args_set(xlat, regex_op_xlat_args); \
        xlat_func_flags_set(xlat, XLAT_FUNC_FLAG_PURE | XLAT_FUNC_FLAG_INTERNAL); \
        xlat_func_instantiate_set(xlat, xlat_instantiate_regex, xlat_regex_inst_t, NULL, NULL); \
        xlat_func_print_set(xlat, xlat_expr_print_regex); \
        xlat->token = _op; \
} while (0)

Definition at line 1736 of file xlat_expr.c.

◆ XLAT_REGISTER_UNARY

#define XLAT_REGISTER_UNARY	(	_op,
		_xlat,
		_func
	)

Value:

do { \
        if (unlikely((xlat = xlat_func_register(NULL, _xlat, _func, FR_TYPE_VOID)) == NULL)) return -1; \
        xlat_func_args_set(xlat, unary_op_xlat_args); \
        xlat_func_flags_set(xlat, XLAT_FUNC_FLAG_PURE | XLAT_FUNC_FLAG_INTERNAL); \
        xlat_func_print_set(xlat, xlat_expr_print_unary); \
        xlat->token = _op; \
} while (0)

Definition at line 1753 of file xlat_expr.c.

Function Documentation

◆ expr_cast_alloc()

static xlat_exp_t * expr_cast_alloc	(	TALLOC_CTX *	ctx,
		fr_type_t	type,
		xlat_exp_t *	child
	)

static

Allocate a specific cast node.

With the first argument being a UINT8 of the data type. See xlat_func_cast() for the implementation.

Definition at line 2081 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ expr_cast_from_substr()

static fr_slen_t expr_cast_from_substr	(	fr_type_t *	cast,
		fr_sbuff_t *	in
	)

static

Definition at line 2118 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ fr_value_box_init_zero()

static void fr_value_box_init_zero	(	fr_value_box_t *	vb,
		fr_type_t	type
	)

static

Definition at line 279 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ tokenize_expression()

static fr_slen_t tokenize_expression	(	xlat_exp_head_t *	head,
		xlat_exp_t **	out,
		fr_sbuff_t *	in,
		fr_sbuff_parse_rules_t const *	p_rules,
		tmpl_rules_t const *	t_rules,
		fr_token_t	prev,
		fr_sbuff_parse_rules_t const *	bracket_rules,
		fr_sbuff_parse_rules_t const *	input_rules,
		bool	cond
	)

static

Tokenize a mathematical operation.

(EXPR)
!EXPR
A OP B

If "out" is NULL then the expression is added to "head".
Otherwise, it's returned to the caller.

Definition at line 2643 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ tokenize_field()

static fr_slen_t tokenize_field	(	xlat_exp_head_t *	head,
		xlat_exp_t **	out,
		fr_sbuff_t *	in,
		fr_sbuff_parse_rules_t const *	p_rules,
		tmpl_rules_t const *	t_rules,
		fr_sbuff_parse_rules_t const *	bracket_rules,
		char *	out_c,
		bool	cond
	)

static

Definition at line 2301 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ tokenize_rcode()

static ssize_t tokenize_rcode	(	xlat_exp_head_t *	head,
		xlat_exp_t **	out,
		fr_sbuff_t *	in,
		fr_sbuff_term_t const *	terminals
	)

static

Definition at line 2252 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ tokenize_regex_rhs()

static fr_slen_t tokenize_regex_rhs	(	xlat_exp_head_t *	head,
		xlat_exp_t **	out,
		fr_sbuff_t *	in,
		tmpl_rules_t const *	t_rules,
		fr_sbuff_parse_rules_t const *	bracket_rules
	)

static

Definition at line 2158 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ tokenize_unary()

static fr_slen_t tokenize_unary	(	xlat_exp_head_t *	head,
		xlat_exp_t **	out,
		fr_sbuff_t *	in,
		fr_sbuff_parse_rules_t const *	p_rules,
		tmpl_rules_t const *	t_rules,
		fr_sbuff_parse_rules_t const *	bracket_rules,
		char *	out_c,
		bool	cond
	)

static

Definition at line 1978 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ valid_type()

static bool valid_type ( xlat_exp_t * node )

static

Definition at line 2604 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_attr_exists()

static xlat_action_t xlat_attr_exists	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		request_t *	request,
		tmpl_t const *	vpt,
		bool	do_free
	)

static

Definition at line 1661 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_binary_op()

static xlat_action_t xlat_binary_op	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		UNUSED xlat_ctx_t const *	xctx,
		request_t *	request,
		fr_value_box_list_t *	in,
		fr_token_t	op,
		fr_type_t	default_type,
		fr_dict_attr_t const *	enumv
	)

static

Definition at line 302 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_cmp_op()

static xlat_action_t xlat_cmp_op	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		UNUSED xlat_ctx_t const *	xctx,
		UNUSED request_t *	request,
		fr_value_box_list_t *	in,
		fr_token_t	op
	)

static

Definition at line 393 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_exists_alloc()

static xlat_exp_t * xlat_exists_alloc	(	TALLOC_CTX *	ctx,
		xlat_exp_t *	child
	)

static

Allocate a specific cast node.

With the first argument being a UINT8 of the data type. See xlat_func_cast() for the implementation.

Definition at line 112 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_expr_logical_purify()

static int xlat_expr_logical_purify	(	xlat_exp_t *	node,
		void *	instance,
		request_t *	request
	)

static

If any argument resolves to inst->stop_on_match, the entire thing is a bool of inst->stop_on_match.

If any argument resolves to !inst->stop_on_match, it is removed.

Definition at line 905 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_expr_print_binary()

static fr_slen_t xlat_expr_print_binary	(	fr_sbuff_t *	out,
		xlat_exp_t const *	node,
		UNUSED void *	inst,
		fr_sbuff_escape_rules_t const *	e_rules
	)

static

Definition at line 151 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_expr_print_exists()

static fr_slen_t xlat_expr_print_exists	(	fr_sbuff_t *	out,
		xlat_exp_t const *	node,
		void *	instance,
		fr_sbuff_escape_rules_t const *	e_rules
	)

static

Definition at line 1613 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_expr_print_nary()

static fr_slen_t xlat_expr_print_nary	(	fr_sbuff_t *	out,
		xlat_exp_t const *	node,
		void *	instance,
		fr_sbuff_escape_rules_t const *	e_rules
	)

static

Definition at line 783 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_expr_print_rcode()

static fr_slen_t xlat_expr_print_rcode	(	fr_sbuff_t *	out,
		xlat_exp_t const *	node,
		void *	instance,
		UNUSED fr_sbuff_escape_rules_t const *	e_rules
	)

static

Definition at line 1491 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_expr_print_regex()

static fr_slen_t xlat_expr_print_regex	(	fr_sbuff_t *	out,
		xlat_exp_t const *	node,
		void *	instance,
		fr_sbuff_escape_rules_t const *	e_rules
	)

static

Definition at line 460 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_expr_print_unary()

static fr_slen_t xlat_expr_print_unary	(	fr_sbuff_t *	out,
		xlat_exp_t const *	node,
		UNUSED void *	inst,
		fr_sbuff_escape_rules_t const *	e_rules
	)

static

Definition at line 141 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_expr_resolve_binary()

static int xlat_expr_resolve_binary	(	xlat_exp_t *	node,
		UNUSED void *	inst,
		xlat_res_rules_t const *	xr_rules
	)

static

Definition at line 174 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_func_append_arg()

static void xlat_func_append_arg	(	xlat_exp_t *	head,
		xlat_exp_t *	node,
		bool	exists
	)

static

Definition at line 70 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_func_logical()

static xlat_action_t xlat_func_logical	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		xlat_ctx_t const *	xctx,
		request_t *	request,
		fr_value_box_list_t *	in
	)

static

Process logical &&, ||.

Definition at line 1288 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_func_unary_complement()

static xlat_action_t xlat_func_unary_complement	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		xlat_ctx_t const *	xctx,
		request_t *	request,
		fr_value_box_list_t *	in
	)

static

Definition at line 1396 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_func_unary_minus()

static xlat_action_t xlat_func_unary_minus	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		xlat_ctx_t const *	xctx,
		request_t *	request,
		fr_value_box_list_t *	in
	)

static

Definition at line 1389 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_func_unary_not()

static xlat_action_t xlat_func_unary_not	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		UNUSED xlat_ctx_t const *	xctx,
		UNUSED request_t *	request,
		fr_value_box_list_t *	in
	)

static

Definition at line 1362 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_func_unary_op()

static xlat_action_t xlat_func_unary_op	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		UNUSED xlat_ctx_t const *	xctx,
		request_t *	request,
		fr_value_box_list_t *	in,
		fr_token_t	op
	)

static

Definition at line 1318 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_instantiate_exists()

static int xlat_instantiate_exists ( xlat_inst_ctx_t const * xctx )

static

Definition at line 1630 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_instantiate_expr_rcode()

static int xlat_instantiate_expr_rcode ( xlat_inst_ctx_t const * xctx )

static

Convert static expr_rcode arguments into rcodes.

This saves doing the lookup at runtime, which given how frequently this xlat is used could get quite expensive.

Definition at line 1419 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_instantiate_logical()

static int xlat_instantiate_logical ( xlat_inst_ctx_t const * xctx )

static

Definition at line 1268 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_instantiate_regex()

static int xlat_instantiate_regex ( xlat_inst_ctx_t const * xctx )

static

Definition at line 524 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_is_truthy()

bool xlat_is_truthy	(	xlat_exp_head_t const *	head,
		bool *	out
	)

Allow callers to see if an xlat is truthy.

So the caller can cache it, and needs to check fewer things at run time.

Parameters

[in]	head	of the xlat to check
[out]	out	truthiness of the box

Returns

false - xlat is not truthy, *out is unchanged.
true - xlat is truthy, *out is the result of fr_value_box_is_truthy()

Definition at line 3093 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_logical_and()

static bool xlat_logical_and	(	xlat_logical_rctx_t *	rctx,
		fr_value_box_list_t const *	in
	)

static

See if the input is truthy or not.

Parameters

[in]	rctx	our ctx
[in]	in	list of value-boxes to check

Returns

false on failure
true for match, with dst updated to contain the relevant box.

Empty lists are not truthy.

Definition at line 1169 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_logical_and_resume()

static xlat_action_t xlat_logical_and_resume	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		xlat_ctx_t const *	xctx,
		request_t *	request,
		fr_value_box_list_t *	in
	)

static

Definition at line 1216 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_logical_or()

static bool xlat_logical_or	(	xlat_logical_rctx_t *	rctx,
		fr_value_box_list_t const *	in
	)

static

See if the input is truthy or not.

Parameters

[in]	rctx	our ctx
[in]	in	list of value-boxes to check

Returns

false if there are no truthy values. The last box is copied to the rctx. This is to allow us to return default values which may not be truthy, e.g. %{&Counter || 0} or %{&Framed-IP-Address || 0.0.0.0}. If we don't copy the last box to the rctx, the expression just returns NULL which is never useful...
true if we find a truthy value. The first truthy box is copied to the rctx.

Empty lists are not truthy.

Definition at line 1069 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_logical_or_resume()

static xlat_action_t xlat_logical_or_resume	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		xlat_ctx_t const *	xctx,
		request_t *	request,
		fr_value_box_list_t *	in
	)

static

Definition at line 1111 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_logical_process_arg()

static xlat_action_t xlat_logical_process_arg	(	UNUSED TALLOC_CTX *	ctx,
		UNUSED fr_dcursor_t *	out,
		xlat_ctx_t const *	xctx,
		request_t *	request,
		UNUSED fr_value_box_list_t *	in
	)

static

Process one argument of a logical operation.

If we see a list in a truthy context, then we DON'T expand the list. Instead, we return a bool which indicates if the list was empty (or not). This prevents us from returning a whole mess of value-boxes when the user just wanted to see if the list existed.

Otherwise, we expand the xlat, and continue.

Definition at line 1032 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_node_matches_bool()

static bool xlat_node_matches_bool	(	bool *	result,
		xlat_exp_t *	parent,
		xlat_exp_head_t *	head,
		bool	sense
	)

static

Definition at line 831 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_regex_match()

static xlat_action_t xlat_regex_match	(	TALLOC_CTX *	ctx,
		request_t *	request,
		fr_value_box_list_t *	in,
		regex_t **	preg,
		fr_dcursor_t *	out,
		fr_token_t	op
	)

static

Perform a regular expressions comparison between two operands.

Parameters

[in]	ctx	to allocate resulting box in.
[in]	request	The current request.
[in]	in	list of item or items
[in,out]	preg	Pointer to pre-compiled or runtime-compiled regular expression. In the case of runtime-compiled the pattern may be stolen by the `regex_sub_to_request` function as the original pattern is needed to resolve capture groups. The caller should only free the `regex_t *` if it compiled it, and the pointer has not been set to NULL when this function returns.
[out]	out	Where result is written.
[in]	op	the operation to perform.

Returns

-1 on failure.
0 for "no match".
1 for "match".

Definition at line 595 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_regex_op()

static xlat_action_t xlat_regex_op	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		xlat_ctx_t const *	xctx,
		request_t *	request,
		fr_value_box_list_t *	in,
		fr_token_t	op
	)

static

Definition at line 724 of file xlat_expr.c.

Here is the call graph for this function:

◆ xlat_regex_resume()

static xlat_action_t xlat_regex_resume	(	TALLOC_CTX *	ctx,
		fr_dcursor_t *	out,
		xlat_ctx_t const *	xctx,
		request_t *	request,
		fr_value_box_list_t *	in
	)

static

Definition at line 684 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_register_expressions()

int xlat_register_expressions ( void )

Definition at line 1762 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_tokenize_condition()

fr_slen_t xlat_tokenize_condition	(	TALLOC_CTX *	ctx,
		xlat_exp_head_t **	out,
		fr_sbuff_t *	in,
		fr_sbuff_parse_rules_t const *	p_rules,
		tmpl_rules_t const *	t_rules
	)

Definition at line 3058 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_tokenize_expression()

fr_slen_t xlat_tokenize_expression	(	TALLOC_CTX *	ctx,
		xlat_exp_head_t **	out,
		fr_sbuff_t *	in,
		fr_sbuff_parse_rules_t const *	p_rules,
		tmpl_rules_t const *	t_rules
	)

Definition at line 3030 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_tokenize_expression_internal()

static fr_slen_t xlat_tokenize_expression_internal	(	TALLOC_CTX *	ctx,
		xlat_exp_head_t **	out,
		fr_sbuff_t *	in,
		fr_sbuff_parse_rules_t const *	p_rules,
		tmpl_rules_t const *	t_rules,
		bool	cond
	)

static

Definition at line 2954 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ xlat_ungroup()

static void xlat_ungroup ( xlat_exp_head_t * head )

static

Undo work which shouldn't have been done.

:(

Definition at line 879 of file xlat_expr.c.

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

◆ binary_cmp_xlat_args

xlat_arg_parser_t const binary_cmp_xlat_args[]

static

Initial value:

= {
        { .required = false, .type = FR_TYPE_VOID },
        { .required = false, .type = FR_TYPE_VOID },
        XLAT_ARG_PARSER_TERMINATOR
}

Definition at line 387 of file xlat_expr.c.

◆ binary_op_xlat_args

xlat_arg_parser_t const binary_op_xlat_args[]

static

Initial value:

= {
        { .required = false, .type = FR_TYPE_VOID },
        { .required = false, .type = FR_TYPE_VOID },
        XLAT_ARG_PARSER_TERMINATOR
}

Definition at line 296 of file xlat_expr.c.

◆ binary_ops

const fr_sbuff_term_elem_t binary_ops[T_TOKEN_LAST]

static

Initial value:

= {
        [ T_ADD ]               = L("op_add"),
        [ T_SUB ]               = L("op_sub"),
        [ T_MUL ]               = L("op_mul"),
        [ T_DIV ]               = L("op_div"),
        [ T_MOD ]               = L("op_mod"),
        [ T_AND ]               = L("op_and"),
        [ T_OR ]                = L("op_or"),
        [ T_XOR ]               = L("op_xor"),
        [ T_RSHIFT ]            = L("op_rshift"),
        [ T_LSHIFT ]            = L("op_lshift"),
 
        [ T_LAND ]              = L("logical_and"),
        [ T_LOR ]               = L("logical_or"),
 
        [ T_OP_CMP_EQ ]         = L("cmp_eq"),
        [ T_OP_NE ]             = L("cmp_ne"),
        [ T_OP_LT ]             = L("cmp_lt"),
        [ T_OP_LE ]             = L("cmp_le"),
        [ T_OP_GT ]             = L("cmp_gt"),
        [ T_OP_GE ]             = L("cmp_ge"),
 
        [ T_OP_CMP_EQ_TYPE ]    = L("cmp_eq_type"),
        [ T_OP_CMP_NE_TYPE ]    = L("cmp_ne_type"),
 
        [ T_OP_REG_EQ ]         = L("reg_eq"),
        [ T_OP_REG_NE ]         = L("reg_ne"),
}

Definition at line 1826 of file xlat_expr.c.

◆ bracket_terms

const fr_sbuff_term_t bracket_terms

static

Initial value:

= FR_SBUFF_TERMS(
        L(""),
        L(")"),
)

Definition at line 2929 of file xlat_expr.c.

◆ expr_assignment_op_table

fr_table_num_ordered_t const expr_assignment_op_table[]

static

Definition at line 2570 of file xlat_expr.c.

◆ expr_assignment_op_table_len

size_t const expr_assignment_op_table_len = NUM_ELEMENTS(expr_assignment_op_table)

static

Definition at line 2602 of file xlat_expr.c.

◆ expr_quote_table

fr_table_num_sorted_t const expr_quote_table[]

static

Initial value:

= {
        { L("\""),      T_DOUBLE_QUOTED_STRING  },      
        { L("'"),       T_SINGLE_QUOTED_STRING  },
        { L("/"),       T_SOLIDUS_QUOTED_STRING },
        { L("`"),       T_BACK_QUOTED_STRING    }
}

Definition at line 1956 of file xlat_expr.c.

◆ expr_quote_table_len

size_t expr_quote_table_len = NUM_ELEMENTS(expr_quote_table)

static

Definition at line 1962 of file xlat_expr.c.

◆ logical_ops

const bool logical_ops[T_TOKEN_LAST]

static

Initial value:

= {
        [T_LAND] = true,
        [T_LOR] = true,
}

Definition at line 1858 of file xlat_expr.c.

◆ multivalue_ops

const bool multivalue_ops[T_TOKEN_LAST]

static

Initial value:

= {
        [T_LAND] = true,
        [T_LOR] = true,
}

Definition at line 1871 of file xlat_expr.c.

◆ operator_terms

const fr_sbuff_term_t operator_terms

static

Initial value:

= FR_SBUFF_TERMS(
        L("\t"),
        L("\n"),
        L("\r"),
        L(" "),
        L("!"),
        L("%"),
        L("&"),
        L("*"),
        L("+"),
        L("-"),
        L("/"),
        L("<"),
        L("="),
        L(">"),
        L("^"),
        L("|"),
        L("~"),
)

Definition at line 2934 of file xlat_expr.c.

◆ precedence

const int precedence[T_TOKEN_LAST]

static

Definition at line 1884 of file xlat_expr.c.

◆ regex_op_xlat_args

xlat_arg_parser_t const regex_op_xlat_args[]

static

Initial value:

= {
        { .required = true, .type = FR_TYPE_STRING },
        { .concat = true, .type = FR_TYPE_STRING },
        XLAT_ARG_PARSER_TERMINATOR
}

Definition at line 568 of file xlat_expr.c.

◆ unary_op_xlat_args

xlat_arg_parser_t const unary_op_xlat_args[]

static

Initial value:

= {
        { .required = true, .single = true, .concat = true },
        XLAT_ARG_PARSER_TERMINATOR
}

Definition at line 1313 of file xlat_expr.c.

◆ xlat_func_exists_arg

xlat_arg_parser_t const xlat_func_exists_arg[]

static

Initial value:

= {
        { .type = FR_TYPE_VOID },
        XLAT_ARG_PARSER_TERMINATOR
}

Definition at line 1605 of file xlat_expr.c.

◆ xlat_func_expr_rcode_arg

xlat_arg_parser_t const xlat_func_expr_rcode_arg[]

static

Initial value:

= {
        { .concat = true, .type = FR_TYPE_STRING },
        XLAT_ARG_PARSER_TERMINATOR
}

Definition at line 1403 of file xlat_expr.c.

◆ xlat_func_rcode_arg

xlat_arg_parser_t const xlat_func_rcode_arg[]

static

Initial value:

= {
        XLAT_ARG_PARSER_TERMINATOR,     
        XLAT_ARG_PARSER_TERMINATOR
}

Takes no arguments.

Definition at line 1563 of file xlat_expr.c.

Data Structures

Macros

Functions

Variables

Detailed Description

Data Structure Documentation

◆ xlat_exists_inst_t

◆ xlat_exists_rctx_t

◆ xlat_logical_inst_t

◆ xlat_logical_rctx_t

◆ xlat_rcode_inst_t

◆ xlat_regex_inst_t

◆ xlat_regex_rctx_t

Macro Definition Documentation

◆ fr_sbuff_skip_whitespace

◆ P

◆ XLAT_BINARY_FUNC

◆ XLAT_CMP_FUNC

◆ XLAT_DEBUG

◆ XLAT_REGEX_FUNC

◆ XLAT_REGISTER_BINARY_CMP

◆ XLAT_REGISTER_BINARY_OP

◆ XLAT_REGISTER_BOOL

◆ XLAT_REGISTER_NARY_OP

◆ XLAT_REGISTER_REGEX_OP

◆ XLAT_REGISTER_UNARY

Function Documentation

◆ expr_cast_alloc()

◆ expr_cast_from_substr()

◆ fr_value_box_init_zero()

◆ tokenize_expression()

◆ tokenize_field()

◆ tokenize_rcode()

◆ tokenize_regex_rhs()

◆ tokenize_unary()

◆ valid_type()

◆ xlat_attr_exists()

◆ xlat_binary_op()

◆ xlat_cmp_op()

◆ xlat_exists_alloc()

◆ xlat_expr_logical_purify()

◆ xlat_expr_print_binary()

◆ xlat_expr_print_exists()

◆ xlat_expr_print_nary()

◆ xlat_expr_print_rcode()

◆ xlat_expr_print_regex()

◆ xlat_expr_print_unary()

◆ xlat_expr_resolve_binary()

◆ xlat_func_append_arg()

◆ xlat_func_logical()

◆ xlat_func_unary_complement()

◆ xlat_func_unary_minus()

◆ xlat_func_unary_not()

◆ xlat_func_unary_op()

◆ xlat_instantiate_exists()

◆ xlat_instantiate_expr_rcode()

◆ xlat_instantiate_logical()

◆ xlat_instantiate_regex()

◆ xlat_is_truthy()

◆ xlat_logical_and()

◆ xlat_logical_and_resume()

◆ xlat_logical_or()

◆ xlat_logical_or_resume()

◆ xlat_logical_process_arg()

◆ xlat_node_matches_bool()

◆ xlat_regex_match()

◆ xlat_regex_op()

◆ xlat_regex_resume()

◆ xlat_register_expressions()

◆ xlat_tokenize_condition()

◆ xlat_tokenize_expression()

◆ xlat_tokenize_expression_internal()

◆ xlat_ungroup()

Variable Documentation

◆ binary_cmp_xlat_args

◆ binary_op_xlat_args

◆ binary_ops

◆ bracket_terms

◆ expr_assignment_op_table

◆ expr_assignment_op_table_len