State the codec each Spark value travels in, a box's among them - #60
Merged
estebanzimanyi merged 1 commit intoSep 28, 2026
Merged
Conversation
The generated surface carries a value in the codec the MEOS catalog states for its type: temporal values, spans, span sets, sets, boxes, circular buffers, network points and poses as their WKB bytes, read as well from their hex-WKB text and, for a type with a generic text reader, from their text form; geometries as EWKT, read from WKT or EWKT; network segments and JSON as their text form. The README states that rule, and values_travel_as_wkb_and_hex_wkb_stays_readable reads a box back as byte[], writes it out as its text, and answers hasZ over its text literal. Witness. The box check fails on the generator of JMEOS 04e0a71e, whose boxes travel as text: a box travels as WKB, got class java.lang.String. Measured. Against JMEOS main e47aa744, the catalog and libmeos of MobilityDB 438528db44 with MEOS-API 20efba81be and the jar JMEOS builds from them, the suite runs 21 tests, all passing. Why. The README and the test state the form each value takes, so the codec the catalog decides reaches the suite and the reader of the binding alike.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The generated surface carries a value in the codec the MEOS catalog states for its type:
temporal values, spans, span sets, sets, boxes, circular buffers, network points and poses as
their WKB bytes, read as well from their hex-WKB text and, for a type with a generic text
reader, from their text form; geometries as EWKT, read from WKT or EWKT; network segments and
JSON as their text form. The README states that rule, and
values_travel_as_wkb_and_hex_wkb_stays_readable reads a box back as byte[], writes it out as
its text, and answers hasZ over its text literal.
Witness. The box check fails on the generator of JMEOS 04e0a71e, whose boxes travel as text:
a box travels as WKB, got class java.lang.String.
Measured. Against JMEOS main e47aa744, the catalog and libmeos of MobilityDB 438528db44 with
MEOS-API 20efba81be and the jar JMEOS builds from them, the suite runs 21 tests, all passing.
Why. The README and the test state the form each value takes, so the codec the catalog
decides reaches the suite and the reader of the binding alike.