Skip to content

State the trgeometry scope of the third restrict verb - #115

Merged
estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:fix/rgeo-delete-type-scope
Sep 2, 2026
Merged

State the trgeometry scope of the third restrict verb#115
estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:fix/rgeo-delete-type-scope

Conversation

@estebanzimanyi

Copy link
Copy Markdown
Member

meta/type-scope.json declares atTime and minusTime for trgeometry over all
three time types. deleteTime is the third verb of that trio and takes the
same three, so its three functions are declared beside them.

Each reads its scope from the validity check its body states, and that check
names the time argument — the span, the set or the span set being deleted —
rather than the temporal type the function serves. A signature is kept when
the scope covers one of its arguments, so naming the time type keeps every
temporal operand its wrapper declares: trgeometry_delete_tstzset answered for
a tbigint as readily as for a trgeometry.

The three carry one signature each after the declaration, and the catalog
moves in those three functions and nowhere else. Their sibling
trgeometry_delete_timestamptz already reads trgeometry and is unchanged.

meta/type-scope.json declares atTime and minusTime for trgeometry over all
three time types. deleteTime is the third verb of that trio and takes the
same three, so its three functions are declared beside them.

Each reads its scope from the validity check its body states, and that check
names the time argument — the span, the set or the span set being deleted —
rather than the temporal type the function serves. A signature is kept when
the scope covers one of its arguments, so naming the time type keeps every
temporal operand its wrapper declares: trgeometry_delete_tstzset answered for
a tbigint as readily as for a trgeometry.

The three carry one signature each after the declaration, and the catalog
moves in those three functions and nowhere else. Their sibling
trgeometry_delete_timestamptz already reads trgeometry and is unchanged.
@estebanzimanyi
estebanzimanyi merged commit de48bef into MobilityDB:master Sep 2, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant