From 3f74f3d9e3793fe9f92a8714e591c9b6d0b3e12b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Esteban=20Zim=C3=A1nyi?= Date: Tue, 8 Sep 2026 00:14:54 +0200 Subject: [PATCH] Project the surface MEOS publishes today MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The generated surface is the catalog's projection at MobilityDB 79a66f4576902b933481883443334c67edccf607. `geo_meos_supported` and `geom_meos_supported` leave it and `geo_meos_coverage` and `geom_meos_coverage` take their place, answering an `int` where the pair answered a `bool`: MEOS declares the two names in no header and `libmeos.so` defines neither symbol, so the wrappers naming them resolve nothing at load. The committed snapshot is what a consumer of this repository compiles, and the suite's own `EveryDeclaredEntryPointResolvesInTheLoadedMeos` reads the pair against the loaded library — `MEOS exports none of: geo_meos_supported, geom_meos_supported` is the failure a caller would otherwise meet as an `EntryPointNotFoundException` on the call itself. `GAP-LEDGER.md` follows the same two names into its nullability rows and records the commit it is derived from. The build takes 0 warnings and the suite passes 67 of 67 with none skipped. --- GAP-LEDGER.md | 6 +++--- MEOS.NET/Functions/Meos.Native.g.cs | 10 ++++------ MEOS.NET/Functions/Meos.meos_internal_geo.g.cs | 8 ++++---- 3 files changed, 11 insertions(+), 13 deletions(-) diff --git a/GAP-LEDGER.md b/GAP-LEDGER.md index ca7d2a6..87c5b2c 100644 --- a/GAP-LEDGER.md +++ b/GAP-LEDGER.md @@ -10,7 +10,7 @@ A kind with no rows is a site the generators watch and that nothing reached in this run. It prints so that an empty class reads as a measurement rather than as a class nobody looked at. -Generated from `meos-idl.json` at MobilityDB `d64dcffecee20e939ab227a4dbf8943b551030f4` by `tools/codegen.py` +Generated from `meos-idl.json` at MobilityDB `79a66f4576902b933481883443334c67edccf607` by `tools/codegen.py` and `tools/objectgen.py`. Do not edit. @@ -911,7 +911,7 @@ and `tools/objectgen.py`. Do not edit. | geo_is_point_set | gs | | geo_is_unitary | gs | | geo_makeline_garray | gsarr | -| geo_meos_supported | gs | +| geo_meos_coverage | gs | | geo_num_geos | gs | | geo_num_points | gs | | geo_out | gs | @@ -977,7 +977,7 @@ and `tools/objectgen.py`. Do not edit. | geom_is_simple | gs | | geom_length | gs | | geom_max_distance2d | gs1, gs2 | -| geom_meos_supported | geom | +| geom_meos_coverage | geom | | geom_min_bounding_radius | geom, radius | | geom_oriented_envelope | gs | | geom_perimeter | gs | diff --git a/MEOS.NET/Functions/Meos.Native.g.cs b/MEOS.NET/Functions/Meos.Native.g.cs index fffe186..e2ad488 100644 --- a/MEOS.NET/Functions/Meos.Native.g.cs +++ b/MEOS.NET/Functions/Meos.Native.g.cs @@ -9233,9 +9233,8 @@ private static partial class Native [return: MarshalAs(UnmanagedType.U1)] internal static partial bool GeoIsPointSet(IntPtr gs); - [LibraryImport(DllPath, EntryPoint = "geo_meos_supported", StringMarshalling = StringMarshalling.Utf8)] - [return: MarshalAs(UnmanagedType.U1)] - internal static partial bool GeoMeosSupported(IntPtr gs); + [LibraryImport(DllPath, EntryPoint = "geo_meos_coverage", StringMarshalling = StringMarshalling.Utf8)] + internal static partial int GeoMeosCoverage(IntPtr gs); [LibraryImport(DllPath, EntryPoint = "geo_points_covered", StringMarshalling = StringMarshalling.Utf8)] internal static partial IntPtr GeoPointsCovered(IntPtr pts, IntPtr gs, [MarshalAs(UnmanagedType.U1)] bool covered); @@ -9276,9 +9275,8 @@ private static partial class Native [LibraryImport(DllPath, EntryPoint = "tpoint_linear_restrict_geom", StringMarshalling = StringMarshalling.Utf8)] internal static partial IntPtr TpointLinearRestrictGeom(IntPtr temp, IntPtr gs, [MarshalAs(UnmanagedType.U1)] bool atfunc); - [LibraryImport(DllPath, EntryPoint = "geom_meos_supported", StringMarshalling = StringMarshalling.Utf8)] - [return: MarshalAs(UnmanagedType.U1)] - internal static partial bool GeomMeosSupported(IntPtr geom); + [LibraryImport(DllPath, EntryPoint = "geom_meos_coverage", StringMarshalling = StringMarshalling.Utf8)] + internal static partial int GeomMeosCoverage(IntPtr geom); [LibraryImport(DllPath, EntryPoint = "stbox_nad", StringMarshalling = StringMarshalling.Utf8)] internal static partial double StboxNad(IntPtr box1, IntPtr box2); diff --git a/MEOS.NET/Functions/Meos.meos_internal_geo.g.cs b/MEOS.NET/Functions/Meos.meos_internal_geo.g.cs index 42de909..ec30694 100644 --- a/MEOS.NET/Functions/Meos.meos_internal_geo.g.cs +++ b/MEOS.NET/Functions/Meos.meos_internal_geo.g.cs @@ -267,8 +267,8 @@ public static bool GeoEveryPartBoundsArea(IntPtr gs) public static bool GeoIsPointSet(IntPtr gs) => SafeExecution(() => Native.GeoIsPointSet(gs)); - public static bool GeoMeosSupported(IntPtr gs) - => SafeExecution(() => Native.GeoMeosSupported(gs)); + public static int GeoMeosCoverage(IntPtr gs) + => SafeExecution(() => Native.GeoMeosCoverage(gs)); public static IntPtr GeoPointsCovered(IntPtr pts, IntPtr gs, bool covered) => SafeExecution(() => Native.GeoPointsCovered(pts, gs, covered)); @@ -306,8 +306,8 @@ public static IntPtr TpointLinearDistanceGeom(IntPtr temp, IntPtr gs) public static IntPtr TpointLinearRestrictGeom(IntPtr temp, IntPtr gs, bool atfunc) => SafeExecution(() => Native.TpointLinearRestrictGeom(temp, gs, atfunc)); - public static bool GeomMeosSupported(IntPtr geom) - => SafeExecution(() => Native.GeomMeosSupported(geom)); + public static int GeomMeosCoverage(IntPtr geom) + => SafeExecution(() => Native.GeomMeosCoverage(geom)); public static double StboxNad(IntPtr box1, IntPtr box2) => SafeExecution(() => Native.StboxNad(box1, box2));