postgis_valid_typmod()

GSERIALIZED* postgis_valid_typmod	(	GSERIALIZED *	gser,
		int32_t	typmod
	)

Check the consistency of the metadata we want to enforce in the typmod: srid, type and dimensionality.

If things are inconsistent, shut down the query.

Definition at line 119 of file gserialized_typmod.c.

References COLLECTIONTYPE, geometry_serialize(), gserialized_get_srid(), gserialized_get_type(), gserialized_has_m(), gserialized_has_z(), gserialized_is_empty(), gserialized_is_geodetic(), lwpoint_as_lwgeom(), lwpoint_construct_empty(), lwtype_name(), MULTILINETYPE, MULTIPOINTTYPE, MULTIPOLYGONTYPE, POINTTYPE, TYPMOD_GET_M, TYPMOD_GET_SRID, TYPMOD_GET_TYPE, and TYPMOD_GET_Z.

Referenced by geography_enforce_typmod(), geometry_enforce_typmod(), gserialized_geography_from_lwgeom(), LWGEOM_in(), and LWGEOM_recv().

{
        int32 geom_srid = gserialized_get_srid(gser);
        int32 geom_type = gserialized_get_type(gser);
        int32 geom_z = gserialized_has_z(gser);
        int32 geom_m = gserialized_has_m(gser);
        int32 typmod_srid = TYPMOD_GET_SRID(typmod);
        int32 typmod_type = TYPMOD_GET_TYPE(typmod);
        int32 typmod_z = TYPMOD_GET_Z(typmod);
        int32 typmod_m = TYPMOD_GET_M(typmod);

        POSTGIS_DEBUG(2, "Entered function");

        /* No typmod (-1) => no preferences */
        if (typmod < 0) return gser;

        POSTGIS_DEBUGF(3, "Got geom(type = %d, srid = %d, hasz = %d, hasm = %d)", geom_type, geom_srid, geom_z, geom_m);
        POSTGIS_DEBUGF(3, "Got typmod(type = %d, srid = %d, hasz = %d, hasm = %d)", typmod_type, typmod_srid, typmod_z, typmod_m);

        /*
        * #3031: If a user is handing us a MULTIPOINT EMPTY but trying to fit it into
        * a POINT geometry column, there's a strong chance the reason she has
        * a MULTIPOINT EMPTY because we gave it to her during data dump,
        * converting the internal POINT EMPTY into a EWKB MULTIPOINT EMPTY
        * (because EWKB doesn't have a clean way to represent POINT EMPTY).
        * In such a case, it makes sense to turn the MULTIPOINT EMPTY back into a
        * point EMPTY, rather than throwing an error.
        */
        if ( typmod_type == POINTTYPE && geom_type == MULTIPOINTTYPE &&
             gserialized_is_empty(gser) )
        {
                LWPOINT *empty_point = lwpoint_construct_empty(geom_srid, geom_z, geom_m);
                geom_type = POINTTYPE;
                pfree(gser);
                if ( gserialized_is_geodetic(gser) )
                        gser = geography_serialize(lwpoint_as_lwgeom(empty_point));
                else
                        gser = geometry_serialize(lwpoint_as_lwgeom(empty_point));
        }

        /* Typmod has a preference for SRID? Geometry SRID had better match. */
        if ( typmod_srid > 0 && typmod_srid != geom_srid )
        {
                ereport(ERROR, (
                            errcode(ERRCODE_INVALID_PARAMETER_VALUE),
                            errmsg("Geometry SRID (%d) does not match column SRID (%d)", geom_srid, typmod_srid) ));
        }

        /* Typmod has a preference for geometry type. */
        if ( typmod_type > 0 &&
                /* GEOMETRYCOLLECTION column can hold any kind of collection */
                ((typmod_type == COLLECTIONTYPE && ! (geom_type == COLLECTIONTYPE ||
                                                      geom_type == MULTIPOLYGONTYPE ||
                                                      geom_type == MULTIPOINTTYPE ||
                                                      geom_type == MULTILINETYPE )) ||
                 /* Other types must be strictly equal. */
                 (typmod_type != geom_type)) )
        {
                ereport(ERROR, (
                            errcode(ERRCODE_INVALID_PARAMETER_VALUE),
                            errmsg("Geometry type (%s) does not match column type (%s)", lwtype_name(geom_type), lwtype_name(typmod_type)) ));
        }

        /* Mismatched Z dimensionality. */
        if ( typmod_z && ! geom_z )
        {
                ereport(ERROR, (
                            errcode(ERRCODE_INVALID_PARAMETER_VALUE),
                            errmsg("Column has Z dimension but geometry does not" )));
        }

        /* Mismatched Z dimensionality (other way). */
        if ( geom_z && ! typmod_z )
        {
                ereport(ERROR, (
                            errcode(ERRCODE_INVALID_PARAMETER_VALUE),
                            errmsg("Geometry has Z dimension but column does not" )));
        }

        /* Mismatched M dimensionality. */
        if ( typmod_m && ! geom_m )
        {
                ereport(ERROR, (
                            errcode(ERRCODE_INVALID_PARAMETER_VALUE),
                            errmsg("Column has M dimension but geometry does not" )));
        }

        /* Mismatched M dimensionality (other way). */
        if ( geom_m && ! typmod_m )
        {
                ereport(ERROR, (
                            errcode(ERRCODE_INVALID_PARAMETER_VALUE),
                            errmsg("Geometry has M dimension but column does not" )));
        }

        return gser;

}

Here is the call graph for this function:

Here is the caller graph for this function: