Home page | Mailing list | Docs

Last updated: Sat Feb 3 05:01:40 2007

Asterisk developer's documentation :: Codename Pineapple

---

pbx_ael.c File Reference

---

Detailed Description

Compile symbolic Asterisk Extension Logic into Asterisk extensions, version 2.

Definition in file pbx_ael.c.

#include "asterisk.h"
#include <sys/types.h>
#include <stdlib.h>
#include <unistd.h>
#include <stdio.h>
#include <string.h>
#include <ctype.h>
#include <errno.h>
#include <regex.h>
#include <sys/stat.h>
#include "asterisk/pbx.h"
#include "asterisk/config.h"
#include "asterisk/module.h"
#include "asterisk/logger.h"
#include "asterisk/cli.h"
#include "asterisk/app.h"
#include "asterisk/callerid.h"
#include "asterisk/ael_structs.h"

Include dependency graph for pbx_ael.c:

Go to the source code of this file.

Data Structures
struct	argapp
Defines
#define	DEBUG_CONTEXTS   (1 << 3)
#define	DEBUG_MACROS   (1 << 2)
#define	DEBUG_READ   (1 << 0)
#define	DEBUG_TOKENS   (1 << 1)
Functions
void	add_extensions (struct ael_extension *exten)
static int	ael2_debug_contexts (int fd, int argc, char *argv[])
static int	ael2_debug_macros (int fd, int argc, char *argv[])
static int	ael2_debug_read (int fd, int argc, char *argv[])
static int	ael2_debug_tokens (int fd, int argc, char *argv[])
static int	ael2_no_debug (int fd, int argc, char *argv[])
static int	ael2_reload (int fd, int argc, char *argv[])
static void	ael2_semantic_check (pval *item, int *arg_errs, int *arg_warns, int *arg_notes)
void	ast_compile_ael2 (struct ast_context **local_contexts, struct pval *root)
int	ast_expr (char *expr, char *buf, int length)
void	ast_expr_clear_extra_error_info (void)
void	ast_expr_register_extra_error_info (char *errmsg)
	AST_MODULE_INFO (ASTERISK_GPL_KEY, AST_MODFLAG_DEFAULT,"Asterisk Extension Language Compiler",.load=load_module,.unload=unload_module,.reload=reload,)
static void	attach_exten (struct ael_extension **list, struct ael_extension *newmem)
static void	check_abstract_reference (pval *abstract_context)
int	check_app_args (pval *appcall, pval *arglist, struct argapp *app)
static int	check_break (pval *item)
static void	check_context_names (void)
static int	check_continue (pval *item)
static void	check_day (pval *DAY)
static void	check_dow (pval *DOW)
	get_dow: Get day of week
static void	check_expr2_input (pval *expr, char *str)
static void	check_goto (pval *item)
static void	check_includes (pval *includes)
static void	check_label (pval *item)
static void	check_macro_returns (pval *macro)
static void	check_month (pval *MON)
void	check_pval (pval *item, struct argapp *apps, int in_globals)
void	check_pval_item (pval *item, struct argapp *apps, int in_globals)
void	check_switch_expr (pval *item, struct argapp *apps)
static void	check_timerange (pval *p)
void	destroy_extensions (struct ael_extension *exten)
void	destroy_pval (pval *item)
void	destroy_pval_item (pval *item)
static int	extension_matches (pval *here, const char *exten, const char *pattern)
pval *	find_context (char *name)
static struct pval *	find_first_label_in_current_context (char *label, pval *curr_cont)
static struct pval *	find_label_in_current_context (char *exten, char *label, pval *curr_cont)
static struct pval *	find_label_in_current_db (const char *context, const char *exten, const char *label)
static struct pval *	find_label_in_current_extension (const char *label, pval *curr_ext)
pval *	find_macro (char *name)
static void	find_pval_goto_item (pval *item, int lev)
static void	find_pval_gotos (pval *item, int lev)
static void	fix_gotos_in_extensions (struct ael_extension *exten)
static void	gen_match_to_pattern (char *pattern, char *result)
static void	gen_prios (struct ael_extension *exten, char *label, pval *statement, struct ael_extension *mother_exten, struct ast_context *context)
static pval *	get_contxt (pval *p)
static pval *	get_extension_or_contxt (pval *p)
static pval *	get_goto_target (pval *item)
static struct pval *	in_context (pval *item)
static struct pval *	in_macro (pval *item)
int	is_empty (char *arg)
int	is_float (char *arg)
int	is_int (char *arg)
static int	label_inside_case (pval *label)
static void	linkexten (struct ael_extension *exten, struct ael_extension *add)
void	linkprio (struct ael_extension *exten, struct ael_priority *prio)
static int	load_module (void)
pval *	match_pval (pval *item)
static struct pval *	match_pval_item (pval *item)
ael_extension *	new_exten (void)
ael_priority *	new_prio (void)
static int	pbx_load_module (void)
static void	print_pval (FILE *fin, pval *item, int depth)
static void	print_pval_list (FILE *fin, pval *item, int depth)
static int	reload (void)
static void	remove_spaces_before_equals (char *str)
void	set_priorities (struct ael_extension *exten)
static void	substitute_commas (char *str)
void	traverse_pval_item_template (pval *item, int depth)
void	traverse_pval_template (pval *item, int depth)
static int	unload_module (void)
Variables
static int	aeldebug = 0
static struct ast_cli_entry	cli_ael []
static struct ast_cli_entry	cli_ael_no_debug
static char *	config = "extensions.ael"
static int	control_statement_count = 0
static int	count_labels
static pval *	current_context
static pval *	current_db
static pval *	current_extension
static char *	days []
static int	errs
static char	expr_output [2096]
static int	in_abstract_context
static int	label_count
static pval *	last_matched_label
static const char *	match_context
static const char *	match_exten
static const char *	match_label
static char *	months []
static int	notes
static char *	registrar = "pbx_ael"
static int	return_on_context_match
static int	warns

---

Define Documentation

#define DEBUG_CONTEXTS   (1 << 3)

Definition at line 58 of file pbx_ael.c. Referenced by ael2_debug_contexts().

#define DEBUG_MACROS   (1 << 2)

Definition at line 57 of file pbx_ael.c. Referenced by ael2_debug_macros().

#define DEBUG_READ   (1 << 0)

Definition at line 55 of file pbx_ael.c. Referenced by ael2_debug_read().

#define DEBUG_TOKENS   (1 << 1)

Definition at line 56 of file pbx_ael.c. Referenced by ael2_debug_tokens().

---

Function Documentation

void add_extensions (  struct ael_extension *  exten  )

Definition at line 3611 of file pbx_ael.c. References AEL_APPCALL, AEL_CONTROL1, AEL_FOR_CONTROL, AEL_IF_CONTROL, AEL_IFTIME_CONTROL, AEL_LABEL, AEL_RAND_CONTROL, AEL_RETURN, ael_priority::app, app, ael_priority::appargs, ast_add_extension2(), ast_free, ast_log(), pval::else_statements, ael_priority::exten, exten, ael_priority::goto_false, ael_priority::goto_true, last, LOG_WARNING, ael_extension::name, ael_priority::next, ael_priority::origin, PRIORITY_HINT, ael_priority::priority_num, PV_IFTIME, PV_SWITCH, strdup, pval::type, ael_priority::type, and pval::u3. { struct ael_priority *pr; char *label=0; if (!exten) { ast_log(LOG_WARNING, "This file is Empty!\n" ); return; } do { struct ael_priority *last = 0; if (exten->hints) { if (ast_add_extension2(exten->context, 0 /*no replace*/, exten->name, PRIORITY_HINT, NULL, exten->cidmatch, exten->hints, NULL, ast_free, registrar)) { ast_log(LOG_WARNING, "Unable to add step at priority 'hint' of extension '%s'\n", exten->name); } } for (pr=exten->plist; pr; pr=pr->next) { char app[2000]; char appargs[2000]; /* before we can add the extension, we need to prep the app/appargs; the CONTROL types need to be done after the priority numbers are calculated. */ if (pr->type == AEL_LABEL) /* don't try to put labels in the dialplan! */ { last = pr; continue; } if (pr->app) strcpy(app, pr->app); else app[0] = 0; if (pr->appargs ) strcpy(appargs, pr->appargs); else appargs[0] = 0; switch( pr->type ) { case AEL_APPCALL: /* easy case. Everything is all set up */ break; case AEL_CONTROL1: /* FOR loop, WHILE loop, BREAK, CONTINUE, IF, IFTIME */ /* simple, unconditional goto. */ strcpy(app,"Goto"); if (pr->goto_true->origin && pr->goto_true->origin->type == PV_SWITCH ) { snprintf(appargs,sizeof(appargs),"%s|%d", pr->goto_true->exten->name, pr->goto_true->priority_num); } else if (pr->goto_true->origin && pr->goto_true->origin->type == PV_IFTIME && pr->goto_true->origin->u3.else_statements ) { snprintf(appargs,sizeof(appargs),"%d", pr->goto_true->priority_num+1); } else snprintf(appargs,sizeof(appargs),"%d", pr->goto_true->priority_num); break; case AEL_FOR_CONTROL: /* WHILE loop test, FOR loop test */ strcpy(app,"GotoIf"); snprintf(appargs,sizeof(appargs),"%s?%d:%d", pr->appargs, pr->priority_num+1, pr->goto_false->priority_num); break; case AEL_IF_CONTROL: strcpy(app,"GotoIf"); if (pr->origin->u3.else_statements ) snprintf(appargs,sizeof(appargs),"%s?%d:%d", pr->appargs, pr->priority_num+1, pr->goto_false->priority_num+1); else snprintf(appargs,sizeof(appargs),"%s?%d:%d", pr->appargs, pr->priority_num+1, pr->goto_false->priority_num); break; case AEL_RAND_CONTROL: strcpy(app,"Random"); snprintf(appargs,sizeof(appargs),"%s:%d", pr->appargs, pr->goto_true->priority_num+1); break; case AEL_IFTIME_CONTROL: strcpy(app,"GotoIfTime"); snprintf(appargs,sizeof(appargs),"%s?%d", pr->appargs, pr->priority_num+2); break; case AEL_RETURN: strcpy(app,"Return"); appargs[0] = 0; break; default: break; } if (last && last->type == AEL_LABEL ) { label = last->origin->u1.str; } else label = 0; if (ast_add_extension2(exten->context, 0 /*no replace*/, exten->name, pr->priority_num, (label?label:NULL), exten->cidmatch, app, strdup(appargs), ast_free, registrar)) { ast_log(LOG_WARNING, "Unable to add step at priority '%d' of extension '%s'\n", pr->priority_num, exten->name); } last = pr; } exten = exten->next_exten; } while ( exten ); }

static int ael2_debug_contexts (  int  fd, int  argc, char *  argv[] )  [static]

Definition at line 4041 of file pbx_ael.c. References DEBUG_CONTEXTS. { aeldebug |= DEBUG_CONTEXTS; return 0; }

static int ael2_debug_macros (  int  fd, int  argc, char *  argv[] )  [static]

Definition at line 4035 of file pbx_ael.c. References DEBUG_MACROS. { aeldebug |= DEBUG_MACROS; return 0; }

static int ael2_debug_read (  int  fd, int  argc, char *  argv[] )  [static]

Definition at line 4023 of file pbx_ael.c. References DEBUG_READ. { aeldebug |= DEBUG_READ; return 0; }

static int ael2_debug_tokens (  int  fd, int  argc, char *  argv[] )  [static]

Definition at line 4029 of file pbx_ael.c. References DEBUG_TOKENS. { aeldebug |= DEBUG_TOKENS; return 0; }

static int ael2_no_debug (  int  fd, int  argc, char *  argv[] )  [static]

Definition at line 4047 of file pbx_ael.c. { aeldebug = 0; return 0; }

static int ael2_reload (  int  fd, int  argc, char *  argv[] )  [static]

Definition at line 4053 of file pbx_ael.c. References pbx_load_module(). { return (pbx_load_module()); }

static void ael2_semantic_check (  pval *  item, int *  arg_errs, int *  arg_warns, int *  arg_notes )  [static]

Definition at line 2805 of file pbx_ael.c. References ast_config_AST_VAR_DIR, check_context_names(), check_pval(), and current_db. Referenced by pbx_load_module(). { #ifdef AAL_ARGCHECK int argapp_errs =0; char *rfilename; #endif struct argapp *apps=0; #ifdef AAL_ARGCHECK rfilename = alloca(10 + strlen(ast_config_AST_VAR_DIR)); sprintf(rfilename, "%s/applist", ast_config_AST_VAR_DIR); apps = argdesc_parse(rfilename, &argapp_errs); /* giveth */ #endif current_db = item; errs = warns = notes = 0; check_context_names(); check_pval(item, apps, 0); #ifdef AAL_ARGCHECK argdesc_destroy(apps); /* taketh away */ #endif current_db = 0; *arg_errs = errs; *arg_warns = warns; *arg_notes = notes; }

void ast_compile_ael2 (  struct ast_context **  local_contexts, struct pval *  root )

Definition at line 3795 of file pbx_ael.c. References AEL_APPCALL, AEL_LABEL, ael_priority::app, ael_priority::appargs, pval::arglist, ast_context_add_ignorepat2(), ast_context_add_include2(), ast_context_add_switch2(), ast_context_create(), ast_log(), attach_exten(), context, pval::endline, exten, pval::filename, gen_prios(), pval::hints, linkprio(), pval::list, local_contexts, LOG_WARNING, pval::macro_statements, new_exten(), new_prio(), pval::next, pbx_builtin_setvar(), PV_CONTEXT, PV_ESWITCHES, PV_EXTENSION, PV_GLOBALS, PV_IGNOREPAT, PV_INCLUDES, PV_MACRO, PV_SWITCHES, pval::regexten, remove_spaces_before_equals(), set_priorities(), pval::startline, pval::statements, pval::str, strdup, ael_priority::type, pval::type, pval::u1, pval::u2, pval::u3, pval::u4, and pval::val. Referenced by pbx_load_module(). { pval *p,*p2; struct ast_context *context; char buf[2000]; struct ael_extension *exten; struct ael_extension *exten_list = 0; for (p=root; p; p=p->next ) { pval *lp; int argc; switch (p->type) { case PV_MACRO: context = ast_context_create(local_contexts, p->u1.str, registrar); exten = new_exten(); exten->context = context; exten->name = strdup("s"); argc = 1; for (lp=p->u2.arglist; lp; lp=lp->next) { /* for each arg, set up a "Set" command */ struct ael_priority *np2 = new_prio(); np2->type = AEL_APPCALL; np2->app = strdup("Set"); snprintf(buf,sizeof(buf),"%s=${ARG%d}", lp->u1.str, argc++); remove_spaces_before_equals(buf); np2->appargs = strdup(buf); linkprio(exten, np2); } /* CONTAINS APPCALLS, CATCH, just like extensions... */ gen_prios(exten, p->u1.str, p->u3.macro_statements, 0, context ); if (exten->return_needed) { /* most likely, this will go away */ struct ael_priority *np2 = new_prio(); np2->type = AEL_APPCALL; np2->app = strdup("NoOp"); snprintf(buf,sizeof(buf),"End of Macro %s-%s",p->u1.str, exten->name); np2->appargs = strdup(buf); linkprio(exten, np2); exten-> return_target = np2; } set_priorities(exten); attach_exten(&exten_list, exten); break; case PV_GLOBALS: /* just VARDEC elements */ for (p2=p->u1.list; p2; p2=p2->next) { char buf2[2000]; snprintf(buf2,sizeof(buf2),"%s=%s", p2->u1.str, p2->u2.val); pbx_builtin_setvar(NULL, buf2); } break; case PV_CONTEXT: context = ast_context_create(local_contexts, p->u1.str, registrar); /* contexts contain: ignorepat, includes, switches, eswitches, extensions, */ for (p2=p->u2.statements; p2; p2=p2->next) { pval *p3; char *s3; switch (p2->type) { case PV_EXTENSION: exten = new_exten(); exten->name = strdup(p2->u1.str); exten->context = context; if( (s3=strchr(exten->name, '/') ) != 0 ) { *s3 = 0; exten->cidmatch = s3+1; } if ( p2->u3.hints ) exten->hints = strdup(p2->u3.hints); exten->regexten = p2->u4.regexten; gen_prios(exten, p->u1.str, p2->u2.statements, 0, context ); if (exten->return_needed) { /* returns don't generate a goto eoe (end of extension) any more, just a Return() app call) */ struct ael_priority *np2 = new_prio(); np2->type = AEL_APPCALL; np2->app = strdup("NoOp"); snprintf(buf,sizeof(buf),"End of Extension %s", exten->name); np2->appargs = strdup(buf); linkprio(exten, np2); exten-> return_target = np2; } /* is the last priority in the extension a label? Then add a trailing no-op */ if( !exten->plist_last ) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: Empty Extension!\n", p2->filename, p2->startline, p2->endline); } if ( exten->plist_last && exten->plist_last->type == AEL_LABEL ) { struct ael_priority *np2 = new_prio(); np2->type = AEL_APPCALL; np2->app = strdup("NoOp"); snprintf(buf,sizeof(buf),"A NoOp to follow a trailing label %s", exten->plist_last->origin->u1.str); np2->appargs = strdup(buf); linkprio(exten, np2); } set_priorities(exten); attach_exten(&exten_list, exten); break; case PV_IGNOREPAT: ast_context_add_ignorepat2(context, p2->u1.str, registrar); break; case PV_INCLUDES: for (p3 = p2->u1.list; p3 ;p3=p3->next) { if ( p3->u2.arglist ) { snprintf(buf,sizeof(buf), "%s|%s|%s|%s|%s", p3->u1.str, p3->u2.arglist->u1.str, p3->u2.arglist->next->u1.str, p3->u2.arglist->next->next->u1.str, p3->u2.arglist->next->next->next->u1.str); ast_context_add_include2(context, buf, registrar); } else ast_context_add_include2(context, p3->u1.str, registrar); } break; case PV_SWITCHES: for (p3 = p2->u1.list; p3 ;p3=p3->next) { char *c = strchr(p3->u1.str, '/'); if (c) { *c = '\0'; c++; } else c = ""; ast_context_add_switch2(context, p3->u1.str, c, 0, registrar); } break; case PV_ESWITCHES: for (p3 = p2->u1.list; p3 ;p3=p3->next) { char *c = strchr(p3->u1.str, '/'); if (c) { *c = '\0'; c++; } else c = ""; ast_context_add_switch2(context, p3->u1.str, c, 1, registrar); } break; default: break; } } break; default: /* huh? what? */ break; } } /* moved these from being done after a macro or extension were processed, to after all processing is done, for the sake of fixing gotos to labels inside cases... */ /* I guess this would be considered 2nd pass of compiler now... */ fix_gotos_in_extensions(exten_list); /* find and fix extension ref in gotos to labels that are in case statements */ add_extensions(exten_list); /* actually makes calls to create priorities in ast_contexts -- feeds dialplan to asterisk */ destroy_extensions(exten_list); /* all that remains is an empty husk, discard of it as is proper */ }

int ast_expr (  char *  expr, char *  buf, int  length )

Definition at line 3097 of file ast_expr2f.c. References AST_EXPR_integer, ast_yy_scan_string(), ast_yylex_destroy(), ast_yylex_init(), ast_yyparse(), free, and io. Referenced by pbx_substitute_variables_helper_full(). { struct parse_io io; int return_value = 0; memset(&io, 0, sizeof(io)); io.string = expr; /* to pass to the error routine */ ast_yylex_init(&io.scanner); ast_yy_scan_string(expr, io.scanner); ast_yyparse ((void *) &io); ast_yylex_destroy(io.scanner); if (!io.val) { if (length > 1) { strcpy(buf, "0"); return_value = 1; } } else { if (io.val->type == AST_EXPR_integer) { int res_length; res_length = snprintf(buf, length, "%ld", (long int) io.val->u.i); return_value = (res_length <= length) ? res_length : length; } else { #if defined(STANDALONE) || defined(LOW_MEMORY) strncpy(buf, io.val->u.s, length - 1); #else /* !STANDALONE && !LOW_MEMORY */ ast_copy_string(buf, io.val->u.s, length); #endif /* STANDALONE || LOW_MEMORY */ return_value = strlen(buf); free(io.val->u.s); } free(io.val); } return return_value; }

void ast_expr_clear_extra_error_info (  void   )

void ast_expr_register_extra_error_info (  char *  errmsg  )

AST_MODULE_INFO (  ASTERISK_GPL_KEY  , AST_MODFLAG_DEFAULT  , "Asterisk Extension Language Compiler"  , .  load = load_module, .  unload = unload_module, .  reload = reload )

static void attach_exten (  struct ael_extension **  list, struct ael_extension *  newmem )  [static]

Definition at line 3714 of file pbx_ael.c. References ael_extension::next_exten. Referenced by ast_compile_ael2(). { /* travel to the end of the list... */ struct ael_extension *lptr; if( !*list ) { *list = newmem; return; } lptr = *list; while( lptr->next_exten ) { lptr = lptr->next_exten; } /* lptr should now pointing to the last element in the list; it has a null next_exten pointer */ lptr->next_exten = newmem; }

static void check_abstract_reference (  pval *  abstract_context  )  [static]

Definition at line 2315 of file pbx_ael.c. References current_db, pval::list, pval::next, PV_CONTEXT, PV_INCLUDES, pval::str, pval::type, pval::u1, and pval::u2. Referenced by check_pval_item(). { pval *i,*j; /* find some context includes that reference this context */ /* otherwise, print out a warning */ for (i=current_db; i; i=i->next) { if (i->type == PV_CONTEXT) { for (j=i->u2. statements; j; j=j->next) { if ( j->type == PV_INCLUDES ) { struct pval *p4; for (p4=j->u1.list; p4; p4=p4->next) { /* for each context pointed to, find it, then find a context/label that matches the target here! */ if ( !strcmp(p4->u1.str, abstract_context->u1.str) ) return; /* found a match! */ } } } } } ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: Couldn't find a reference to this abstract context (%s) in any other context!\n", abstract_context->filename, abstract_context->startline, abstract_context->endline, abstract_context->u1.str); warns++; }

int check_app_args (  pval *  appcall, pval *  arglist, struct argapp *  app )

Definition at line 2143 of file pbx_ael.c. References app, ast_log(), pval::endline, pval::filename, LOG_WARNING, pval::next, pval::startline, pval::str, and pval::u1. { #ifdef AAL_ARGCHECK struct argdesc *ad = app->args; pval *pa; int z; for (pa = arglist; pa; pa=pa->next) { if (!ad) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: Extra argument %s not in application call to %s !\n", arglist->filename, arglist->startline, arglist->endline, pa->u1.str, app->name); warns++; return 1; } else { /* find the first entry in the ad list that will match */ do { if ( ad->dtype == ARGD_VARARG ) /* once we hit the VARARG, all bets are off. Discontinue the comparisons */ break; z= option_matches( ad, pa, app); if (!z) { if ( !arglist ) arglist=appcall; if (ad->type == ARGD_REQUIRED) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: Required argument %s not in application call to %s !\n", arglist->filename, arglist->startline, arglist->endline, ad->dtype==ARGD_OPTIONSET?"options":ad->name, app->name); warns++; return 1; } } else if (z && ad->dtype == ARGD_OPTIONSET) { option_matches_j( ad, pa, app); } ad = ad->next; } while (ad && !z); } } /* any app nodes left, that are not optional? */ for ( ; ad; ad=ad->next) { if (ad->type == ARGD_REQUIRED && ad->dtype != ARGD_VARARG) { if ( !arglist ) arglist=appcall; ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: Required argument %s not in application call to %s !\n", arglist->filename, arglist->startline, arglist->endline, ad->dtype==ARGD_OPTIONSET?"options":ad->name, app->name); warns++; return 1; } } return 0; #else return 0; #endif }

static int check_break (  pval *  item  )  [static]

Definition at line 1093 of file pbx_ael.c. References ast_log(), pval::dad, pval::endline, pval::filename, LOG_ERROR, PV_CASE, PV_CONTEXT, PV_DEFAULT, PV_FOR, PV_MACRO, PV_PATTERN, PV_WHILE, pval::startline, and pval::type. { pval *p = item; while( p && p->type != PV_MACRO && p->type != PV_CONTEXT ) /* early cutout, sort of */ { /* a break is allowed in WHILE, FOR, CASE, DEFAULT, PATTERN; otherwise, it don't make no sense */ if( p->type == PV_CASE || p->type == PV_DEFAULT || p->type == PV_PATTERN || p->type == PV_WHILE || p->type == PV_FOR ) { return 1; } p = p->dad; } ast_log(LOG_ERROR,"Error: file %s, line %d-%d: 'break' not in switch, for, or while statement!\n", item->filename, item->startline, item->endline); errs++; return 0; }

static void check_context_names (  void   )  [static]

Definition at line 2296 of file pbx_ael.c. References ast_log(), current_db, pval::endline, pval::filename, LOG_WARNING, pval::next, PV_CONTEXT, PV_MACRO, pval::startline, pval::str, pval::type, and pval::u1. Referenced by ael2_semantic_check(). { pval *i,*j; for (i=current_db; i; i=i->next) { if (i->type == PV_CONTEXT || i->type == PV_MACRO) { for (j=i->next; j; j=j->next) { if ( j->type == PV_CONTEXT || j->type == PV_MACRO ) { if ( !strcmp(i->u1.str, j->u1.str) ) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: The context name (%s) is also declared in file %s, line %d-%d!\n", i->filename, i->startline, i->endline, i->u1.str, j->filename, j->startline, j->endline); warns++; } } } } } }

static int check_continue (  pval *  item  )  [static]

Definition at line 1113 of file pbx_ael.c. References ast_log(), pval::dad, pval::endline, pval::filename, LOG_ERROR, PV_CONTEXT, PV_FOR, PV_MACRO, PV_WHILE, pval::startline, and pval::type. { pval *p = item; while( p && p->type != PV_MACRO && p->type != PV_CONTEXT ) /* early cutout, sort of */ { /* a break is allowed in WHILE, FOR, CASE, DEFAULT, PATTERN; otherwise, it don't make no sense */ if( p->type == PV_WHILE || p->type == PV_FOR ) { return 1; } p = p->dad; } ast_log(LOG_ERROR,"Error: file %s, line %d-%d: 'continue' not in 'for' or 'while' statement!\n", item->filename, item->startline, item->endline); errs++; return 0; }

static void check_day (  pval *  DAY  )  [static]

Definition at line 992 of file pbx_ael.c. References ast_log(), ast_strdupa, ast_strlen_zero(), pval::endline, pval::filename, LOG_WARNING, s, pval::startline, pval::str, and pval::u1. { char *day; char *c; /* The following line is coincidence, really! */ int s, e; day = ast_strdupa(DAY->u1.str); /* Check for all days */ if (ast_strlen_zero(day) || !strcmp(day, "*")) { return; } /* Get start and ending days */ c = strchr(day, '-'); if (c) { *c = '\0'; c++; } /* Find the start */ if (sscanf(day, "%d", &s) != 1) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The start day of month (%s) must be a number!\n", DAY->filename, DAY->startline, DAY->endline, day); warns++; } else if ((s < 1) || (s > 31)) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The start day of month (%s) must be a number in the range [1-31]!\n", DAY->filename, DAY->startline, DAY->endline, day); warns++; } s--; if (c) { if (sscanf(c, "%d", &e) != 1) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The end day of month (%s) must be a number!\n", DAY->filename, DAY->startline, DAY->endline, c); warns++; } else if ((e < 1) || (e > 31)) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The end day of month (%s) must be a number in the range [1-31]!\n", DAY->filename, DAY->startline, DAY->endline, day); warns++; } e--; } else e = s; }

static void check_dow (  pval *  DOW  )  [static]

get_dow: Get day of week Definition at line 953 of file pbx_ael.c. References ast_log(), ast_strdupa, ast_strlen_zero(), pval::endline, pval::filename, LOG_WARNING, s, pval::startline, pval::str, and pval::u1. { char *dow; char *c; /* The following line is coincidence, really! */ int s, e; dow = ast_strdupa(DOW->u1.str); /* Check for all days */ if (ast_strlen_zero(dow) || !strcmp(dow, "*")) return; /* Get start and ending days */ c = strchr(dow, '-'); if (c) { *c = '\0'; c++; } else c = NULL; /* Find the start */ s = 0; while ((s < 7) && strcasecmp(dow, days[s])) s++; if (s >= 7) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The day (%s) must be one of 'sun', 'mon', 'tue', 'wed', 'thu', 'fri', or 'sat'!\n", DOW->filename, DOW->startline, DOW->endline, dow); warns++; } if (c) { e = 0; while ((e < 7) && strcasecmp(c, days[e])) e++; if (e >= 7) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The end day (%s) must be one of 'sun', 'mon', 'tue', 'wed', 'thu', 'fri', or 'sat'!\n", DOW->filename, DOW->startline, DOW->endline, c); warns++; } } else e = s; }

static void check_expr2_input (  pval *  expr, char *  str )  [static]

Definition at line 857 of file pbx_ael.c. References ast_log(), pval::endline, pval::filename, LOG_WARNING, and pval::startline. { int spaces = strspn(str,"\t \n"); if ( !strncmp(str+spaces,"$[",2) ) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The expression '%s' is redundantly wrapped in '$[ ]'. \n", expr->filename, expr->startline, expr->endline, str); warns++; } }

static void check_goto (  pval *  item  )  [static]

Definition at line 1276 of file pbx_ael.c. References ast_log(), pval::endline, pval::filename, find_context(), find_label_in_current_context(), find_label_in_current_db(), find_label_in_current_extension(), get_contxt(), get_extension_or_contxt(), in_context(), in_macro(), pval::list, LOG_ERROR, LOG_WARNING, pval::next, PV_INCLUDES, pval::startline, pval::statements, pval::str, pval::type, pval::u1, and pval::u2. Referenced by find_pval_goto_item(). { /* check for the target of the goto-- does it exist? */ if ( !(item->u1.list)->next && !(item->u1.list)->u1.str ) { ast_log(LOG_ERROR,"Error: file %s, line %d-%d: goto: empty label reference found!\n", item->filename, item->startline, item->endline); errs++; } /* just one item-- the label should be in the current extension */ if (item->u1.list && !item->u1.list->next && !strstr((item->u1.list)->u1.str,"${")) { struct pval *z = get_extension_or_contxt(item); struct pval *x = 0; if (z) x = find_label_in_current_extension((char*)((item->u1.list)->u1.str), z); /* if in macro, use current context instead */ /* printf("Called find_label_in_current_extension with arg %s; current_extension is %x: %d\n", (char*)((item->u1.list)->u1.str), current_extension?current_extension:current_context, current_extension?current_extension->type:current_context->type); */ if (!x) { ast_log(LOG_ERROR,"Error: file %s, line %d-%d: goto: no label %s exists in the current extension!\n", item->filename, item->startline, item->endline, item->u1.list->u1.str); errs++; } else return; } /* TWO items */ if (item->u1.list->next && !item->u1.list->next->next) { /* two items */ /* printf("Calling find_label_in_current_context with args %s, %s\n", (char*)((item->u1.list)->u1.str), (char *)item->u1.list->next->u1.str); */ if (!strstr((item->u1.list)->u1.str,"${") && !strstr(item->u1.list->next->u1.str,"${") ) /* Don't try to match variables */ { struct pval *z = get_contxt(item); struct pval *x = 0; if (z) x = find_label_in_current_context((char *)item->u1.list->u1.str, (char *)item->u1.list->next->u1.str, z); if (!x) { ast_log(LOG_ERROR,"Error: file %s, line %d-%d: goto: no label %s|%s exists in the current context, or any of its inclusions!\n", item->filename, item->startline, item->endline, item->u1.list->u1.str, item->u1.list->next->u1.str ); errs++; } else return; } } /* All 3 items! */ if (item->u1.list->next && item->u1.list->next->next) { /* all three */ pval *first = item->u1.list; pval *second = item->u1.list->next; pval *third = item->u1.list->next->next; /* printf("Calling find_label_in_current_db with args %s, %s, %s\n", (char*)first->u1.str, (char*)second->u1.str, (char*)third->u1.str); */ if (!strstr((item->u1.list)->u1.str,"${") && !strstr(item->u1.list->next->u1.str,"${") && !strstr(item->u1.list->next->next->u1.str,"${")) /* Don't try to match variables */ { struct pval *x = find_label_in_current_db((char*)first->u1.str, (char*)second->u1.str, (char*)third->u1.str); if (!x) { struct pval *p3; struct pval *found = 0; struct pval *that_context = find_context(item->u1.list->u1.str); /* the target of the goto could be in an included context!! Fancy that!! */ /* look for includes in the current context */ if (that_context) { for (p3=that_context->u2.statements; p3; p3=p3->next) { if (p3->type == PV_INCLUDES) { struct pval *p4; for (p4=p3->u1.list; p4; p4=p4->next) { /* for each context pointed to, find it, then find a context/label that matches the target here! */ char *incl_context = p4->u1.str; /* find a matching context name */ struct pval *that_other_context = find_context(incl_context); if (that_other_context) { struct pval *x3; x3 = find_label_in_current_context((char *)item->u1.list->next->u1.str, (char *)item->u1.list->next->next->u1.str, that_other_context); if (x3) { found = x3; break; } } } } } if (!found) { ast_log(LOG_ERROR,"Error: file %s, line %d-%d: goto: no label %s|%s exists in the context %s or its inclusions!\n", item->filename, item->startline, item->endline, item->u1.list->next->u1.str, item->u1.list->next->next->u1.str, item->u1.list->u1.str ); errs++; } else { struct pval *mac = in_macro(item); /* is this goto inside a macro? */ if( mac ) { /* yes! */ struct pval *targ = in_context(found); if( mac != targ ) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: It's bad form to have a goto in a macro to a target outside the macro!\n", item->filename, item->startline, item->endline); warns++; } } } } else { ast_log(LOG_ERROR,"Error: file %s, line %d-%d: goto: no context %s could be found that matches the goto target!\n", item->filename, item->startline, item->endline, item->u1.list->u1.str); errs++; } } else { struct pval *mac = in_macro(item); /* is this goto inside a macro? */ if( mac ) { /* yes! */ struct pval *targ = in_context(x); if( mac != targ ) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: It's bad form to have a goto in a macro to a target outside the macro!\n", item->filename, item->startline, item->endline); warns++; } } } } } }

static void check_includes (  pval *  includes  )  [static]

Definition at line 867 of file pbx_ael.c. References ast_log(), pval::endline, pval::filename, find_context(), pval::list, LOG_WARNING, pval::next, pval::startline, pval::str, and pval::u1. { struct pval *p4; for (p4=includes->u1.list; p4; p4=p4->next) { /* for each context pointed to, find it, then find a context/label that matches the target here! */ char *incl_context = p4->u1.str; /* find a matching context name */ struct pval *that_other_context = find_context(incl_context); if (!that_other_context && strcmp(incl_context, "parkedcalls") != 0) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The included context '%s' cannot be found.\n", includes->filename, includes->startline, includes->endline, incl_context); warns++; } } }

static void check_label (  pval *  item  )  [static]

Definition at line 1161 of file pbx_ael.c. References ast_log(), current_context, current_extension, pval::dad, pval::endline, pval::filename, find_first_label_in_current_context(), LOG_ERROR, PV_EXTENSION, PV_MACRO, pval::startline, pval::str, pval::type, and pval::u1. { struct pval *curr; struct pval *x; int alright = 0; /* A label outside an extension just plain does not make sense! */ curr = item; while( curr ) { if( curr->type == PV_MACRO || curr->type == PV_EXTENSION ) { alright = 1; break; } curr = curr->dad; } if( !alright ) { ast_log(LOG_ERROR,"Error: file %s, line %d-%d: Label %s is not within an extension or macro!\n", item->filename, item->startline, item->endline, item->u1.str); errs++; } /* basically, ensure that a label is not repeated in a context. Period. The method: well, for each label, find the first label in the context with the same name. If it's not the current label, then throw an error. */ /* printf("==== check_label: ====\n"); */ if( !current_extension ) curr = current_context; else curr = current_extension; x = find_first_label_in_current_context((char *)item->u1.str, curr); /* printf("Hey, check_label found with item = %x, and x is %x, and currcont is %x, label name is %s\n", item,x, current_context, (char *)item->u1.str); */ if( x && x != item ) { ast_log(LOG_ERROR,"Error: file %s, line %d-%d: Duplicate label %s! Previously defined at file %s, line %d.\n", item->filename, item->startline, item->endline, item->u1.str, x->filename, x->startline); errs++; } /* printf("<<<<< check_label: ====\n"); */ }

static void check_macro_returns (  pval *  macro  )  [static]

Definition at line 702 of file pbx_ael.c. References ast_log(), calloc, pval::endcol, pval::endline, pval::filename, LOG_WARNING, pval::macro_statements, pval::next, PV_RETURN, pval::startcol, pval::startline, pval::str, strdup, pval::type, pval::u1, and pval::u3. Referenced by check_pval_item(). { pval *i; if (!macro->u3.macro_statements) { pval *z = calloc(1, sizeof(struct pval)); ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The macro %s is empty! I will insert a return.\n", macro->filename, macro->startline, macro->endline, macro->u1.str); z->type = PV_RETURN; z->startline = macro->startline; z->endline = macro->endline; z->startcol = macro->startcol; z->endcol = macro->endcol; z->filename = strdup(macro->filename); macro->u3.macro_statements = z; return; } for (i=macro->u3.macro_statements; i; i=i->next) { /* if the last statement in the list is not return, then insert a return there */ if (i->next == NULL) { if (i->type != PV_RETURN) { pval *z = calloc(1, sizeof(struct pval)); ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The macro %s does not end with a return; I will insert one.\n", macro->filename, macro->startline, macro->endline, macro->u1.str); z->type = PV_RETURN; z->startline = macro->startline; z->endline = macro->endline; z->startcol = macro->startcol; z->endcol = macro->endcol; z->filename = strdup(macro->filename); i->next = z; return; } } } return; }

static void check_month (  pval *  MON  )  [static]

Definition at line 1055 of file pbx_ael.c. References ast_log(), ast_strdupa, ast_strlen_zero(), pval::endline, pval::filename, LOG_WARNING, s, pval::startline, pval::str, and pval::u1. { char *mon; char *c; /* The following line is coincidence, really! */ int s, e; mon = ast_strdupa(MON->u1.str); /* Check for all days */ if (ast_strlen_zero(mon) || !strcmp(mon, "*")) return ; /* Get start and ending days */ c = strchr(mon, '-'); if (c) { *c = '\0'; c++; } /* Find the start */ s = 0; while ((s < 12) && strcasecmp(mon, months[s])) s++; if (s >= 12) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The start month (%s) must be a one of: 'jan', 'feb', ..., 'dec'!\n", MON->filename, MON->startline, MON->endline, mon); warns++; } if (c) { e = 0; while ((e < 12) && strcasecmp(mon, months[e])) e++; if (e >= 12) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The end month (%s) must be a one of: 'jan', 'feb', ..., 'dec'!\n", MON->filename, MON->startline, MON->endline, c); warns++; } } else e = s; }

void check_pval (  pval *  item, struct argapp *  apps, int  in_globals )

Definition at line 2785 of file pbx_ael.c. References check_pval_item(), and pval::next. Referenced by ael2_semantic_check(), and check_pval_item(). { pval *i; /* checks to do: 1. Do goto's point to actual labels? 2. Do macro calls reference a macro? 3. Does the number of macro args match the definition? 4. Is a macro call missing its & at the front? 5. Application calls-- we could check syntax for existing applications, but I need some some sort of universal description bnf for a general sort of method for checking arguments, in number, maybe even type, at least. Don't want to hand code checks for hundreds of applications. */ for (i=item; i; i=i->next) { check_pval_item(i,apps,in_globals); } }

void check_pval_item (  pval *  item, struct argapp *  apps, int  in_globals )

Definition at line 2343 of file pbx_ael.c. References pval::abstract, app, pval::arglist, ast_log(), check_abstract_reference(), check_macro_returns(), check_pval(), current_context, current_extension, pval::endline, pval::filename, find_context(), find_macro(), free, LOG_ERROR, LOG_WARNING, pval::macro_statements, pval::next, PV_APPLICATION_CALL, PV_CONTEXT, PV_MACRO, PV_MACRO_CALL, PV_RETURN, PV_WORD, pval::startline, pval::statements, pval::str, pval::type, pval::u1, pval::u2, and pval::u3. Referenced by check_pval(). { pval *lp; #ifdef AAL_ARGCHECK struct argapp *app, *found; #endif struct pval *macro_def; struct pval *app_def; char errmsg[4096]; char *strp; switch (item->type) { case PV_WORD: /* fields: item->u1.str == string associated with this (word). item->u2.arglist == pval list of 4 PV_WORD elements for time values (only in PV_INCLUDES) */ break; case PV_MACRO: /* fields: item->u1.str == name of macro item->u2.arglist == pval list of PV_WORD arguments of macro, as given by user item->u2.arglist->u1.str == argument item->u2.arglist->next == next arg item->u3.macro_statements == pval list of statements in macro body. */ in_abstract_context = 0; current_context = item; current_extension = 0; check_macro_returns(item); for (lp=item->u2.arglist; lp; lp=lp->next) { } check_pval(item->u3.macro_statements, apps,in_globals); break; case PV_CONTEXT: /* fields: item->u1.str == name of context item->u2.statements == pval list of statements in context body item->u3.abstract == int 1 if an abstract keyword were present */ current_context = item; current_extension = 0; if ( item->u3.abstract ) { in_abstract_context = 1; check_abstract_reference(item); } else in_abstract_context = 0; check_pval(item->u2.statements, apps,in_globals); break; case PV_MACRO_CALL: /* fields: item->u1.str == name of macro to call item->u2.arglist == pval list of PV_WORD arguments of macro call, as given by user item->u2.arglist->u1.str == argument item->u2.arglist->next == next arg */ macro_def = find_macro(item->u1.str); if (!macro_def) { ast_log(LOG_ERROR, "Error: file %s, line %d-%d: macro call to non-existent %s !\n", item->filename, item->startline, item->endline, item->u1.str); errs++; } else if (macro_def->type != PV_MACRO) { ast_log(LOG_ERROR,"Error: file %s, line %d-%d: macro call to %s references a context, not a macro!\n", item->filename, item->startline, item->endline, item->u1.str); errs++; } else { /* macro_def is a MACRO, so do the args match in number? */ int hereargs = 0; int thereargs = 0; for (lp=item->u2.arglist; lp; lp=lp->next) { hereargs++; } for (lp=macro_def->u2.arglist; lp; lp=lp->next) { thereargs++; } if (hereargs != thereargs ) { ast_log(LOG_ERROR, "Error: file %s, line %d-%d: The macro call to %s has %d arguments, but the macro definition has %d arguments\n", item->filename, item->startline, item->endline, item->u1.str, hereargs, thereargs); errs++; } } break; case PV_APPLICATION_CALL: /* fields: item->u1.str == name of application to call item->u2.arglist == pval list of PV_WORD arguments of macro call, as given by user item->u2.arglist->u1.str == argument item->u2.arglist->next == next arg */ /* Need to check to see if the application is available! */ app_def = find_context(item->u1.str); if (app_def && app_def->type == PV_MACRO) { ast_log(LOG_ERROR,"Error: file %s, line %d-%d: application call to %s references an existing macro, but had no & preceding it!\n", item->filename, item->startline, item->endline, item->u1.str); errs++; } if (strcasecmp(item->u1.str,"GotoIf") == 0 || strcasecmp(item->u1.str,"GotoIfTime") == 0 || strcasecmp(item->u1.str,"while") == 0 || strcasecmp(item->u1.str,"endwhile") == 0 || strcasecmp(item->u1.str,"random") == 0 || strcasecmp(item->u1.str,"gosub") == 0 || strcasecmp(item->u1.str,"return") == 0 || strcasecmp(item->u1.str,"gosubif") == 0 || strcasecmp(item->u1.str,"continuewhile") == 0 || strcasecmp(item->u1.str,"endwhile") == 0 || strcasecmp(item->u1.str,"execif") == 0 || strcasecmp(item->u1.str,"execiftime") == 0 || strcasecmp(item->u1.str,"exitwhile") == 0 || strcasecmp(item->u1.str,"goto") == 0 || strcasecmp(item->u1.str,"macro") == 0 || strcasecmp(item->u1.str,"macroexclusive") == 0 || strcasecmp(item->u1.str,"macroif") == 0 || strcasecmp(item->u1.str,"stackpop") == 0 || strcasecmp(item->u1.str,"execIf") == 0 ) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: application call to %s affects flow of control, and needs to be re-written using AEL if, while, goto, etc. keywords instead!\n", item->filename, item->startline, item->endline, item->u1.str); warns++; } if (strcasecmp(item->u1.str,"macroexit") == 0) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: I am converting the MacroExit call here to a return statement.\n", item->filename, item->startline, item->endline); item->type = PV_RETURN; free(item->u1.str); item->u1.str = 0; } #ifdef AAL_ARGCHECK found = 0; for (app=apps; app; app=app->next) { if (strcasecmp(app->name, item->u1.str) == 0) { found =app; break; } } if (!found) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: application call to %s not listed in applist database!\n", item->filename, item->startline, item->endline, item->u1.str); warns++; } else check_app_args(item, item->u2.arglist, app); #endif break; case PV_CASE: /* fields: item->u1.str == value of case item->u2.statements == pval list of statements under the case */ /* Make sure sequence of statements under case is terminated with goto, return, or break */ /* find the last statement */ check_pval(item->u2.statements, apps,in_globals); break; case PV_PATTERN: /* fields: item->u1.str == value of case item->u2.statements == pval list of statements under the case */ /* Make sure sequence of statements under case is terminated with goto, return, or break */ /* find the last statement */ check_pval(item->u2.statements, apps,in_globals); break; case PV_DEFAULT: /* fields: item->u2.statements == pval list of statements under the case */ check_pval(item->u2.statements, apps,in_globals); break; case PV_CATCH: /* fields: item->u1.str == name of extension to catch item->u2.statements == pval list of statements in context body */ check_pval(item->u2.statements, apps,in_globals); break; case PV_SWITCHES: /* fields: item->u1.list == pval list of PV_WORD elements, one per entry in the list */ check_pval(item->u1.list, apps,in_globals); break; case PV_ESWITCHES: /* fields: item->u1.list == pval list of PV_WORD elements, one per entry in the list */ check_pval(item->u1.list, apps,in_globals); break; case PV_INCLUDES: /* fields: item->u1.list == pval list of PV_WORD elements, one per entry in the list */ check_pval(item->u1.list, apps,in_globals); check_includes(item); for (lp=item->u1.list; lp; lp=lp->next){ char *incl_context = lp->u1.str; struct pval *that_context = find_context(incl_context); if ( lp->u2.arglist ) { check_timerange(lp->u2.arglist); check_dow(lp->u2.arglist->next); check_day(lp->u2.arglist->next->next); check_month(lp->u2.arglist->next->next->next); } if (that_context) { find_pval_gotos(that_context->u2.statements,0); } } break; case PV_STATEMENTBLOCK: /* fields: item->u1.list == pval list of statements in block, one per entry in the list */ check_pval(item->u1.list, apps,in_globals); break; case PV_VARDEC: /* fields: item->u1.str == variable name item->u2.val == variable value to assign */ /* the RHS of a vardec is encapsulated in a $[] expr. Is it legal? */ if( !in_globals ) { /* don't check stuff inside the globals context; no wrapping in $[ ] there... */ snprintf(errmsg,sizeof(errmsg), "file %s, line %d, columns %d-%d, variable declaration expr '%s':", config, item->startline, item->startcol, item->endcol, item->u2.val); ast_expr_register_extra_error_info(errmsg); ast_expr(item->u2.val, expr_output, sizeof(expr_output)); ast_expr_clear_extra_error_info(); if ( strpbrk(item->u2.val,"~!-+<>=*/&^") && !strstr(item->u2.val,"${") ) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: expression %s has operators, but no variables. Interesting...\n", item->filename, item->startline, item->endline, item->u2.val); warns++; } check_expr2_input(item,item->u2.val); } break; case PV_GOTO: /* fields: item->u1.list == pval list of PV_WORD target names, up to 3, in order as given by user. item->u1.list->u1.str == where the data on a PV_WORD will always be. */ /* don't check goto's in abstract contexts */ if ( in_abstract_context ) break; check_goto(item); break; case PV_LABEL: /* fields: item->u1.str == label name */ if ( strspn(item->u1.str, "0123456789") == strlen(item->u1.str) ) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: label '%s' is numeric, this is bad practice!\n", item->filename, item->startline, item->endline, item->u1.str); warns++; } check_label(item); break; case PV_FOR: /* fields: item->u1.for_init == a string containing the initalizer item->u2.for_test == a string containing the loop test item->u3.for_inc == a string containing the loop increment item->u4.for_statements == a pval list of statements in the for () */ snprintf(errmsg,sizeof(errmsg),"file %s, line %d, columns %d-%d, for test expr '%s':", config, item->startline, item->startcol, item->endcol, item->u2.for_test); ast_expr_register_extra_error_info(errmsg); strp = strchr(item->u1.for_init, '='); if (strp) { ast_expr(strp+1, expr_output, sizeof(expr_output)); } ast_expr(item->u2.for_test, expr_output, sizeof(expr_output)); strp = strchr(item->u3.for_inc, '='); if (strp) { ast_expr(strp+1, expr_output, sizeof(expr_output)); } if ( strpbrk(item->u2.for_test,"~!-+<>=*/&^") && !strstr(item->u2.for_test,"${") ) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: expression %s has operators, but no variables. Interesting...\n", item->filename, item->startline, item->endline, item->u2.for_test); warns++; } if ( strpbrk(item->u3.for_inc,"~!-+<>=*/&^") && !strstr(item->u3.for_inc,"${") ) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: expression %s has operators, but no variables. Interesting...\n", item->filename, item->startline, item->endline, item->u3.for_inc); warns++; } check_expr2_input(item,item->u2.for_test); check_expr2_input(item,item->u3.for_inc); ast_expr_clear_extra_error_info(); check_pval(item->u4.for_statements, apps,in_globals); break; case PV_WHILE: /* fields: item->u1.str == the while conditional, as supplied by user item->u2.statements == a pval list of statements in the while () */ snprintf(errmsg,sizeof(errmsg),"file %s, line %d, columns %d-%d, while expr '%s':", config, item->startline, item->startcol, item->endcol, item->u1.str); ast_expr_register_extra_error_info(errmsg); ast_expr(item->u1.str, expr_output, sizeof(expr_output)); ast_expr_clear_extra_error_info(); if ( strpbrk(item->u1.str,"~!-+<>=*/&^") && !strstr(item->u1.str,"${") ) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: expression %s has operators, but no variables. Interesting...\n", item->filename, item->startline, item->endline, item->u1.str); warns++; } check_expr2_input(item,item->u1.str); check_pval(item->u2.statements, apps,in_globals); break; case PV_BREAK: /* fields: none */ check_break(item); break; case PV_RETURN: /* fields: none */ break; case PV_CONTINUE: /* fields: none */ check_continue(item); break; case PV_RANDOM: /* fields: item->u1.str == the random number expression, as supplied by user item->u2.statements == a pval list of statements in the if () item->u3.else_statements == a pval list of statements in the else (could be zero) */ snprintf(errmsg,sizeof(errmsg),"file %s, line %d, columns %d-%d, random expr '%s':", config, item->startline, item->startcol, item->endcol, item->u1.str); ast_expr_register_extra_error_info(errmsg); ast_expr(item->u1.str, expr_output, sizeof(expr_output)); ast_expr_clear_extra_error_info(); if ( strpbrk(item->u1.str,"~!-+<>=*/&^") && !strstr(item->u1.str,"${") ) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: random expression '%s' has operators, but no variables. Interesting...\n", item->filename, item->startline, item->endline, item->u1.str); warns++; } check_expr2_input(item,item->u1.str); check_pval(item->u2.statements, apps,in_globals); if (item->u3.else_statements) { check_pval(item->u3.else_statements, apps,in_globals); } break; case PV_IFTIME: /* fields: item->u1.list == the if time values, 4 of them, each in PV_WORD, linked list item->u2.statements == a pval list of statements in the if () item->u3.else_statements == a pval list of statements in the else (could be zero) */ if ( item->u2.arglist ) { check_timerange(item->u1.list); check_dow(item->u1.list->next); check_day(item->u1.list->next->next); check_month(item->u1.list->next->next->next); } check_pval(item->u2.statements, apps,in_globals); if (item->u3.else_statements) { check_pval(item->u3.else_statements, apps,in_globals); } break; case PV_IF: /* fields: item->u1.str == the if conditional, as supplied by user item->u2.statements == a pval list of statements in the if () item->u3.else_statements == a pval list of statements in the else (could be zero) */ snprintf(errmsg,sizeof(errmsg),"file %s, line %d, columns %d-%d, if expr '%s':", config, item->startline, item->startcol, item->endcol, item->u1.str); ast_expr_register_extra_error_info(errmsg); ast_expr(item->u1.str, expr_output, sizeof(expr_output)); ast_expr_clear_extra_error_info(); if ( strpbrk(item->u1.str,"~!-+<>=*/&^") && !strstr(item->u1.str,"${") ) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: expression '%s' has operators, but no variables. Interesting...\n", item->filename, item->startline, item->endline, item->u1.str); warns++; } check_expr2_input(item,item->u1.str); check_pval(item->u2.statements, apps,in_globals); if (item->u3.else_statements) { check_pval(item->u3.else_statements, apps,in_globals); } break; case PV_SWITCH: /* fields: item->u1.str == the switch expression item->u2.statements == a pval list of statements in the switch, (will be case statements, most likely!) */ /* we can check the switch expression, see if it matches any of the app variables... if it does, then, are all the possible cases accounted for? */ check_switch_expr(item, apps); check_pval(item->u2.statements, apps,in_globals); break; case PV_EXTENSION: /* fields: item->u1.str == the extension name, label, whatever it's called item->u2.statements == a pval list of statements in the extension item->u3.hints == a char * hint argument item->u4.regexten == an int boolean. non-zero says that regexten was specified */ current_extension = item ; check_pval(item->u2.statements, apps,in_globals); break; case PV_IGNOREPAT: /* fields: item->u1.str == the ignorepat data */ break; case PV_GLOBALS: /* fields: item->u1.statements == pval list of statements, usually vardecs */ in_abstract_context = 0; check_pval(item->u1.statements, apps, 1); break; default: break; } }

void check_switch_expr (  pval *  item, struct argapp *  apps )

Definition at line 2197 of file pbx_ael.c. References ast_strdupa, argapp::next, pval::str, and pval::u1. { #ifdef AAL_ARGCHECK /* get and clean the variable name */ char *buff1, *p; struct argapp *a,*a2; struct appsetvar *v,*v2; struct argchoice *c; pval *t; p = item->u1.str; while (p && *p && (*p == ' ' || *p == '\t' || *p == '$' || *p == '{' ) ) p++; buff1 = ast_strdupa(p); while (strlen(buff1) > 0 && ( buff1[strlen(buff1)-1] == '}' || buff1[strlen(buff1)-1] == ' ' || buff1[strlen(buff1)-1] == '\t')) buff1[strlen(buff1)-1] = 0; /* buff1 now contains the variable name */ v = 0; for (a=apps; a; a=a->next) { for (v=a->setvars;v;v=v->next) { if (strcmp(v->name,buff1) == 0) { break; } } if ( v ) break; } if (v && v->vals) { /* we have a match, to a variable that has a set of determined values */ int def= 0; int pat = 0; int f1 = 0; /* first of all, does this switch have a default case ? */ for (t=item->u2.statements; t; t=t->next) { if (t->type == PV_DEFAULT) { def =1; break; } if (t->type == PV_PATTERN) { pat++; } } if (def || pat) /* nothing to check. All cases accounted for! */ return; for (c=v->vals; c; c=c->next) { f1 = 0; for (t=item->u2.statements; t; t=t->next) { if (t->type == PV_CASE || t->type == PV_PATTERN) { if (!strcmp(t->u1.str,c->name)) { f1 = 1; break; } } } if (!f1) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: switch with expression(%s) does not handle the case of %s !\n", item->filename, item->startline, item->endline, item->u1.str, c->name); warns++; } } /* next, is there an app call in the current exten, that would set this var? */ f1 = 0; t = current_extension->u2.statements; if ( t && t->type == PV_STATEMENTBLOCK ) t = t->u1.statements; for (; t && t != item; t=t->next) { if (t->type == PV_APPLICATION_CALL) { /* find the application that matches the u1.str */ for (a2=apps; a2; a2=a2->next) { if (strcasecmp(a2->name, t->u1.str)==0) { for (v2=a2->setvars; v2; v2=v2->next) { if (strcmp(v2->name, buff1) == 0) { /* found an app that sets the var */ f1 = 1; break; } } } if (f1) break; } } if (f1) break; } /* see if it sets the var */ if (!f1) { ast_log(LOG_WARNING,"Warning: file %s, line %d-%d: Couldn't find an application call in this extension that sets the expression (%s) value!\n", item->filename, item->startline, item->endline, item->u1.str); warns++; } } #endif }

static void check_timerange (  pval *  p  )  [static]

Definition at line 885 of file pbx_ael.c. References ast_log(), ast_strdupa, ast_strlen_zero(), pval::endline, pval::filename, LOG_WARNING, pval::startline, pval::str, and pval::u1. { char *times; char *e; int s1, s2; int e1, e2; times = ast_strdupa(p->u1.str); /* Star is all times */ if (ast_strlen_zero(times) || !strcmp(times, "*")) { return; } /* Otherwise expect a range */ e = strchr(times, '-'); if (!e) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The time range format (%s) requires a '-' surrounded by two 24-hour times of day!\n", p->filename, p->startline, p->endline, times); warns++; return; } *e = '\0'; e++; while (*e && !isdigit(*e)) e++; if (!*e) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The time range format (%s) is missing the end time!\n", p->filename, p->startline, p->endline, p->u1.str); warns++; } if (sscanf(times, "%d:%d", &s1, &s2) != 2) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The start time (%s) isn't quite right!\n", p->filename, p->startline, p->endline, times); warns++; } if (sscanf(e, "%d:%d", &e1, &e2) != 2) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The end time (%s) isn't quite right!\n", p->filename, p->startline, p->endline, times); warns++; } s1 = s1 * 30 + s2/2; if ((s1 < 0) || (s1 >= 24*30)) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The start time (%s) is out of range!\n", p->filename, p->startline, p->endline, times); warns++; } e1 = e1 * 30 + e2/2; if ((e1 < 0) || (e1 >= 24*30)) { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The end time (%s) is out of range!\n", p->filename, p->startline, p->endline, e); warns++; } return; }

void destroy_extensions (  struct ael_extension *  exten  )

Definition at line 2867 of file pbx_ael.c. References ael_priority::app, ael_priority::appargs, exten, free, ael_priority::goto_false, ael_priority::goto_true, ael_extension::hints, ael_extension::name, ael_priority::next, ael_priority::origin, and ael_extension::plist. { struct ael_extension *ne, *nen; for (ne=exten; ne; ne=nen) { struct ael_priority *pe, *pen; if (ne->name) free(ne->name); /* cidmatch fields are allocated with name, and freed when the name field is freed. Don't do a free for this field, unless you LIKE to see a crash! */ if (ne->hints) free(ne->hints); for (pe=ne->plist; pe; pe=pen) { pen = pe->next; if (pe->app) free(pe->app); pe->app = 0; if (pe->appargs) free(pe->appargs); pe->appargs = 0; pe->origin = 0; pe->goto_true = 0; pe->goto_false = 0; free(pe); } nen = ne->next_exten; ne->next_exten = 0; ne->plist =0; ne->plist_last = 0; ne->next_exten = 0; ne->loop_break = 0; ne->loop_continue = 0; free(ne); } }

void destroy_pval (  pval *  item  )

void destroy_pval_item (  pval *  item  )

Definition at line 4123 of file pbx_ael.c. References pval::arglist, ast_log(), destroy_pval(), pval::else_statements, pval::filename, pval::for_inc, pval::for_init, pval::for_statements, pval::for_test, free, pval::hints, pval::list, LOG_WARNING, pval::macro_statements, PV_APPLICATION_CALL, PV_BREAK, PV_CASE, PV_CATCH, PV_CONTEXT, PV_CONTINUE, PV_DEFAULT, PV_ESWITCHES, PV_EXTENSION, PV_FOR, PV_GLOBALS, PV_GOTO, PV_IF, PV_IFTIME, PV_IGNOREPAT, PV_INCLUDES, PV_LABEL, PV_MACRO, PV_MACRO_CALL, PV_PATTERN, PV_RANDOM, PV_RETURN, PV_STATEMENTBLOCK, PV_SWITCH, PV_SWITCHES, PV_VARDEC, PV_WHILE, PV_WORD, pval::statements, pval::str, pval::type, pval::u1, pval::u2, pval::u3, pval::u4, and pval::val. Referenced by destroy_pval(). { if (item == NULL) { ast_log(LOG_WARNING, "null item\n"); return; } if (item->filename) free(item->filename); switch (item->type) { case PV_WORD: /* fields: item->u1.str == string associated with this (word). */ if (item->u1.str ) free(item->u1.str); if ( item->u2.arglist ) destroy_pval(item->u2.arglist); break; case PV_MACRO: /* fields: item->u1.str == name of macro item->u2.arglist == pval list of PV_WORD arguments of macro, as given by user item->u2.arglist->u1.str == argument item->u2.arglist->next == next arg item->u3.macro_statements == pval list of statements in macro body. */ destroy_pval(item->u2.arglist); if (item->u1.str ) free(item->u1.str); destroy_pval(item->u3.macro_statements); break; case PV_CONTEXT: /* fields: item->u1.str == name of context item->u2.statements == pval list of statements in context body item->u3.abstract == int 1 if an abstract keyword were present */ if (item->u1.str) free(item->u1.str); destroy_pval(item->u2.statements); break; case PV_MACRO_CALL: /* fields: item->u1.str == name of macro to call item->u2.arglist == pval list of PV_WORD arguments of macro call, as given by user item->u2.arglist->u1.str == argument item->u2.arglist->next == next arg */ if (item->u1.str) free(item->u1.str); destroy_pval(item->u2.arglist); break; case PV_APPLICATION_CALL: /* fields: item->u1.str == name of application to call item->u2.arglist == pval list of PV_WORD arguments of macro call, as given by user item->u2.arglist->u1.str == argument item->u2.arglist->next == next arg */ if (item->u1.str) free(item->u1.str); destroy_pval(item->u2.arglist); break; case PV_CASE: /* fields: item->u1.str == value of case item->u2.statements == pval list of statements under the case */ if (item->u1.str) free(item->u1.str); destroy_pval(item->u2.statements); break; case PV_PATTERN: /* fields: item->u1.str == value of case item->u2.statements == pval list of statements under the case */ if (item->u1.str) free(item->u1.str); destroy_pval(item->u2.statements); break; case PV_DEFAULT: /* fields: item->u2.statements == pval list of statements under the case */ destroy_pval(item->u2.statements); break; case PV_CATCH: /* fields: item->u1.str == name of extension to catch item->u2.statements == pval list of statements in context body */ if (item->u1.str) free(item->u1.str); destroy_pval(item->u2.statements); break; case PV_SWITCHES: /* fields: item->u1.list == pval list of PV_WORD elements, one per entry in the list */ destroy_pval(item->u1.list); break; case PV_ESWITCHES: /* fields: item->u1.list == pval list of PV_WORD elements, one per entry in the list */ destroy_pval(item->u1.list); break; case PV_INCLUDES: /* fields: item->u1.list == pval list of PV_WORD elements, one per entry in the list item->u2.arglist == pval list of 4 PV_WORD elements for time values */ destroy_pval(item->u1.list); break; case PV_STATEMENTBLOCK: /* fields: item->u1.list == pval list of statements in block, one per entry in the list */ destroy_pval(item->u1.list); break; case PV_VARDEC: /* fields: item->u1.str == variable name item->u2.val == variable value to assign */ if (item->u1.str) free(item->u1.str); if (item->u2.val) free(item->u2.val); break; case PV_GOTO: /* fields: item->u1.list == pval list of PV_WORD target names, up to 3, in order as given by user. item->u1.list->u1.str == where the data on a PV_WORD will always be. */ destroy_pval(item->u1.list); break; case PV_LABEL: /* fields: item->u1.str == label name */ if (item->u1.str) free(item->u1.str); break; case PV_FOR: /* fields: item->u1.for_init == a string containing the initalizer item->u2.for_test == a string containing the loop test item->u3.for_inc == a string containing the loop increment item->u4.for_statements == a pval list of statements in the for () */ if (item->u1.for_init) free(item->u1.for_init); if (item->u2.for_test) free(item->u2.for_test); if (item->u3.for_inc) free(item->u3.for_inc); destroy_pval(item->u4.for_statements); break; case PV_WHILE: /* fields: item->u1.str == the while conditional, as supplied by user item->u2.statements == a pval list of statements in the while () */ if (item->u1.str) free(item->u1.str); destroy_pval(item->u2.statements); break; case PV_BREAK: /* fields: none */ break; case PV_RETURN: /* fields: none */ break; case PV_CONTINUE: /* fields: none */ break; case PV_IFTIME: /* fields: item->u1.list == the 4 time values, in PV_WORD structs, linked list item->u2.statements == a pval list of statements in the if () item->u3.else_statements == a pval list of statements in the else (could be zero) */ destroy_pval(item->u1.list); destroy_pval(item->u2.statements); if (item->u3.else_statements) { destroy_pval(item->u3.else_statements); } break; case PV_RANDOM: /* fields: item->u1.str == the random percentage, as supplied by user item->u2.statements == a pval list of statements in the true part () item->u3.else_statements == a pval list of statements in the else (could be zero) fall thru to If */ case PV_IF: /* fields: item->u1.str == the if conditional, as supplied by user item->u2.statements == a pval list of statements in the if () item->u3.else_statements == a pval list of statements in the else (could be zero) */ if (item->u1.str) free(item->u1.str); destroy_pval(item->u2.statements); if (item->u3.else_statements) { destroy_pval(item->u3.else_statements); } break; case PV_SWITCH: /* fields: item->u1.str == the switch expression item->u2.statements == a pval list of statements in the switch, (will be case statements, most likely!) */ if (item->u1.str) free(item->u1.str); destroy_pval(item->u2.statements); break; case PV_EXTENSION: /* fields: item->u1.str == the extension name, label, whatever it's called item->u2.statements == a pval list of statements in the extension item->u3.hints == a char * hint argument item->u4.regexten == an int boolean. non-zero says that regexten was specified */ if (item->u1.str) free(item->u1.str); if (item->u3.hints) free(item->u3.hints); destroy_pval(item->u2.statements); break; case PV_IGNOREPAT: /* fields: item->u1.str == the ignorepat data */ if (item->u1.str) free(item->u1.str); break; case PV_GLOBALS: /* fields: item->u1.statements == pval list of statements, usually vardecs */ destroy_pval(item->u1.statements); break; } free(item); }

static int extension_matches (  pval *  here, const char *  exten, const char *  pattern )  [static]

Definition at line 746 of file pbx_ael.c. References ast_log(), pval::endline, pval::filename, LOG_ERROR, LOG_WARNING, and pval::startline. Referenced by match_pval_item(). { int err1; regex_t preg; /* simple case, they match exactly, the pattern and exten name */ if (!strcmp(pattern,exten) == 0) return 1; if (pattern[0] == '_') { char reg1[2000]; const char *p; char *r = reg1; if ( strlen(pattern)*5 >= 2000 ) /* safety valve */ { ast_log(LOG_ERROR,"Error: The pattern %s is way too big. Pattern matching cancelled.\n", pattern); return 0; } /* form a regular expression from the pattern, and then match it against exten */ *r++ = '^'; /* what if the extension is a pattern ?? */ *r++ = '_'; /* what if the extension is a pattern ?? */ *r++ = '?'; for (p=pattern+1; *p; p++) { switch ( *p ) { case 'X': *r++ = '['; *r++ = '0'; *r++ = '-'; *r++ = '9'; *r++ = 'X'; *r++ = ']'; break; case 'Z': *r++ = '['; *r++ = '1'; *r++ = '-'; *r++ = '9'; *r++ = 'Z'; *r++ = ']'; break; case 'N': *r++ = '['; *r++ = '2'; *r++ = '-'; *r++ = '9'; *r++ = 'N'; *r++ = ']'; break; case '[': while ( *p && *p != ']' ) { *r++ = *p++; } if ( *p != ']') { ast_log(LOG_WARNING, "Warning: file %s, line %d-%d: The extension pattern '%s' is missing a closing bracket \n", here->filename, here->startline, here->endline, pattern); } break; case '.': case '!': *r++ = '.'; *r++ = '*'; break; case '*': *r++ = '\\'; *r++ = '*'; break; default: *r++ = *p; break; } } *r++ = '$'; /* what if the extension is a pattern ?? */ *r++ = *p++; /* put in the closing null */ err1 = regcomp(&preg, reg1, REG_NOSUB|REG_EXTENDED); if ( err1 ) { char errmess[500]; regerror(err1,&preg,errmess,sizeof(errmess)); regfree(&preg); ast_log(LOG_WARNING, "Regcomp of %s failed, error code %d\n", reg1, err1); return 0; } err1 = regexec(&preg, exten, 0, 0, 0); regfree(&preg); if ( err1 ) { /* ast_log(LOG_NOTICE,"*****************************[%d]Extension %s did not match %s(%s)\n", err1,exten, pattern, reg1); */ return 0; /* no match */ } else { /* ast_log(LOG_NOTICE,"*****************************Extension %s matched %s\n", exten, pattern); */ return 1; } } else { if ( strcmp(exten,pattern) == 0 ) { return 1; } else return 0; } }

struct pval * find_context (  char *  name  )

Definition at line 1966 of file pbx_ael.c. References current_db, and match_pval(). Referenced by check_goto(), check_includes(), check_pval_item(), find_first_label_in_current_context(), find_label_in_current_context(), find_pval_goto_item(), and get_goto_target(). { return_on_context_match = 1; count_labels = 0; match_context = name; match_exten = "*"; /* don't really need to set these, shouldn't be reached */ match_label = "*"; return match_pval(current_db); }

struct pval * find_first_label_in_current_context (  char *  label, pval *  curr_cont )  [static]

Definition at line 1852 of file pbx_ael.c. References find_context(), pval::list, match_pval(), pval::next, PV_INCLUDES, pval::statements, pval::str, pval::type, pval::u1, and pval::u2. Referenced by check_label(). { /* printf(" --- Got args %s, %s\n", exten, label); */ struct pval *ret; struct pval *p3; count_labels = 0; return_on_context_match = 0; match_context = "*"; match_exten = "*"; match_label = label; ret = match_pval(curr_cont); if (ret) return ret; /* the target of the goto could be in an included context!! Fancy that!! */ /* look for includes in the current context */ for (p3=curr_cont->u2.statements; p3; p3=p3->next) { if (p3->type == PV_INCLUDES) { struct pval *p4; for (p4=p3->u1.list; p4; p4=p4->next) { /* for each context pointed to, find it, then find a context/label that matches the target here! */ char *incl_context = p4->u1.str; /* find a matching context name */ struct pval *that_context = find_context(incl_context); if (that_context) { struct pval *x3; x3 = find_first_label_in_current_context(label, that_context); if (x3) { return x3; } } } } } return 0; }

struct pval * find_label_in_current_context (  char *  exten, char *  label, pval *  curr_cont )  [static]

Definition at line 1892 of file pbx_ael.c. References find_context(), pval::list, match_pval(), pval::next, PV_INCLUDES, pval::statements, pval::str, pval::type, pval::u1, and pval::u2. Referenced by check_goto(), and get_goto_target(). { /* printf(" --- Got args %s, %s\n", exten, label); */ struct pval *ret; struct pval *p3; count_labels = 0; return_on_context_match = 0; match_context = "*"; match_exten = exten; match_label = label; ret = match_pval(curr_cont->u2.statements); if (ret) return ret; /* the target of the goto could be in an included context!! Fancy that!! */ /* look for includes in the current context */ for (p3=curr_cont->u2.statements; p3; p3=p3->next) { if (p3->type == PV_INCLUDES) { struct pval *p4; for (p4=p3->u1.list; p4; p4=p4->next) { /* for each context pointed to, find it, then find a context/label that matches the target here! */ char *incl_context = p4->u1.str; /* find a matching context name */ struct pval *that_context = find_context(incl_context); if (that_context) { struct pval *x3; x3 = find_label_in_current_context(exten, label, that_context); if (x3) { return x3; } } } } } return 0; }

static struct pval * find_label_in_current_db (  const char *  context, const char *  exten, const char *  label )  [static]

Definition at line 1942 of file pbx_ael.c. References current_db, and match_pval(). Referenced by check_goto(), and get_goto_target(). { /* printf(" --- Got args %s, %s, %s\n", context, exten, label); */ count_labels = 0; return_on_context_match = 0; match_context = context; match_exten = exten; match_label = label; return match_pval(current_db); }

static struct pval * find_label_in_current_extension (  const char *  label, pval *  curr_ext )  [static]

Definition at line 1931 of file pbx_ael.c. References match_pval(). Referenced by check_goto(), and get_goto_target(). { /* printf(" --- Got args %s\n", label); */ count_labels = 0; return_on_context_match = 0; match_context = "*"; match_exten = "*"; match_label = label; return match_pval(curr_ext); }

struct pval * find_macro (  char *  name  )

Definition at line 1956 of file pbx_ael.c. References current_db, and match_pval(). Referenced by check_pval_item(). { return_on_context_match = 1; count_labels = 0; match_context = name; match_exten = "*"; /* don't really need to set these, shouldn't be reached */ match_label = "*"; return match_pval(current_db); }

static void find_pval_goto_item (  pval *  item, int  lev )  [static]

Definition at line 1405 of file pbx_ael.c. References ast_log(), check_goto(), pval::else_statements, find_context(), find_pval_gotos(), pval::for_statements, pval::list, LOG_ERROR, pval::macro_statements, pval::next, PV_CASE, PV_CATCH, PV_CONTEXT, PV_DEFAULT, PV_EXTENSION, PV_FOR, PV_GOTO, PV_IF, PV_IFTIME, PV_INCLUDES, PV_MACRO, PV_PATTERN, PV_RANDOM, PV_STATEMENTBLOCK, PV_SWITCH, PV_WHILE, pval::statements, pval::str, pval::type, pval::u1, pval::u2, pval::u3, and pval::u4. Referenced by find_pval_gotos(). { struct pval *p4; if (lev>100) { ast_log(LOG_ERROR,"find_pval_goto in infinite loop!\n\n"); return; } switch ( item->type ) { case PV_MACRO: /* fields: item->u1.str == name of macro item->u2.arglist == pval list of PV_WORD arguments of macro, as given by user item->u2.arglist->u1.str == argument item->u2.arglist->next == next arg item->u3.macro_statements == pval list of statements in macro body. */ /* printf("Descending into matching macro %s\n", match_context); */ find_pval_gotos(item->u3.macro_statements,lev+1); /* if we're just searching for a context, don't bother descending into them */ break; case PV_CONTEXT: /* fields: item->u1.str == name of context item->u2.statements == pval list of statements in context body item->u3.abstract == int 1 if an abstract keyword were present */ break; case PV_CASE: /* fields: item->u1.str == value of case item->u2.statements == pval list of statements under the case */ find_pval_gotos(item->u2.statements,lev+1); break; case PV_PATTERN: /* fields: item->u1.str == value of case item->u2.statements == pval list of statements under the case */ find_pval_gotos(item->u2.statements,lev+1); break; case PV_DEFAULT: /* fields: item->u2.statements == pval list of statements under the case */ find_pval_gotos(item->u2.statements,lev+1); break; case PV_CATCH: /* fields: item->u1.str == name of extension to catch item->u2.statements == pval list of statements in context body */ find_pval_gotos(item->u2.statements,lev+1); break; case PV_STATEMENTBLOCK: /* fields: item->u1.list == pval list of statements in block, one per entry in the list */ find_pval_gotos(item->u1.list,lev+1); break; case PV_GOTO: /* fields: item->u1.list == pval list of PV_WORD target names, up to 3, in order as given by user. item->u1.list->u1.str == where the data on a PV_WORD will always be. */ check_goto(item); /* THE WHOLE FUNCTION OF THIS ENTIRE ROUTINE!!!! */ break; case PV_INCLUDES: /* fields: item->u1.list == pval list of PV_WORD elements, one per entry in the list */ for (p4=item->u1.list; p4; p4=p4->next) { /* for each context pointed to, find it, then find a context/label that matches the target here! */ char *incl_context = p4->u1.str; /* find a matching context name */ struct pval *that_context = find_context(incl_context); if (that_context) { find_pval_gotos(that_context,lev+1); /* keep working up the includes */ } } break; case PV_FOR: /* fields: item->u1.for_init == a string containing the initalizer item->u2.for_test == a string containing the loop test item->u3.for_inc == a string containing the loop increment item->u4.for_statements == a pval list of statements in the for () */ find_pval_gotos(item->u4.for_statements,lev+1); break; case PV_WHILE: /* fields: item->u1.str == the while conditional, as supplied by user item->u2.statements == a pval list of statements in the while () */ find_pval_gotos(item->u2.statements,lev+1); break; case PV_RANDOM: /* fields: item->u1.str == the random number expression, as supplied by user item->u2.statements == a pval list of statements in the if () item->u3.else_statements == a pval list of statements in the else (could be zero) fall thru to PV_IF */ case PV_IFTIME: /* fields: item->u1.list == the time values, 4 of them, as PV_WORD structs in a list item->u2.statements == a pval list of statements in the if () item->u3.else_statements == a pval list of statements in the else (could be zero) fall thru to PV_IF*/ case PV_IF: /* fields: item->u1.str == the if conditional, as supplied by user item->u2.statements == a pval list of statements in the if () item->u3.else_statements == a pval list of statements in the else (could be zero) */ find_pval_gotos(item->u2.statements,lev+1); if (item->u3.else_statements) { find_pval_gotos(item->u3.else_statements,lev+1); } break; case PV_SWITCH: /* fields: item->u1.str == the switch expression item->u2.statements == a pval list of statements in the switch, (will be case statements, most likely!) */ find_pval_gotos(item->u3.else_statements,lev+1); break; case PV_EXTENSION: /* fields: item->u1.str == the extension name, label, whatever it's called item->u2.statements == a pval list of statements in the extension item->u3.hints == a char * hint argument item->u4.regexten == an int boolean. non-zero says that regexten was specified */ find_pval_gotos(item->u2.statements,lev+1); break; default: break; } }

static void find_pval_gotos (  pval *  item, int  lev )  [static]

Definition at line 1563 of file pbx_ael.c. References find_pval_goto_item(), and pval::next. Referenced by find_pval_goto_item(). { pval *i; for (i=item; i; i=i->next) { find_pval_goto_item(i, lev); } }

static void fix_gotos_in_extensions (  struct ael_extension *  exten  )  [static]

Definition at line 3751 of file pbx_ael.c. References exten, ael_priority::next, ael_extension::next_exten, ael_extension::plist, PV_GOTO, and strdup. { struct ael_extension *e; for(e=exten;e;e=e->next_exten) { struct ael_priority *p; for(p=e->plist;p;p=p->next) { if( p->origin && p->origin->type == PV_GOTO && p->origin->u3.goto_target_in_case ) { /* fix the extension of the goto target to the actual extension in the post-compiled dialplan */ pval *target = p->origin->u2.goto_target; struct ael_extension *z = target->u3.compiled_label; pval *pv2 = p->origin; char buf1[500]; char *apparg_save = p->appargs; p->appargs = 0; if (!pv2->u1.list->next) /* just one -- it won't hurt to repeat the extension */ { snprintf(buf1,sizeof(buf1),"%s|%s", z->name, pv2->u1.list->u1.str); p->appargs = strdup(buf1); } else if (pv2->u1.list->next && !pv2->u1.list->next->next) /* two */ { snprintf(buf1,sizeof(buf1),"%s|%s", z->name, pv2->u1.list->next->u1.str); p->appargs = strdup(buf1); } else if (pv2->u1.list->next && pv2->u1.list->next->next) { snprintf(buf1,sizeof(buf1),"%s|%s|%s", pv2->u1.list->u1.str, z->name, pv2->u1.list->next->next->u1.str); p->appargs = strdup(buf1); } else printf("WHAT? The goto doesn't fall into one of three cases for GOTO????\n"); if( apparg_save ) { free(apparg_save); } } } } }

static void gen_match_to_pattern (  char *  pattern, char *  result )  [static]

Definition at line 2946 of file pbx_ael.c. Referenced by gen_prios(). { /* the result will be a string that will be matched by pattern */ char *p=pattern, *t=result; while (*p) { if (*p == 'x' || *p == 'n' || *p == 'z' || *p == 'X' || *p == 'N' || *p == 'Z') *t++ = '9'; else if (*p == '[') { char *z = p+1; while (*z != ']') z++; if (*(z+1)== ']') z++; *t++=*(p+1); /* use the first char in the set */ p = z; } else { *t++ = *p; } p++; } *t++ = 0; /* cap it off */ }

static void gen_prios (  struct ael_extension *  exten, char *  label, pval *  statement, struct ael_extension *  mother_exten, struct ast_context *  context )  [static]

Definition at line 2969 of file pbx_ael.c. References AEL_APPCALL, AEL_CONTROL1, AEL_FOR_CONTROL, AEL_IF_CONTROL, AEL_IFTIME_CONTROL, AEL_LABEL, AEL_RETURN, ael_priority::app, ael_priority::appargs, pval::arglist, pval::compiled_label, ael_extension::context, control_statement_count, pval::else_statements, ael_priority::exten, exten, pval::for_inc, pval::for_init, pval::for_statements, pval::for_test, gen_match_to_pattern(), get_goto_target(), ael_priority::goto_false, pval::goto_target, pval::goto_target_in_case, ael_priority::goto_true, pval::label_in_case, label_inside_case(), linkexten(), linkprio(), pval::list, ael_extension::loop_break, ael_extension::loop_continue, ael_extension::name, new_exten(), new_prio(), pval::next, ael_priority::origin, PV_APPLICATION_CALL, PV_BREAK, PV_CASE, PV_CATCH, PV_CONTINUE, PV_DEFAULT, PV_FOR, PV_GOTO, PV_IF, PV_IFTIME, PV_LABEL, PV_MACRO_CALL, PV_PATTERN, PV_RANDOM, PV_RETURN, PV_STATEMENTBLOCK, PV_SWITCH, PV_VARDEC, PV_WHILE, remove_spaces_before_equals(), ael_extension::return_needed, pval::statements, pval::str, strdup, substitute_commas(), ael_priority::type, pval::type, pval::u1, pval::u2, pval::u3, pval::u4, and pval::val. Referenced by ast_compile_ael2(). { pval *p,*p2,*p3; struct ael_priority *pr; struct ael_priority *for_init, *for_test, *for_inc, *for_loop, *for_end; struct ael_priority *while_test, *while_loop, *while_end; struct ael_priority *switch_test, *switch_end, *fall_thru; struct ael_priority *if_test, *if_end, *if_skip, *if_false; #ifdef OLD_RAND_ACTION struct ael_priority *rand_test, *rand_end, *rand_skip; #endif char buf1[2000]; char buf2[2000]; char *strp, *strp2; char new_label[2000]; int default_exists; int local_control_statement_count; int first; struct ael_priority *loop_break_save; struct ael_priority *loop_continue_save; struct ael_extension *switch_case; for (p=statement; p; p=p->next) { switch (p->type) { case PV_VARDEC: pr = new_prio(); pr->type = AEL_APPCALL; snprintf(buf1,sizeof(buf1),"%s=$[%s]", p->u1.str, p->u2.val); pr->app = strdup("Set"); remove_spaces_before_equals(buf1); pr->appargs = strdup(buf1); pr->origin = p; linkprio(exten, pr); break; case PV_GOTO: pr = new_prio(); pr->type = AEL_APPCALL; p->u2.goto_target = get_goto_target(p); if( p->u2.goto_target ) { p->u3.goto_target_in_case = p->u2.goto_target->u2.label_in_case = label_inside_case(p->u2.goto_target); } if (!p->u1.list->next) /* just one */ { pr->app = strdup("Goto"); if (!mother_exten) pr->appargs = strdup(p->u1.list->u1.str); else { /* for the case of simple within-extension gotos in case/pattern/default statement blocks: */ snprintf(buf1,sizeof(buf1),"%s|%s", mother_exten->name, p->u1.list->u1.str); pr->appargs = strdup(buf1); } } else if (p->u1.list->next && !p->u1.list->next->next) /* two */ { snprintf(buf1,sizeof(buf1),"%s|%s", p->u1.list->u1.str, p->u1.list->next->u1.str); pr->app = strdup("Goto"); pr->appargs = strdup(buf1); } else if (p->u1.list->next && p->u1.list->next->next) { snprintf(buf1,sizeof(buf1),"%s|%s|%s", p->u1.list->u1.str, p->u1.list->next->u1.str, p->u1.list->next->next->u1.str); pr->app = strdup("Goto"); pr->appargs = strdup(buf1); } pr->origin = p; linkprio(exten, pr); break; case PV_LABEL: pr = new_prio(); pr->type = AEL_LABEL; pr->origin = p; p->u3.compiled_label = exten; linkprio(exten, pr); break; case PV_FOR: control_statement_count++; loop_break_save = exten->loop_break; /* save them, then restore before leaving */ loop_continue_save = exten->loop_continue; snprintf(new_label,sizeof(new_label),"for-%s-%d", label, control_statement_count); for_init = new_prio(); for_inc = new_prio(); for_test = new_prio(); for_loop = new_prio(); for_end = new_prio(); for_init->type = AEL_APPCALL; for_inc->type = AEL_APPCALL; for_test->type = AEL_FOR_CONTROL; for_test->goto_false = for_end; for_loop->type = AEL_CONTROL1; /* simple goto */ for_end->type = AEL_APPCALL; for_init->app = strdup("Set"); strcpy(buf2,p->u1.for_init); remove_spaces_before_equals(buf2); strp = strchr(buf2, '='); strp2 = strchr(p->u1.for_init, '='); if (strp) { *(strp+1) = 0; strcat(buf2,"$["); strncat(buf2,strp2+1, sizeof(buf2)-strlen(strp2+1)-2); strcat(buf2,"]"); for_init->appargs = strdup(buf2); } else for_init->appargs = strdup(p->u1.for_init); for_inc->app = strdup("Set"); strcpy(buf2,p->u3.for_inc); remove_spaces_before_equals(buf2); strp = strchr(buf2, '='); strp2 = strchr(p->u3.for_inc, '='); if (strp) { *(strp+1) = 0; strcat(buf2,"$["); strncat(buf2,strp2+1, sizeof(buf2)-strlen(strp2+1)-2); strcat(buf2,"]"); for_inc->appargs = strdup(buf2); } else for_inc->appargs = strdup(p->u3.for_inc); snprintf(buf1,sizeof(buf1),"$[%s]",p->u2.for_test); for_test->app = 0; for_test->appargs = strdup(buf1); for_loop->goto_true = for_test; snprintf(buf1,sizeof(buf1),"Finish for-%s-%d", label, control_statement_count); for_end->app = strdup("NoOp"); for_end->appargs = strdup(buf1); /* link & load! */ linkprio(exten, for_init); linkprio(exten, for_test); /* now, put the body of the for loop here */ exten->loop_break = for_end; exten->loop_continue = for_test; gen_prios(exten, new_label, p->u4.for_statements, mother_exten, this_context); /* this will link in all the statements here */ linkprio(exten, for_inc); linkprio(exten, for_loop); linkprio(exten, for_end); exten->loop_break = loop_break_save; exten->loop_continue = loop_continue_save; for_loop->origin = p; break; case PV_WHILE: control_statement_count++; loop_break_save = exten->loop_break; /* save them, then restore before leaving */ loop_continue_save = exten->loop_continue; snprintf(new_label,sizeof(new_label),"while-%s-%d", label, control_statement_count); while_test = new_prio(); while_loop = new_prio(); while_end = new_prio(); while_test->type = AEL_FOR_CONTROL; while_test->goto_false = while_end; while_loop->type = AEL_CONTROL1; /* simple goto */ while_end->type = AEL_APPCALL; snprintf(buf1,sizeof(buf1),"$[%s]",p->u1.str); while_test->app = 0; while_test->appargs = strdup(buf1); while_loop->goto_true = while_test; snprintf(buf1,sizeof(buf1),"Finish while-%s-%d", label, control_statement_count); while_end->app = strdup("NoOp"); while_end->appargs = strdup(buf1); linkprio(exten, while_test); /* now, put the body of the for loop here */ exten->loop_break = while_end; exten->loop_continue = while_test; gen_prios(exten, new_label, p->u2.statements, mother_exten, this_context); /* this will link in all the while body statements here */ linkprio(exten, while_loop); linkprio(exten, while_end); exten->loop_break = loop_break_save; exten->loop_continue = loop_continue_save; while_loop->origin = p; break; case PV_SWITCH: control_statement_count++; local_control_statement_count = control_statement_count; loop_break_save = exten->loop_break; /* save them, then restore before leaving */ loop_continue_save = exten->loop_continue; snprintf(new_label,sizeof(new_label),"sw-%s-%d", label, control_statement_count); switch_test = new_prio(); switch_end = new_prio(); switch_test->type = AEL_APPCALL; switch_end->type = AEL_APPCALL; snprintf(buf1,sizeof(buf1),"sw-%d-%s|1",control_statement_count, p->u1.str); switch_test->app = strdup("Goto"); switch_test->appargs = strdup(buf1); snprintf(buf1,sizeof(buf1),"Finish switch-%s-%d", label, control_statement_count); switch_end->app = strdup("NoOp"); switch_end->appargs = strdup(buf1); switch_end->origin = p; switch_end->exten = exten; linkprio(exten, switch_test); linkprio(exten, switch_end); exten->loop_break = switch_end; exten->loop_continue = 0; default_exists = 0; for (p2=p->u2.statements; p2; p2=p2->next) { /* now, for each case/default put the body of the for loop here */ if (p2->type == PV_CASE) { /* ok, generate a extension and link it in */ switch_case = new_exten(); switch_case->context = this_context; /* the break/continue locations are inherited from parent */ switch_case->loop_break = exten->loop_break; switch_case->loop_continue = exten->loop_continue; linkexten(exten,switch_case); snprintf(buf1,sizeof(buf1),"sw-%d-%s", local_control_statement_count, p2->u1.str); switch_case->name = strdup(buf1); snprintf(new_label,sizeof(new_label),"sw-%s-%s-%d", label, p2->u1.str, local_control_statement_count); gen_prios(switch_case, new_label, p2->u2.statements, exten, this_context); /* this will link in all the case body statements here */ /* here is where we write code to "fall thru" to the next case... if there is one... */ for (p3=p2->u2.statements; p3; p3=p3->next) { if (!p3->next) break; } /* p3 now points the last statement... */ if (