mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-12-21 08:29:39 +08:00
f45df8c014
blanks, in hopes of reducing the surprise factor for newbies. Remove redundant operators for VARCHAR (it depends wholly on TEXT operations now). Clean up resolution of ambiguous operators/functions to avoid surprising choices for domains: domains are treated as equivalent to their base types and binary-coercibility is no longer considered a preference item when choosing among multiple operators/functions. IsBinaryCoercible now correctly reflects the notion that you need *only* relabel the type to get from type A to type B: that is, a domain is binary-coercible to its base type, but not vice versa. Various marginal cleanup, including merging the essentially duplicate resolution code in parse_func.c and parse_oper.c. Improve opr_sanity regression test to understand about binary compatibility (using pg_cast), and fix a couple of small errors in the catalogs revealed thereby. Restructure "special operator" handling to fetch operators via index opclasses rather than hardwiring assumptions about names (cleans up the pattern_ops stuff a little).
334 lines
6.4 KiB
C
334 lines
6.4 KiB
C
/*
|
|
* array_iterator.c --
|
|
*
|
|
* This file defines a new class of operators which take an
|
|
* array and a scalar value, iterate a scalar operator over the
|
|
* elements of the array and the value and compute a result as
|
|
* the logical OR or AND of the iteration results.
|
|
*
|
|
* Copyright (C) 1999, Massimo Dal Zotto <dz@cs.unitn.it>
|
|
* ported to postgreSQL 6.3.2,added oid_functions, 18.1.1999,
|
|
* Tobias Gabele <gabele@wiz.uni-kassel.de>
|
|
*
|
|
* This software is distributed under the GNU General Public License
|
|
* either version 2, or (at your option) any later version.
|
|
*/
|
|
|
|
#include "postgres.h"
|
|
|
|
#include <ctype.h>
|
|
#include <stdio.h>
|
|
#include <sys/types.h>
|
|
#include <string.h>
|
|
|
|
#include "access/tupmacs.h"
|
|
#include "access/xact.h"
|
|
#include "fmgr.h"
|
|
#include "miscadmin.h"
|
|
#include "utils/array.h"
|
|
#include "utils/builtins.h"
|
|
#include "utils/fmgroids.h"
|
|
#include "utils/memutils.h"
|
|
#include "utils/lsyscache.h"
|
|
|
|
#include "array_iterator.h"
|
|
|
|
|
|
static int32
|
|
array_iterator(Oid proc, int and, ArrayType *array, Datum value)
|
|
{
|
|
Oid elemtype;
|
|
int16 typlen;
|
|
bool typbyval;
|
|
char typalign;
|
|
int nitems,
|
|
i;
|
|
Datum result;
|
|
int ndim,
|
|
*dim;
|
|
char *p;
|
|
FmgrInfo finfo;
|
|
|
|
/* Sanity checks */
|
|
if (array == (ArrayType *) NULL)
|
|
{
|
|
/* elog(WARNING, "array_iterator: array is null"); */
|
|
return (0);
|
|
}
|
|
|
|
/* detoast input if necessary */
|
|
array = DatumGetArrayTypeP(PointerGetDatum(array));
|
|
|
|
ndim = ARR_NDIM(array);
|
|
dim = ARR_DIMS(array);
|
|
nitems = ArrayGetNItems(ndim, dim);
|
|
if (nitems == 0)
|
|
return (0);
|
|
|
|
/* Lookup element type information */
|
|
elemtype = ARR_ELEMTYPE(array);
|
|
get_typlenbyvalalign(elemtype, &typlen, &typbyval, &typalign);
|
|
|
|
/* Lookup the function entry point */
|
|
fmgr_info(proc, &finfo);
|
|
if (finfo.fn_nargs != 2)
|
|
{
|
|
elog(ERROR, "array_iterator: proc %u does not take 2 args", proc);
|
|
return (0);
|
|
}
|
|
|
|
/* Scan the array and apply the operator to each element */
|
|
result = BoolGetDatum(false);
|
|
p = ARR_DATA_PTR(array);
|
|
for (i = 0; i < nitems; i++)
|
|
{
|
|
Datum itemvalue;
|
|
|
|
itemvalue = fetch_att(p, typbyval, typlen);
|
|
|
|
p = att_addlength(p, typlen, PointerGetDatum(p));
|
|
p = (char *) att_align(p, typalign);
|
|
|
|
result = FunctionCall2(&finfo, itemvalue, value);
|
|
|
|
if (DatumGetBool(result))
|
|
{
|
|
if (!and)
|
|
return (1);
|
|
}
|
|
else
|
|
{
|
|
if (and)
|
|
return (0);
|
|
}
|
|
}
|
|
|
|
if (and && DatumGetBool(result))
|
|
return (1);
|
|
else
|
|
return (0);
|
|
}
|
|
|
|
/*
|
|
* Iterator functions for type _text
|
|
*/
|
|
|
|
int32
|
|
array_texteq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_TEXTEQ,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_texteq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_TEXTEQ,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_textregexeq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_TEXTREGEXEQ,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_textregexeq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_TEXTREGEXEQ,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
/*
|
|
* Iterator functions for type _bpchar. Note that the regexp
|
|
* operators take the second argument of type text.
|
|
*/
|
|
|
|
int32
|
|
array_bpchareq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_BPCHAREQ,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_bpchareq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_BPCHAREQ,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_bpcharregexeq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_TEXTREGEXEQ,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_bpcharregexeq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_TEXTREGEXEQ,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
/*
|
|
* Iterator functions for type _int4
|
|
*/
|
|
|
|
int32
|
|
array_int4eq(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4EQ,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_int4eq(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4EQ,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_int4ne(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4NE,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_int4ne(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4NE,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_int4gt(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4GT,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_int4gt(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4GT,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_int4ge(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4GE,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_int4ge(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4GE,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_int4lt(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4LT,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_int4lt(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4LT,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_int4le(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4LE,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_int4le(ArrayType *array, int4 value)
|
|
{
|
|
return array_iterator(F_INT4LE,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
/* new tobias gabele 1999 */
|
|
|
|
int32
|
|
array_oideq(ArrayType *array, Oid value)
|
|
{
|
|
return array_iterator(F_OIDEQ,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_oidne(ArrayType *array, Oid value)
|
|
{
|
|
return array_iterator(F_OIDNE,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_ineteq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_NETWORK_EQ,
|
|
0, /* logical or */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_ineteq(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_NETWORK_EQ,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_inetne(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_NETWORK_NE,
|
|
0, /* logical and */
|
|
array, (Datum) value);
|
|
}
|
|
|
|
int32
|
|
array_all_inetne(ArrayType *array, void *value)
|
|
{
|
|
return array_iterator(F_NETWORK_NE,
|
|
1, /* logical and */
|
|
array, (Datum) value);
|
|
}
|