vortex_geo/extension/

multilinestring.rs

// SPDX-License-Identifier: Apache-2.0
// SPDX-FileCopyrightText: Copyright the Vortex contributors

//! The [`MultiLineString`] extension type (`vortex.geo.multilinestring`), stored as
//! `List<List<Struct<x, y[, z][, m]>>>` (line strings → coordinates) and tagged with
//! [`GeoMetadata`]. The storage layout matches [`Polygon`](super::Polygon); the two are
//! distinguished by their GeoArrow extension name, not their shape.

use std::sync::Arc;

use arrow_array::ArrayRef as ArrowArrayRef;
use arrow_schema::DataType;
use arrow_schema::Field;
use arrow_schema::extension::ExtensionType;
use geo_traits::to_geo::ToGeoGeometry;
use geo_types::Geometry;
use geoarrow::array::GeoArrowArrayAccessor;
use geoarrow::array::IntoArrow;
use geoarrow::array::MultiLineStringArray;
use geoarrow::datatypes::CoordType;
use geoarrow::datatypes::MultiLineStringType;
use prost::Message;
use vortex_array::ArrayRef;
use vortex_array::ExecutionCtx;
use vortex_array::IntoArray;
use vortex_array::arrays::ExtensionArray;
use vortex_array::arrays::extension::ExtensionArrayExt;
use vortex_array::arrow::ArrowExport;
use vortex_array::arrow::ArrowExportVTable;
use vortex_array::arrow::ArrowImport;
use vortex_array::arrow::ArrowImportVTable;
use vortex_array::arrow::ArrowSession;
use vortex_array::arrow::ArrowSessionExt;
use vortex_array::arrow::FromArrowArray;
use vortex_array::dtype::DType;
use vortex_array::dtype::Nullability;
use vortex_array::dtype::arrow::FromArrowType;
use vortex_array::dtype::extension::ExtDType;
use vortex_array::dtype::extension::ExtId;
use vortex_array::dtype::extension::ExtVTable;
use vortex_array::scalar::ScalarValue;
use vortex_error::VortexError;
use vortex_error::VortexResult;
use vortex_error::vortex_bail;
use vortex_error::vortex_ensure;
use vortex_error::vortex_err;
use vortex_session::registry::CachedId;
use vortex_session::registry::Id;

use super::GeoMetadata;
use super::coordinate::Dimension;
use super::coordinate::coordinate_dimension;
use super::coordinate::coordinate_storage_dtype;
use super::geo_metadata_from_arrow;
use super::geoarrow_metadata;
use super::geoarrow_to_wkb;

/// A multilinestring: `geoarrow.multilinestring`, stored as `List<List<Struct<x, y[, z][, m]>>>`
/// (line strings of vertices).
#[derive(Debug, Clone, Default, PartialEq, Eq, Hash)]
pub struct MultiLineString;

impl ExtVTable for MultiLineString {
    type Metadata = GeoMetadata;
    // No cheap owned value like Point's `Coordinate`; expose the raw storage scalar.
    type NativeValue<'a> = &'a ScalarValue;

    fn id(&self) -> ExtId {
        static ID: CachedId = CachedId::new("vortex.geo.multilinestring");
        *ID
    }

    fn serialize_metadata(&self, metadata: &Self::Metadata) -> VortexResult<Vec<u8>> {
        Ok(metadata.encode_to_vec())
    }

    fn deserialize_metadata(&self, metadata: &[u8]) -> VortexResult<Self::Metadata> {
        Ok(GeoMetadata::decode(metadata)?)
    }

    fn validate_dtype(ext_dtype: &ExtDType<Self>) -> VortexResult<()> {
        multilinestring_dimension(ext_dtype.storage_dtype()).map(|_| ())
    }

    fn unpack_native<'a>(
        _ext_dtype: &'a ExtDType<Self>,
        storage_value: &'a ScalarValue,
    ) -> VortexResult<&'a ScalarValue> {
        Ok(storage_value)
    }
}

/// Canonical multilinestring storage: an outer list of line strings, each a list of the coordinate
/// `Struct`.
pub(crate) fn multilinestring_storage_dtype(dim: Dimension, nullability: Nullability) -> DType {
    let coords = coordinate_storage_dtype(dim, Nullability::NonNullable);
    let line = DType::List(Arc::new(coords), Nullability::NonNullable);
    DType::List(Arc::new(line), nullability)
}

/// Validate `dtype` is `List<List<coordinate-struct>>` and return its [`Dimension`].
pub(crate) fn multilinestring_dimension(dtype: &DType) -> VortexResult<Dimension> {
    let DType::List(line, _) = dtype else {
        vortex_bail!("multilinestring storage must be a List of line strings, was {dtype}");
    };
    let DType::List(coords, _) = line.as_ref() else {
        vortex_bail!("multilinestring line storage must be a List of coordinates, was {line}");
    };
    coordinate_dimension(coords)
}

static ARROW_MULTILINESTRING: CachedId = CachedId::new(MultiLineStringType::NAME);

/// The `geoarrow.multilinestring` type for `dimension`, with separated (struct) coordinates.
fn multilinestring_type(geo_metadata: &GeoMetadata, dimension: Dimension) -> MultiLineStringType {
    MultiLineStringType::new(dimension.into(), geoarrow_metadata(geo_metadata))
}

/// Decode storage to `geo_types` for the geo scalar functions (CRS is irrelevant to planar ops).
pub(crate) fn multilinestring_geometries(
    storage: &ArrayRef,
    ctx: &mut ExecutionCtx,
) -> VortexResult<Vec<Geometry<f64>>> {
    multilinestring_array(storage, ctx)?
        .iter()
        .map(|geometry| -> VortexResult<Geometry<f64>> {
            Ok(geometry
                .ok_or_else(|| vortex_err!("geo: null geometry is not supported"))?
                .map_err(|e| vortex_err!("geo: geometry access failed: {e}"))?
                .to_geometry())
        })
        .collect()
}

/// Build a geoarrow `MultiLineStringArray` from the `MultiLineString` storage.
fn multilinestring_array(
    storage: &ArrayRef,
    ctx: &mut ExecutionCtx,
) -> VortexResult<MultiLineStringArray> {
    let multilinestring_type = multilinestring_type(
        &GeoMetadata::default(),
        multilinestring_dimension(storage.dtype())?,
    );
    let session = ctx.session().clone();
    let arrow = session.arrow().execute_arrow(storage.clone(), None, ctx)?;
    MultiLineStringArray::try_from((arrow.as_ref(), multilinestring_type))
        .map_err(|e| vortex_err!("failed to construct MultiLineStringArray: {e}"))
}

/// A validated `MultiLineString` array (`try_from` checks the extension type).
pub struct MultiLineStringData(ExtensionArray);

impl TryFrom<ExtensionArray> for MultiLineStringData {
    type Error = VortexError;

    fn try_from(ext: ExtensionArray) -> Result<Self, Self::Error> {
        vortex_ensure!(
            ext.ext_dtype().is::<MultiLineString>(),
            "expected a MultiLineString extension array"
        );
        Ok(MultiLineStringData(ext))
    }
}

impl MultiLineStringData {
    /// Serialize multilinestrings to WKB (a view array) — the form DuckDB `GEOMETRY` takes.
    pub fn to_wkb(&self, ctx: &mut ExecutionCtx) -> VortexResult<ArrayRef> {
        geoarrow_to_wkb(&multilinestring_array(self.0.storage_array(), ctx)?)
    }
}

impl ArrowExportVTable for MultiLineString {
    fn arrow_ext_id(&self) -> Id {
        *ARROW_MULTILINESTRING
    }

    fn vortex_id(&self) -> Id {
        self.id()
    }

    fn to_arrow_field(
        &self,
        name: &str,
        dtype: &DType,
        session: &ArrowSession,
    ) -> VortexResult<Option<Field>> {
        let ext_type = dtype.as_extension();
        let geo_metadata = ext_type.metadata::<MultiLineString>();
        let dimension = multilinestring_dimension(ext_type.storage_dtype())?;

        let mut field = session.to_arrow_field(name, ext_type.storage_dtype())?;
        field.try_with_extension_type(multilinestring_type(geo_metadata, dimension))?;

        Ok(Some(field))
    }

    fn execute_arrow(
        &self,
        array: ArrayRef,
        target: &Field,
        ctx: &mut ExecutionCtx,
    ) -> VortexResult<ArrowExport> {
        let is_multilinestring = array
            .dtype()
            .as_extension_opt()
            .map(|ext| ext.is::<MultiLineString>())
            .unwrap_or(false);
        if !is_multilinestring {
            return Ok(ArrowExport::Unsupported(array));
        }

        let Ok(multilinestring_meta) = target.try_extension_type::<MultiLineStringType>() else {
            return Ok(ArrowExport::Unsupported(array));
        };
        if multilinestring_meta.coord_type() != CoordType::Separated {
            return Ok(ArrowExport::Unsupported(array));
        }

        let executed = array.execute::<ExtensionArray>(ctx)?;
        let storage = executed.storage_array().clone();

        let storage_field = Field::new(
            String::new(),
            target.data_type().clone(),
            target.is_nullable(),
        );
        let session = ctx.session().clone();
        let arrow_storage = session
            .arrow()
            .execute_arrow(storage, Some(&storage_field), ctx)?;

        let multilinestrings =
            MultiLineStringArray::try_from((arrow_storage.as_ref(), multilinestring_meta))
                .map_err(|e| vortex_err!("failed to construct MultiLineStringArray: {e}"))?;

        Ok(ArrowExport::Exported(Arc::new(
            multilinestrings.into_arrow(),
        )))
    }
}

impl ArrowImportVTable for MultiLineString {
    fn arrow_ext_id(&self) -> Id {
        *ARROW_MULTILINESTRING
    }

    /// Import a `geoarrow.multilinestring` field (matched by GeoArrow name). Accepts the full
    /// `MultiLineStringType`, or a metadata-less literal (name only), inferring the dimension.
    fn from_arrow_field(&self, field: &Field) -> VortexResult<Option<DType>> {
        let (dimension, metadata) =
            if let Ok(multilinestring_meta) = field.try_extension_type::<MultiLineStringType>() {
                vortex_ensure!(
                    multilinestring_meta.coord_type() == CoordType::Separated,
                    "geoarrow.multilinestring with interleaved coordinates is not supported; \
                 re-encode with separated (struct) coordinates"
                );
                (
                    multilinestring_meta.dimension().into(),
                    geo_metadata_from_arrow(multilinestring_meta.metadata()),
                )
            } else {
                // Literal: peel the two `List` layers to the coordinate struct and read its dimension
                // from the field names (the canonical check rejects nullable coordinates).
                if field.extension_type_name() != Some(MultiLineStringType::NAME) {
                    return Ok(None);
                }
                let DType::List(line, _) = DType::from_arrow(field) else {
                    return Ok(None);
                };
                let DType::List(coords, _) = line.as_ref() else {
                    return Ok(None);
                };
                let DType::Struct(fields, _) = coords.as_ref() else {
                    return Ok(None);
                };
                let Ok(dimension) = Dimension::from_field_names(fields.names()) else {
                    return Ok(None);
                };
                (dimension, GeoMetadata::default())
            };

        let storage_dtype = multilinestring_storage_dtype(dimension, field.is_nullable().into());
        Ok(Some(DType::Extension(
            ExtDType::try_with_vtable(MultiLineString, metadata, storage_dtype)?.erased(),
        )))
    }

    fn from_arrow_array(
        &self,
        array: ArrowArrayRef,
        field: &Field,
        dtype: &DType,
    ) -> VortexResult<ArrowImport> {
        let Some(ext_dtype) = dtype.as_extension_opt() else {
            return Ok(ArrowImport::Unsupported(array));
        };
        if !ext_dtype.is::<MultiLineString>()
            || field.try_extension_type::<MultiLineStringType>().is_err()
            || !matches!(array.data_type(), DataType::List(_))
        {
            return Ok(ArrowImport::Unsupported(array));
        }

        let storage = ArrayRef::from_arrow(array.as_ref(), field.is_nullable())?;
        Ok(ArrowImport::Imported(
            ExtensionArray::try_new(ext_dtype.clone(), storage)?.into_array(),
        ))
    }
}

#[cfg(test)]
mod tests {
    use std::sync::Arc;

    use rstest::rstest;
    use vortex_array::dtype::DType;
    use vortex_array::dtype::Nullability;
    use vortex_array::dtype::PType;
    use vortex_array::dtype::extension::ExtDType;
    use vortex_error::VortexResult;

    use super::MultiLineString;
    use super::multilinestring_storage_dtype;
    use crate::extension::GeoMetadata;
    use crate::extension::coordinate::Dimension;
    use crate::extension::coordinate::coordinate_storage_dtype;

    fn geo_meta() -> GeoMetadata {
        GeoMetadata {
            crs: Some("EPSG:4326".to_string()),
        }
    }

    /// `MultiLineString` accepts the canonical `List<List<coordinate-struct>>` storage of every
    /// dimension.
    #[rstest]
    #[case::xy(Dimension::Xy)]
    #[case::xyz(Dimension::Xyz)]
    #[case::xym(Dimension::Xym)]
    #[case::xyzm(Dimension::Xyzm)]
    fn multilinestring_validates_every_dimension(#[case] dim: Dimension) -> VortexResult<()> {
        let storage = multilinestring_storage_dtype(dim, Nullability::NonNullable);
        ExtDType::<MultiLineString>::try_new(geo_meta(), storage)?;
        Ok(())
    }

    /// Non-multilinestring storage is rejected: a bare coordinate struct (point) fails.
    #[test]
    fn multilinestring_rejects_invalid_storage() -> VortexResult<()> {
        let primitive = DType::Primitive(PType::F64, Nullability::NonNullable);
        assert!(ExtDType::<MultiLineString>::try_new(geo_meta(), primitive).is_err());

        // A bare list of coordinates is a single line string, not a multilinestring.
        let coords = coordinate_storage_dtype(Dimension::Xy, Nullability::NonNullable);
        let line = DType::List(Arc::new(coords), Nullability::NonNullable);
        assert!(ExtDType::<MultiLineString>::try_new(geo_meta(), line).is_err());
        Ok(())
    }
}