/*-------------------------------------------------------------------------
*
* parse_coerce.h
- *
* Routines for type coercion.
*
- * Portions Copyright (c) 1996-2001, PostgreSQL Global Development Group
+ *
+ * Portions Copyright (c) 1996-2010, PostgreSQL Global Development Group
* Portions Copyright (c) 1994, Regents of the University of California
*
- * $Id: parse_coerce.h,v 1.26 2001/01/24 19:43:27 momjian Exp $
+ * src/include/parser/parse_coerce.h
*
*-------------------------------------------------------------------------
*/
#ifndef PARSE_COERCE_H
#define PARSE_COERCE_H
-#include "catalog/pg_type.h"
#include "parser/parse_node.h"
-typedef enum CATEGORY
-{
- INVALID_TYPE,
- UNKNOWN_TYPE,
- BOOLEAN_TYPE,
- STRING_TYPE,
- BITSTRING_TYPE,
- NUMERIC_TYPE,
- DATETIME_TYPE,
- TIMESPAN_TYPE,
- GEOMETRIC_TYPE,
- NETWORK_TYPE,
- USER_TYPE,
- MIXED_TYPE
-} CATEGORY;
+/* Type categories (see TYPCATEGORY_xxx symbols in catalog/pg_type.h) */
+typedef char TYPCATEGORY;
-/* IS_BUILTIN_TYPE()
- * Check for types which are in the core distribution.
- * The built-in types can have more explicit support for type coersion, etc,
- * since we know apriori how they should behave.
- * - thomas 1998-05-13
- */
-#define IS_BUILTIN_TYPE(t) \
- (((t) == OIDOID) \
- || ((t) == BOOLOID) \
- || ((t) == BPCHAROID) \
- || ((t) == VARCHAROID) \
- || ((t) == TEXTOID) \
- || ((t) == INT4OID) \
- || ((t) == INT8OID) \
- || ((t) == FLOAT8OID) \
- || ((t) == NUMERICOID) \
- || ((t) == TIMESTAMPOID) \
- || ((t) == INTERVALOID) \
- || ((t) == ABSTIMEOID) \
- || ((t) == RELTIMEOID) \
- || ((t) == DATEOID) \
- || ((t) == TIMEOID) \
- || ((t) == TIMETZOID) \
- || ((t) == CHAROID) \
- || ((t) == NAMEOID) \
- || ((t) == CASHOID) \
- || ((t) == POINTOID) \
- || ((t) == LSEGOID) \
- || ((t) == LINEOID) \
- || ((t) == BOXOID) \
- || ((t) == PATHOID) \
- || ((t) == POLYGONOID) \
- || ((t) == CIRCLEOID) \
- || ((t) == INETOID) \
- || ((t) == CIDROID) \
- || ((t) == ZPBITOID) \
- || ((t) == VARBITOID) )
+/* Result codes for find_coercion_pathway */
+typedef enum CoercionPathType
+{
+ COERCION_PATH_NONE, /* failed to find any coercion pathway */
+ COERCION_PATH_FUNC, /* apply the specified coercion function */
+ COERCION_PATH_RELABELTYPE, /* binary-compatible cast, no function */
+ COERCION_PATH_ARRAYCOERCE, /* need an ArrayCoerceExpr node */
+ COERCION_PATH_COERCEVIAIO /* need a CoerceViaIO node */
+} CoercionPathType;
-/* IS_BINARY_COMPATIBLE()
- * Check for types with the same underlying binary representation.
- * This allows us to cheat and directly exchange values without
- * going through the trouble of calling a conversion function.
- *
- * Remove equivalencing of FLOAT8 and TIMESTAMP. They really are not
- * close enough in behavior, with the TIMESTAMP reserved values
- * and special formatting. - thomas 1999-01-24
- */
-#define IS_BINARY_COMPATIBLE(a,b) \
- (((a) == BPCHAROID && (b) == TEXTOID) \
- || ((a) == BPCHAROID && (b) == VARCHAROID) \
- || ((a) == VARCHAROID && (b) == TEXTOID) \
- || ((a) == VARCHAROID && (b) == BPCHAROID) \
- || ((a) == TEXTOID && (b) == BPCHAROID) \
- || ((a) == TEXTOID && (b) == VARCHAROID) \
- || ((a) == OIDOID && (b) == INT4OID) \
- || ((a) == OIDOID && (b) == REGPROCOID) \
- || ((a) == INT4OID && (b) == OIDOID) \
- || ((a) == INT4OID && (b) == REGPROCOID) \
- || ((a) == REGPROCOID && (b) == OIDOID) \
- || ((a) == REGPROCOID && (b) == INT4OID) \
- || ((a) == ABSTIMEOID && (b) == INT4OID) \
- || ((a) == INT4OID && (b) == ABSTIMEOID) \
- || ((a) == RELTIMEOID && (b) == INT4OID) \
- || ((a) == INT4OID && (b) == RELTIMEOID) \
- || ((a) == INETOID && (b) == CIDROID) \
- || ((a) == CIDROID && (b) == INETOID) \
- || ((a) == ZPBITOID && (b) == VARBITOID) \
- || ((a) == VARBITOID && (b) == ZPBITOID))
+extern bool IsBinaryCoercible(Oid srctype, Oid targettype);
+extern bool IsPreferredType(TYPCATEGORY category, Oid type);
+extern TYPCATEGORY TypeCategory(Oid type);
-/* IS_HIGHER_TYPE()
- * These types are the most general in each of the type categories.
- */
-#define IS_HIGHER_TYPE(t) \
- (((t) == TEXTOID) \
- || ((t) == FLOAT8OID) \
- || ((t) == INTERVALOID) \
- || ((t) == TIMESTAMPOID) \
- || ((t) == POLYGONOID) \
- || ((t) == INETOID) )
+extern Node *coerce_to_target_type(ParseState *pstate,
+ Node *expr, Oid exprtype,
+ Oid targettype, int32 targettypmod,
+ CoercionContext ccontext,
+ CoercionForm cformat,
+ int location);
+extern bool can_coerce_type(int nargs, Oid *input_typeids, Oid *target_typeids,
+ CoercionContext ccontext);
+extern Node *coerce_type(ParseState *pstate, Node *node,
+ Oid inputTypeId, Oid targetTypeId, int32 targetTypeMod,
+ CoercionContext ccontext, CoercionForm cformat, int location);
+extern Node *coerce_to_domain(Node *arg, Oid baseTypeId, int32 baseTypeMod,
+ Oid typeId,
+ CoercionForm cformat, int location,
+ bool hideInputCoercion,
+ bool lengthCoercionDone);
-/* IS_HIGHEST_TYPE()
- * These types are the most general in each of the type categories.
- * Since interval and timestamp overload so many functions, let's
- * give timestamp the preference.
- * Since text is a generic string type let's leave it out too.
- */
-#define IS_HIGHEST_TYPE(t) \
- (((t) == FLOAT8OID) \
- || ((t) == TIMESTAMPOID) \
- || ((t) == INTERVALOID))
+extern Node *coerce_to_boolean(ParseState *pstate, Node *node,
+ const char *constructName);
+extern Node *coerce_to_specific_type(ParseState *pstate, Node *node,
+ Oid targetTypeId,
+ const char *constructName);
+extern int parser_coercion_errposition(ParseState *pstate,
+ int coerce_location,
+ Node *input_expr);
-extern bool IsPreferredType(CATEGORY category, Oid type);
-extern CATEGORY TypeCategory(Oid type);
+extern Oid select_common_type(ParseState *pstate, List *exprs,
+ const char *context, Node **which_expr);
+extern Node *coerce_to_common_type(ParseState *pstate, Node *node,
+ Oid targetTypeId,
+ const char *context);
-extern bool can_coerce_type(int nargs, Oid *input_typeids, Oid *func_typeids);
-extern Node *coerce_type(ParseState *pstate, Node *node, Oid inputTypeId,
- Oid targetTypeId, int32 atttypmod);
-extern Node *coerce_type_typmod(ParseState *pstate, Node *node,
- Oid targetTypeId, int32 atttypmod);
+extern bool check_generic_type_consistency(Oid *actual_arg_types,
+ Oid *declared_arg_types,
+ int nargs);
+extern Oid enforce_generic_type_consistency(Oid *actual_arg_types,
+ Oid *declared_arg_types,
+ int nargs,
+ Oid rettype,
+ bool allow_poly);
+extern Oid resolve_generic_type(Oid declared_type,
+ Oid context_actual_type,
+ Oid context_declared_type);
-extern Oid select_common_type(List *typeids, const char *context);
-extern Node *coerce_to_common_type(ParseState *pstate, Node *node,
- Oid targetTypeId,
- const char *context);
+extern CoercionPathType find_coercion_pathway(Oid targetTypeId,
+ Oid sourceTypeId,
+ CoercionContext ccontext,
+ Oid *funcid);
+extern CoercionPathType find_typmod_coercion_function(Oid typeId,
+ Oid *funcid);
-#endif /* PARSE_COERCE_H */
+#endif /* PARSE_COERCE_H */
projects / postgresql / blobdiff