static sql_exp *
rel_psm_if_then_else( mvc *sql, sql_subtype *res, list *restypelist, dnode *elseif, int is_func)
{
if (!elseif)
return NULL;
if (elseif->next && elseif->type == type_symbol) { /* if or elseif */
sql_exp *cond;
list *ifstmts, *elsestmts;
dnode *n = elseif;
sql_rel *rel = NULL;
cond = rel_logical_value_exp(sql, &rel, n->data.sym, sql_sel);
n = n->next;
ifstmts = sequential_block(sql, res, restypelist, n->data.lval, NULL, is_func);
n = n->next;
elsestmts = psm_if_then_else( sql, res, restypelist, n, is_func);
if (sql->session->status || !cond || !ifstmts)
return NULL;
if (rel) {
sql_exp *er = exp_rel(sql, rel);
list *b = sa_list(sql->sa);
append(b, er);
append(b, exp_if(sql->sa, cond, ifstmts, elsestmts));
return exp_rel(sql, rel_psm_block(sql->sa, b));
}
return exp_if( sql->sa, cond, ifstmts, elsestmts);
}
return NULL;
}
/* [ label: ]
while (cond) do
statement_list
end [ label ]
currently we only parse the labels, they cannot be used as there is no
support for LEAVE and ITERATE (sql multi-level break and continue)
*/
static sql_exp *
rel_psm_while_do( mvc *sql, sql_subtype *res, list *restypelist, dnode *w, int is_func )
{
if (!w)
return NULL;
if (w->type == type_symbol) {
sql_exp *cond;
list *whilestmts;
dnode *n = w;
sql_rel *rel = NULL;
cond = rel_logical_value_exp(sql, &rel, n->data.sym, sql_sel);
n = n->next;
whilestmts = sequential_block(sql, res, restypelist, n->data.lval, n->next->data.sval, is_func);
if (sql->session->status || !cond || !whilestmts)
return NULL;
if (rel) {
sql_exp *er = exp_rel(sql, rel);
list *b = sa_list(sql->sa);
append(b, er);
append(b, exp_while( sql->sa, cond, whilestmts ));
return exp_rel(sql, rel_psm_block(sql->sa, b));
}
return exp_while( sql->sa, cond, whilestmts );
}
return NULL;
}
extern sql_rel *
rel_select_with_into(mvc *sql, symbol *sq)
{
exp_kind ek = {type_value, card_row, TRUE};
list *reslist = rel_select_into(sql, sq, ek);
if (!reslist)
return NULL;
return rel_psm_block(sql->sa, reslist);
}
static sql_rel *
rel_psm_stmt(sql_allocator *sa, sql_exp *e)
{
if (e) {
list *l = sa_list(sa);
list_append(l, e);
return rel_psm_block(sa, l);
}
return NULL;
}
/* SET variable = value */
static sql_exp *
psm_set_exp(mvc *sql, dnode *n)
{
exp_kind ek = {type_value, card_value, FALSE};
char *name = n->data.sval;
symbol *val = n->next->data.sym;
sql_exp *e = NULL;
int level = 0, is_last = 0;
sql_subtype *tpe = NULL;
sql_rel *rel = NULL;
sql_exp *res = NULL;
/* name can be
'parameter of the function' (ie in the param list)
or a local or global variable, declared earlier
*/
/* check if variable is known from the stack */
if (!stack_find_var(sql, name)) {
sql_arg *a = sql_bind_param(sql, name);
if (!a) /* not parameter, ie local var ? */
return sql_error(sql, 01, "Variable %s unknown", name);
tpe = &a->type;
} else {
tpe = stack_find_type(sql, name);
}
e = rel_value_exp2(sql, &rel, val, sql_sel, ek, &is_last);
if (!e || (rel && e->card > CARD_AGGR))
return NULL;
level = stack_find_frame(sql, name);
e = rel_check_type(sql, tpe, e, type_cast);
if (!e)
return NULL;
if (rel) {
sql_exp *er = exp_rel(sql, rel);
list *b = sa_list(sql->sa);
append(b, er);
append(b, exp_set(sql->sa, name, e, level));
res = exp_rel(sql, rel_psm_block(sql->sa, b));
} else {
res = exp_set(sql->sa, name, e, level);
}
return res;
}
static sql_rel *
rel_create_func(mvc *sql, dlist *qname, dlist *params, symbol *res, dlist *ext_name, dlist *body, int type, int lang)
{
char *fname = qname_table(qname);
char *sname = qname_schema(qname);
sql_schema *s = NULL;
sql_func *f = NULL;
sql_subfunc *sf;
dnode *n;
list *type_list = NULL, *restype = NULL;
int instantiate = (sql->emode == m_instantiate);
int deps = (sql->emode == m_deps);
int create = (!instantiate && !deps);
bit vararg = FALSE;
char is_table = (res && res->token == SQL_TABLE);
char is_aggr = (type == F_AGGR);
char is_func = (type != F_PROC);
char *F = is_aggr?"AGGREGATE":(is_func?"FUNCTION":"PROCEDURE");
char *KF = type==F_FILT?"FILTER ": type==F_UNION?"UNION ": "";
assert(res || type == F_PROC || type == F_FILT);
if (is_table)
type = F_UNION;
if (STORE_READONLY && create)
return sql_error(sql, 06, "schema statements cannot be executed on a readonly database.");
if (sname && !(s = mvc_bind_schema(sql, sname)))
return sql_error(sql, 02, "3F000!CREATE %s%s: no such schema '%s'", KF, F, sname);
if (s == NULL)
s = cur_schema(sql);
type_list = create_type_list(sql, params, 1);
if ((sf = sql_bind_func_(sql->sa, s, fname, type_list, type)) != NULL && create) {
if (params) {
char *arg_list = NULL;
node *n;
for (n = type_list->h; n; n = n->next) {
char *tpe = subtype2string((sql_subtype *) n->data);
if (arg_list) {
arg_list = sql_message("%s, %s", arg_list, tpe);
_DELETE(tpe);
} else {
arg_list = tpe;
}
}
(void)sql_error(sql, 02, "CREATE %s%s: name '%s' (%s) already in use", KF, F, fname, arg_list);
_DELETE(arg_list);
list_destroy(type_list);
return NULL;
} else {
list_destroy(type_list);
return sql_error(sql, 02, "CREATE %s%s: name '%s' already in use", KF, F, fname);
}
} else {
list_destroy(type_list);
if (create && !schema_privs(sql->role_id, s)) {
return sql_error(sql, 02, "CREATE %s%s: insufficient privileges "
"for user '%s' in schema '%s'", KF, F,
stack_get_string(sql, "current_user"), s->base.name);
} else {
char *q = QUERY(sql->scanner);
list *l = NULL;
if (params) {
for (n = params->h; n; n = n->next) {
dnode *an = n->data.lval->h;
sql_add_param(sql, an->data.sval, &an->next->data.typeval);
}
l = sql->params;
if (l && list_length(l) == 1) {
sql_arg *a = l->h->data;
if (strcmp(a->name, "*") == 0) {
l = NULL;
vararg = TRUE;
}
}
}
if (!l)
l = sa_list(sql->sa);
if (res) {
restype = result_type(sql, res);
if (!restype)
return sql_error(sql, 01,
"CREATE %s%s: failed to get restype", KF, F);
}
if (body && lang > FUNC_LANG_SQL) {
char *lang_body = body->h->data.sval;
char *mod = (lang == FUNC_LANG_R)?"rapi":
(lang == FUNC_LANG_C)?"capi":
(lang == FUNC_LANG_J)?"japi":"unknown";
sql->params = NULL;
if (create) {
f = mvc_create_func(sql, sql->sa, s, fname, l, restype, type, lang, mod, fname, lang_body, FALSE, vararg);
} else if (!sf) {
return sql_error(sql, 01, "CREATE %s%s: R function %s.%s not bound", KF, F, s->base.name, fname );
} else {
sql_func *f = sf->func;
f->mod = _STRDUP("rapi");
f->imp = _STRDUP("eval");
if (res && restype)
f->res = restype;
f->sql = 0; /* native */
f->lang = FUNC_LANG_INT;
}
} else if (body) {
sql_arg *ra = (restype && !is_table)?restype->h->data:NULL;
list *b = NULL;
sql_schema *old_schema = cur_schema(sql);
sql->session->schema = s;
b = sequential_block(sql, (ra)?&ra->type:NULL, ra?NULL:restype, body, NULL, is_func);
sql->session->schema = old_schema;
sql->params = NULL;
if (!b)
return NULL;
/* check if we have a return statement */
if (is_func && restype && !has_return(b)) {
return sql_error(sql, 01,
"CREATE %s%s: missing return statement", KF, F);
}
if (!is_func && !restype && has_return(b)) {
return sql_error(sql, 01, "CREATE %s%s: procedures "
"cannot have return statements", KF, F);
}
/* in execute mode we instantiate the function */
if (instantiate || deps) {
return rel_psm_block(sql->sa, b);
} else if (create) {
f = mvc_create_func(sql, sql->sa, s, fname, l, restype, type, lang, "user", q, q, FALSE, vararg);
}
} else {
char *fmod = qname_module(ext_name);
char *fnme = qname_fname(ext_name);
if (!fmod || !fnme)
return NULL;
sql->params = NULL;
if (create) {
f = mvc_create_func(sql, sql->sa, s, fname, l, restype, type, lang, fmod, fnme, q, FALSE, vararg);
} else if (!sf) {
return sql_error(sql, 01, "CREATE %s%s: external name %s.%s not bound (%s,%s)", KF, F, fmod, fnme, s->base.name, fname );
} else {
sql_func *f = sf->func;
f->mod = _STRDUP(fmod);
f->imp = _STRDUP(fnme);
f->sql = 0; /* native */
f->lang = FUNC_LANG_INT;
}
}
}
}
return rel_create_function(sql->sa, s->base.name, f);
}
sql_rel *
rel_psm(mvc *sql, symbol *s)
{
sql_rel *ret = NULL;
switch (s->token) {
case SQL_CREATE_FUNC:
{
dlist *l = s->data.lval;
int type = l->h->next->next->next->next->next->data.i_val;
int lang = l->h->next->next->next->next->next->next->data.i_val;
ret = rel_create_func(sql, l->h->data.lval, l->h->next->data.lval, l->h->next->next->data.sym, l->h->next->next->next->data.lval, l->h->next->next->next->next->data.lval, type, lang);
sql->type = Q_SCHEMA;
} break;
case SQL_DROP_FUNC:
{
dlist *l = s->data.lval;
int type = l->h->next->next->next->next->data.i_val;
if (STORE_READONLY)
return sql_error(sql, 06, "schema statements cannot be executed on a readonly database.");
assert(l->h->next->type == type_int);
assert(l->h->next->next->next->type == type_int);
if (l->h->next->data.i_val) /*?l_val?*/
ret = rel_drop_all_func(sql, l->h->data.lval, l->h->next->next->next->data.i_val, type);
else
ret = rel_drop_func(sql, l->h->data.lval, l->h->next->next->data.lval, l->h->next->next->next->data.i_val, type);
sql->type = Q_SCHEMA;
} break;
case SQL_SET:
ret = rel_psm_stmt(sql->sa, psm_set_exp(sql, s->data.lval->h));
sql->type = Q_SCHEMA;
break;
case SQL_DECLARE:
ret = rel_psm_block(sql->sa, rel_psm_declare(sql, s->data.lval->h));
sql->type = Q_SCHEMA;
break;
case SQL_CALL:
ret = rel_psm_stmt(sql->sa, rel_psm_call(sql, s->data.sym));
sql->type = Q_UPDATE;
break;
case SQL_CREATE_TRIGGER:
{
dlist *l = s->data.lval;
assert(l->h->next->type == type_int);
ret = create_trigger(sql, l->h->data.lval, l->h->next->data.i_val, l->h->next->next->data.sym, l->h->next->next->next->data.sval, l->h->next->next->next->next->data.lval, l->h->next->next->next->next->next->data.lval);
sql->type = Q_SCHEMA;
}
break;
case SQL_DROP_TRIGGER:
{
dlist *l = s->data.lval;
ret = drop_trigger(sql, l);
sql->type = Q_SCHEMA;
}
break;
case SQL_ANALYZE: {
dlist *l = s->data.lval;
ret = psm_analyze(sql, l->h->data.lval /* qualified table name */, l->h->next->data.lval /* opt list of column */, l->h->next->next->data.sym /* opt_sample_size */);
sql->type = Q_UPDATE;
} break;
default:
return sql_error(sql, 01, "schema statement unknown symbol(" PTRFMT ")->token = %s", PTRFMTCAST s, token2string(s->token));
}
return ret;
}
static sql_rel *
psm_analyze(mvc *sql, dlist *qname, dlist *columns, symbol *sample )
{
exp_kind ek = {type_value, card_value, FALSE};
sql_exp *sample_exp = NULL, *call;
char *sname = NULL, *tname = NULL;
list *tl = sa_list(sql->sa);
list *exps = sa_list(sql->sa), *analyze_calls = sa_list(sql->sa);
sql_subfunc *f = NULL;
if (sample) {
sql_subtype *tpe = sql_bind_localtype("lng");
sample_exp = rel_value_exp( sql, NULL, sample, 0, ek);
if (sample_exp)
sample_exp = rel_check_type(sql, tpe, sample_exp, type_cast);
}
if (qname) {
if (qname->h->next)
sname = qname_schema(qname);
else
sname = qname_table(qname);
if (!sname)
sname = cur_schema(sql)->base.name;
if (qname->h->next)
tname = qname_table(qname);
}
/* call analyze( [schema, [ table ]], opt_sample_size ) */
if (sname) {
sql_exp *sname_exp = exp_atom_clob(sql->sa, sname);
append(exps, sname_exp);
append(tl, exp_subtype(sname_exp));
}
if (tname) {
sql_exp *tname_exp = exp_atom_clob(sql->sa, tname);
append(exps, tname_exp);
append(tl, exp_subtype(tname_exp));
if (columns)
append(tl, exp_subtype(tname_exp));
}
if (!columns) {
if (sample_exp) {
append(exps, sample_exp);
append(tl, exp_subtype(sample_exp));
}
f = sql_bind_func_(sql->sa, mvc_bind_schema(sql, "sys"), "analyze", tl, F_PROC);
if (!f)
return sql_error(sql, 01, "Analyze procedure missing");
call = exp_op(sql->sa, exps, f);
append(analyze_calls, call);
} else {
dnode *n;
if (sample_exp)
append(tl, exp_subtype(sample_exp));
f = sql_bind_func_(sql->sa, mvc_bind_schema(sql, "sys"), "analyze", tl, F_PROC);
if (!f)
return sql_error(sql, 01, "Analyze procedure missing");
for( n = columns->h; n; n = n->next) {
char *cname = n->data.sval;
list *nexps = list_dup(exps, NULL);
sql_exp *cname_exp = exp_atom_clob(sql->sa, cname);
append(nexps, cname_exp);
if (sample_exp)
append(nexps, sample_exp);
/* call analyze( sname, tname, cname, opt_sample_size ) */
call = exp_op(sql->sa, nexps, f);
append(analyze_calls, call);
}
}
return rel_psm_block(sql->sa, analyze_calls);
}
static sql_rel *
create_trigger(mvc *sql, dlist *qname, int time, symbol *trigger_event, char *table_name, dlist *opt_ref, dlist *triggered_action)
{
char *tname = qname_table(qname);
sql_schema *ss = cur_schema(sql);
sql_table *t = NULL;
int instantiate = (sql->emode == m_instantiate);
int create = (!instantiate && sql->emode != m_deps);
list *sq = NULL;
sql_rel *r = NULL;
dlist *columns = trigger_event->data.lval;
char *old_name = NULL, *new_name = NULL;
dlist *stmts = triggered_action->h->next->next->data.lval;
if (opt_ref) {
dnode *dl = opt_ref->h;
for ( ; dl; dl = dl->next) {
/* list (new(1)/old(0)), char */
char *n = dl->data.lval->h->next->data.sval;
assert(dl->data.lval->h->type == type_int);
if (!dl->data.lval->h->data.i_val) /*?l_val?*/
old_name = n;
else
new_name = n;
}
}
if (create && !schema_privs(sql->role_id, ss))
return sql_error(sql, 02, "CREATE TRIGGER: access denied for %s to schema ;'%s'", stack_get_string(sql, "current_user"), ss->base.name);
if (create && mvc_bind_trigger(sql, ss, tname) != NULL)
return sql_error(sql, 02, "CREATE TRIGGER: name '%s' already in use", tname);
if (create && !(t = mvc_bind_table(sql, ss, table_name)))
return sql_error(sql, 02, "CREATE TRIGGER: unknown table '%s'", table_name);
if (create && isView(t))
return sql_error(sql, 02, "CREATE TRIGGER: cannot create trigger on view '%s'", table_name);
if (create) {
int event = (trigger_event->token == SQL_INSERT)?0:
(trigger_event->token == SQL_DELETE)?1:2;
int orientation = triggered_action->h->data.i_val;
char *condition = triggered_action->h->next->data.sval;
char *q = QUERY(sql->scanner);
assert(triggered_action->h->type == type_int);
return rel_create_trigger(sql, t->s->base.name, t->base.name, tname, time, orientation, event, old_name, new_name, condition, q);
}
t = mvc_bind_table(sql, ss, table_name);
stack_push_frame(sql, "OLD-NEW");
/* we need to add the old and new tables */
if (new_name)
_stack_push_table(sql, new_name, t);
if (old_name)
_stack_push_table(sql, old_name, t);
sq = sequential_block(sql, NULL, NULL, stmts, NULL, 1);
r = rel_psm_block(sql->sa, sq);
/* todo trigger_columns */
(void)columns;
return r;
}
static sql_rel *
rel_create_func(mvc *sql, dlist *qname, dlist *params, symbol *res, dlist *ext_name, dlist *body, int type, int lang, int replace)
{
const char *fname = qname_table(qname);
const char *sname = qname_schema(qname);
sql_schema *s = NULL;
sql_func *f = NULL;
sql_subfunc *sf;
dnode *n;
list *type_list = NULL, *restype = NULL;
int instantiate = (sql->emode == m_instantiate);
int deps = (sql->emode == m_deps);
int create = (!instantiate && !deps);
bit vararg = FALSE;
char is_table = (res && res->token == SQL_TABLE);
char is_aggr = (type == F_AGGR);
char is_func = (type != F_PROC);
char is_loader = (type == F_LOADER);
char *F = is_loader?"LOADER":(is_aggr?"AGGREGATE":(is_func?"FUNCTION":"PROCEDURE"));
char *fn = is_loader?"loader":(is_aggr ? "aggregate" : (is_func ? "function" : "procedure"));
char *KF = type==F_FILT?"FILTER ": type==F_UNION?"UNION ": "";
char *kf = type == F_FILT ? "filter " : type == F_UNION ? "union " : "";
assert(res || type == F_PROC || type == F_FILT || type == F_LOADER);
if (is_table)
type = F_UNION;
if (STORE_READONLY && create)
return sql_error(sql, 06, SQLSTATE(42000) "Schema statements cannot be executed on a readonly database.");
if (sname && !(s = mvc_bind_schema(sql, sname)))
return sql_error(sql, 02, SQLSTATE(3F000) "CREATE %s%s: no such schema '%s'", KF, F, sname);
if (s == NULL)
s = cur_schema(sql);
type_list = create_type_list(sql, params, 1);
if ((sf = sql_bind_func_(sql->sa, s, fname, type_list, type)) != NULL && create) {
if (replace) {
sql_func *func = sf->func;
int action = 0;
if (!mvc_schema_privs(sql, s)) {
return sql_error(sql, 02, SQLSTATE(42000) "CREATE OR REPLACE %s%s: access denied for %s to schema ;'%s'", KF, F, stack_get_string(sql, "current_user"), s->base.name);
}
if (mvc_check_dependency(sql, func->base.id, !IS_PROC(func) ? FUNC_DEPENDENCY : PROC_DEPENDENCY, NULL))
return sql_error(sql, 02, SQLSTATE(42000) "CREATE OR REPLACE %s%s: there are database objects dependent on %s%s %s;", KF, F, kf, fn, func->base.name);
if (!func->s) {
return sql_error(sql, 02, SQLSTATE(42000) "CREATE OR REPLACE %s%s: not allowed to replace system %s%s %s;", KF, F, kf, fn, func->base.name);
}
if(mvc_drop_func(sql, s, func, action))
return sql_error(sql, 02, SQLSTATE(HY001) MAL_MALLOC_FAIL);
sf = NULL;
} else {
if (params) {
char *arg_list = NULL;
node *n;
for (n = type_list->h; n; n = n->next) {
char *tpe = subtype2string((sql_subtype *) n->data);
if (arg_list) {
char *t = arg_list;
arg_list = sql_message("%s, %s", arg_list, tpe);
_DELETE(t);
_DELETE(tpe);
} else {
arg_list = tpe;
}
}
(void)sql_error(sql, 02, SQLSTATE(42000) "CREATE %s%s: name '%s' (%s) already in use", KF, F, fname, arg_list);
_DELETE(arg_list);
list_destroy(type_list);
return NULL;
} else {
list_destroy(type_list);
return sql_error(sql, 02, SQLSTATE(42000) "CREATE %s%s: name '%s' already in use", KF, F, fname);
}
}
}
list_destroy(type_list);
if (create && !mvc_schema_privs(sql, s)) {
return sql_error(sql, 02, SQLSTATE(42000) "CREATE %s%s: insufficient privileges "
"for user '%s' in schema '%s'", KF, F,
stack_get_string(sql, "current_user"), s->base.name);
} else {
char *q = QUERY(sql->scanner);
list *l = NULL;
if (params) {
for (n = params->h; n; n = n->next) {
dnode *an = n->data.lval->h;
sql_add_param(sql, an->data.sval, &an->next->data.typeval);
}
l = sql->params;
if (l && list_length(l) == 1) {
sql_arg *a = l->h->data;
if (strcmp(a->name, "*") == 0) {
l = NULL;
vararg = TRUE;
}
}
}
if (!l)
l = sa_list(sql->sa);
if (res) {
restype = result_type(sql, res);
if (!restype)
return sql_error(sql, 01, SQLSTATE(42000) "CREATE %s%s: failed to get restype", KF, F);
}
if (body && lang > FUNC_LANG_SQL) {
char *lang_body = body->h->data.sval;
char *mod =
(lang == FUNC_LANG_R)?"rapi":
(lang == FUNC_LANG_C || lang == FUNC_LANG_CPP)?"capi":
(lang == FUNC_LANG_J)?"japi":
(lang == FUNC_LANG_PY)?"pyapi":
(lang == FUNC_LANG_MAP_PY)?"pyapimap":"unknown";
sql->params = NULL;
if (create) {
f = mvc_create_func(sql, sql->sa, s, fname, l, restype, type, lang, mod, fname, lang_body, (type == F_LOADER)?TRUE:FALSE, vararg, FALSE);
} else if (!sf) {
return sql_error(sql, 01, SQLSTATE(42000) "CREATE %s%s: R function %s.%s not bound", KF, F, s->base.name, fname );
} /*else {
sql_func *f = sf->func;
f->mod = _STRDUP("rapi");
f->imp = _STRDUP("eval");
if (res && restype)
f->res = restype;
f->sql = 0;
f->lang = FUNC_LANG_INT;
}*/
} else if (body) {
sql_arg *ra = (restype && !is_table)?restype->h->data:NULL;
list *b = NULL;
sql_schema *old_schema = cur_schema(sql);
if (create) { /* needed for recursive functions */
q = query_cleaned(q);
sql->forward = f = mvc_create_func(sql, sql->sa, s, fname, l, restype, type, lang, "user", q, q, FALSE, vararg, FALSE);
GDKfree(q);
}
sql->session->schema = s;
b = sequential_block(sql, (ra)?&ra->type:NULL, ra?NULL:restype, body, NULL, is_func);
sql->forward = NULL;
sql->session->schema = old_schema;
sql->params = NULL;
if (!b)
return NULL;
/* check if we have a return statement */
if (is_func && restype && !has_return(b)) {
return sql_error(sql, 01, SQLSTATE(42000) "CREATE %s%s: missing return statement", KF, F);
}
if (!is_func && !restype && has_return(b)) {
return sql_error(sql, 01, SQLSTATE(42000) "CREATE %s%s: procedures "
"cannot have return statements", KF, F);
}
/* in execute mode we instantiate the function */
if (instantiate || deps) {
return rel_psm_block(sql->sa, b);
}
} else {
char *fmod = qname_module(ext_name);
char *fnme = qname_fname(ext_name);
if (!fmod || !fnme)
return NULL;
sql->params = NULL;
if (create) {
q = query_cleaned(q);
f = mvc_create_func(sql, sql->sa, s, fname, l, restype, type, lang, fmod, fnme, q, FALSE, vararg, FALSE);
GDKfree(q);
} else if (!sf) {
return sql_error(sql, 01, SQLSTATE(42000) "CREATE %s%s: external name %s.%s not bound (%s.%s)", KF, F, fmod, fnme, s->base.name, fname );
} else {
sql_func *f = sf->func;
if (!f->mod || strcmp(f->mod, fmod))
f->mod = _STRDUP(fmod);
if (!f->imp || strcmp(f->imp, fnme))
f->imp = (f->sa)?sa_strdup(f->sa, fnme):_STRDUP(fnme);
if(!f->mod || !f->imp) {
_DELETE(f->mod);
_DELETE(f->imp);
return sql_error(sql, 02, SQLSTATE(HY001) "CREATE %s%s: could not allocate space", KF, F);
}
f->sql = 0; /* native */
f->lang = FUNC_LANG_INT;
}
}
}
return rel_create_function(sql->sa, s->base.name, f);
}
/* SET variable = value and set (variable1, .., variableN) = (query) */
static sql_exp *
psm_set_exp(mvc *sql, dnode *n)
{
symbol *val = n->next->data.sym;
sql_exp *e = NULL;
int level = 0, is_last = 0;
sql_subtype *tpe = NULL;
sql_rel *rel = NULL;
sql_exp *res = NULL;
int single = (n->type == type_string);
if (single) {
exp_kind ek = {type_value, card_value, FALSE};
const char *name = n->data.sval;
/* name can be
'parameter of the function' (ie in the param list)
or a local or global variable, declared earlier
*/
/* check if variable is known from the stack */
if (!stack_find_var(sql, name)) {
sql_arg *a = sql_bind_param(sql, name);
if (!a) /* not parameter, ie local var ? */
return sql_error(sql, 01, SQLSTATE(42000) "Variable %s unknown", name);
tpe = &a->type;
} else {
tpe = stack_find_type(sql, name);
}
e = rel_value_exp2(sql, &rel, val, sql_sel, ek, &is_last);
if (!e || (rel && e->card > CARD_AGGR))
return NULL;
level = stack_find_frame(sql, name);
e = rel_check_type(sql, tpe, e, type_cast);
if (!e)
return NULL;
if (rel) {
sql_exp *er = exp_rel(sql, rel);
list *b = sa_list(sql->sa);
append(b, er);
append(b, exp_set(sql->sa, name, e, level));
res = exp_rel(sql, rel_psm_block(sql->sa, b));
} else {
res = exp_set(sql->sa, name, e, level);
}
} else { /* multi assignment */
exp_kind ek = {type_value, (single)?card_column:card_relation, FALSE};
sql_rel *rel_val = rel_subquery(sql, NULL, val, ek, APPLY_JOIN);
dlist *vars = n->data.lval;
dnode *m;
node *n;
list *b;
if (!rel_val || !is_project(rel_val->op) ||
dlist_length(vars) != list_length(rel_val->exps)) {
return sql_error(sql, 02, SQLSTATE(42000) "SET: Number of variables not equal to number of supplied values");
}
b = sa_list(sql->sa);
if (rel_val) {
sql_exp *er = exp_rel(sql, rel_val);
append(b, er);
}
for(m = vars->h, n = rel_val->exps->h; n && m; n = n->next, m = m->next) {
char *vname = m->data.sval;
sql_exp *v = n->data;
if (!stack_find_var(sql, vname)) {
sql_arg *a = sql_bind_param(sql, vname);
if (!a) /* not parameter, ie local var ? */
return sql_error(sql, 01, SQLSTATE(42000) "Variable %s unknown", vname);
tpe = &a->type;
} else {
tpe = stack_find_type(sql, vname);
}
if (!exp_name(v))
exp_label(sql->sa, v, ++sql->label);
v = exp_column(sql->sa, exp_relname(v), exp_name(v), exp_subtype(v), v->card, has_nil(v), is_intern(v));
level = stack_find_frame(sql, vname);
v = rel_check_type(sql, tpe, v, type_cast);
if (!v)
return NULL;
if (v->card > CARD_AGGR) {
sql_subaggr *zero_or_one = sql_bind_aggr(sql->sa, sql->session->schema, "zero_or_one", exp_subtype(v));
assert(zero_or_one);
v = exp_aggr1(sql->sa, v, zero_or_one, 0, 0, CARD_ATOM, 0);
}
append(b, exp_set(sql->sa, vname, v, level));
}
res = exp_rel(sql, rel_psm_block(sql->sa, b));
}
return res;
}
sql_rel *
rel_psm(mvc *sql, symbol *s)
{
sql_rel *ret = NULL;
switch (s->token) {
case SQL_CREATE_FUNC:
{
dlist *l = s->data.lval;
int type = l->h->next->next->next->next->next->data.i_val;
int lang = l->h->next->next->next->next->next->next->data.i_val;
int repl = l->h->next->next->next->next->next->next->next->data.i_val;
ret = rel_create_func(sql, l->h->data.lval, l->h->next->data.lval, l->h->next->next->data.sym, l->h->next->next->next->data.lval, l->h->next->next->next->next->data.lval, type, lang, repl);
sql->type = Q_SCHEMA;
} break;
case SQL_DROP_FUNC:
{
dlist *l = s->data.lval;
dlist *qname = l->h->data.lval;
dlist *typelist = l->h->next->data.lval;
int type = l->h->next->next->data.i_val;
int if_exists = l->h->next->next->next->data.i_val;
int all = l->h->next->next->next->next->data.i_val;
int drop_action = l->h->next->next->next->next->next->data.i_val;
if (STORE_READONLY)
return sql_error(sql, 06, SQLSTATE(42000) "Schema statements cannot be executed on a readonly database.");
if (all)
ret = rel_drop_all_func(sql, qname, drop_action, type);
else {
ret = rel_drop_func(sql, qname, typelist, drop_action, type, if_exists);
}
sql->type = Q_SCHEMA;
} break;
case SQL_SET:
ret = rel_psm_stmt(sql->sa, psm_set_exp(sql, s->data.lval->h));
sql->type = Q_SCHEMA;
break;
case SQL_DECLARE:
ret = rel_psm_block(sql->sa, rel_psm_declare(sql, s->data.lval->h));
sql->type = Q_SCHEMA;
break;
case SQL_CALL:
ret = rel_psm_stmt(sql->sa, rel_psm_call(sql, s->data.sym));
sql->type = Q_UPDATE;
break;
case SQL_CREATE_TABLE_LOADER:
{
dlist *l = s->data.lval;
dlist *qname = l->h->data.lval;
symbol *sym = l->h->next->data.sym;
ret = create_table_from_loader(sql, qname, sym);
if (ret == NULL)
return NULL;
ret = rel_psm_stmt(sql->sa, exp_rel(sql, ret));
sql->type = Q_SCHEMA;
} break;
case SQL_CREATE_TRIGGER:
{
dlist *l = s->data.lval;
assert(l->h->next->type == type_int);
ret = create_trigger(sql, l->h->data.lval, l->h->next->data.i_val, l->h->next->next->data.sym, l->h->next->next->next->data.lval, l->h->next->next->next->next->data.lval, l->h->next->next->next->next->next->data.lval, l->h->next->next->next->next->next->next->data.i_val);
sql->type = Q_SCHEMA;
}
break;
case SQL_DROP_TRIGGER:
{
dlist *l = s->data.lval;
dlist *qname = l->h->data.lval;
int if_exists = l->h->next->data.i_val;
ret = drop_trigger(sql, qname, if_exists);
sql->type = Q_SCHEMA;
}
break;
case SQL_ANALYZE: {
dlist *l = s->data.lval;
ret = psm_analyze(sql, "analyze", l->h->data.lval /* qualified table name */, l->h->next->data.lval /* opt list of column */, l->h->next->next->data.sym /* opt_sample_size */, l->h->next->next->next->data.i_val);
sql->type = Q_UPDATE;
} break;
default:
return sql_error(sql, 01, SQLSTATE(42000) "Schema statement unknown symbol(%p)->token = %s", s, token2string(s->token));
}
return ret;
}
static sql_rel *
create_trigger(mvc *sql, dlist *qname, int time, symbol *trigger_event, dlist *tqname, dlist *opt_ref, dlist *triggered_action, int replace)
{
const char *triggerschema = qname_schema(qname);
const char *triggername = qname_table(qname);
const char *sname = qname_schema(tqname);
const char *tname = qname_table(tqname);
sql_schema *ss = cur_schema(sql);
sql_table *t = NULL;
sql_trigger *st = NULL;
int instantiate = (sql->emode == m_instantiate);
int create = (!instantiate && sql->emode != m_deps), event, orientation;
list *sq = NULL;
sql_rel *r = NULL;
char *q, *base = replace ? "CREATE OR REPLACE" : "CREATE";
dlist *columns = trigger_event->data.lval;
const char *old_name = NULL, *new_name = NULL;
dlist *stmts = triggered_action->h->next->next->data.lval;
symbol *condition = triggered_action->h->next->data.sym;
if (!sname)
sname = ss->base.name;
if (sname && !(ss = mvc_bind_schema(sql, sname)))
return sql_error(sql, 02, SQLSTATE(3F000) "%s TRIGGER: no such schema '%s'", base, sname);
if (opt_ref) {
dnode *dl = opt_ref->h;
for ( ; dl; dl = dl->next) {
/* list (new(1)/old(0)), char */
char *n = dl->data.lval->h->next->data.sval;
assert(dl->data.lval->h->type == type_int);
if (!dl->data.lval->h->data.i_val) /*?l_val?*/
old_name = n;
else
new_name = n;
}
}
if (create && !mvc_schema_privs(sql, ss))
return sql_error(sql, 02, SQLSTATE(42000) "%s TRIGGER: access denied for %s to schema ;'%s'", base, stack_get_string(sql, "current_user"), ss->base.name);
if (create && !(t = mvc_bind_table(sql, ss, tname)))
return sql_error(sql, 02, SQLSTATE(42000) "%s TRIGGER: unknown table '%s'", base, tname);
if (create && isView(t))
return sql_error(sql, 02, SQLSTATE(42000) "%s TRIGGER: cannot create trigger on view '%s'", base, tname);
if (triggerschema && strcmp(triggerschema, sname) != 0)
return sql_error(sql, 02, SQLSTATE(42000) "%s TRIGGER: trigger and respective table must belong to the same schema", base);
if (create && (st = mvc_bind_trigger(sql, ss, triggername)) != NULL) {
if (replace) {
if(mvc_drop_trigger(sql, ss, st))
return sql_error(sql, 02, SQLSTATE(HY001) "%s TRIGGER: %s", base, MAL_MALLOC_FAIL);
} else {
return sql_error(sql, 02, SQLSTATE(42000) "%s TRIGGER: name '%s' already in use", base, triggername);
}
}
if (create) {
switch (trigger_event->token) {
case SQL_INSERT:
event = 0;
break;
case SQL_DELETE:
event = 1;
break;
case SQL_TRUNCATE:
event = 3;
break;
default:
event = 2;
break;
}
orientation = triggered_action->h->data.i_val;
q = query_cleaned(QUERY(sql->scanner));
assert(triggered_action->h->type == type_int);
r = rel_create_trigger(sql, t->s->base.name, t->base.name, triggername, time, orientation, event, old_name, new_name, condition, q);
GDKfree(q);
return r;
}
if (!instantiate) {
t = mvc_bind_table(sql, ss, tname);
if(!stack_push_frame(sql, "OLD-NEW"))
return sql_error(sql, 02, SQLSTATE(HY001) MAL_MALLOC_FAIL);
/* we need to add the old and new tables */
if (!instantiate && new_name) {
if(!_stack_push_table(sql, new_name, t))
return sql_error(sql, 02, SQLSTATE(HY001) MAL_MALLOC_FAIL);
}
if (!instantiate && old_name) {
if(!_stack_push_table(sql, old_name, t))
return sql_error(sql, 02, SQLSTATE(HY001) MAL_MALLOC_FAIL);
}
}
if (condition) {
sql_rel *rel = NULL;
if (new_name) /* in case of updates same relations is available via both names */
rel = stack_find_rel_view(sql, new_name);
if (!rel && old_name)
rel = stack_find_rel_view(sql, old_name);
if (rel)
rel = rel_logical_exp(sql, rel, condition, sql_where);
if (!rel)
return NULL;
/* transition tables */
/* insert: rel_select(table [new], searchcondition) */
/* delete: rel_select(table [old], searchcondition) */
/* update: rel_select(table [old,new]), searchcondition) */
if (new_name)
stack_update_rel_view(sql, new_name, rel);
if (old_name)
stack_update_rel_view(sql, old_name, new_name?rel_dup(rel):rel);
}
sq = sequential_block(sql, NULL, NULL, stmts, NULL, 1);
r = rel_psm_block(sql->sa, sq);
/* todo trigger_columns */
(void)columns;
return r;
}
