State trgeometry as a reference geometry and a temporal pose in the type registry - #172
Merged
estebanzimanyi merged 1 commit intoOct 4, 2026
Conversation
…ype registry The temporal role of the type registry names every temporal type whose instants store a value of the base, the inverse of temptype_basetype in MEOS_RELTYPE_CATALOG: the instants of tgeompoint and tgeometry store a geometry, and those of tpose and trgeometry a pose. A trgeometry is not Temporal<pose>: it is the concatenation of a reference geometry and a temporal pose, each instant storing the pose that places the geometry, so its value at an instant is a geometry while getValue reads the stored pose. The module documentation, the comment beside the inversion and the invariants of docs/cross-repo-handoff.md state the role and the type this way; the registry and its consumers, the JMEOS object layer typing getValue over trgeometry as a pose among them, are unchanged. Witness: tests/test_typerelations.py passes its 7 tests over MobilityDB master f9c15d092a, the one reading the live catalog included.
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
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 temporal role of the type registry names every temporal type whose instants store a value of
the base, the inverse of temptype_basetype in MEOS_RELTYPE_CATALOG: the instants of tgeompoint and
tgeometry store a geometry, and those of tpose and trgeometry a pose. A trgeometry is not
Temporal: it is the concatenation of a reference geometry and a temporal pose, each instant
storing the pose that places the geometry, so its value at an instant is a geometry while getValue
reads the stored pose. The module documentation, the comment beside the inversion and the
invariants of docs/cross-repo-handoff.md state the role and the type this way; the registry and
its consumers, the JMEOS object layer typing getValue over trgeometry as a pose among them, are
unchanged.
Witness: tests/test_typerelations.py passes its 7 tests over MobilityDB master f9c15d092a, the
one reading the live catalog included.