Name what each class's instances are a pointer to - #124
Merged
Conversation
estebanzimanyi
force-pushed
the
feat/class-ctype
branch
from
September 3, 2026 00:12
e085e8f to
1665bf5
Compare
A binding declares every wrapper in terms of the C type a class stands for, and the catalog leaves that to the binding to work out — so each carries a map of its own, and a class the model gains is one the binding cannot type until that map is edited by hand. `classes.<Class>.cType` states it instead, over the 21 C types MEOS's own signatures name. It is read from those signatures rather than listed. A receiver-role method — accessor, predicate, conversion, restriction, output — takes the value it is called on first, so the pointee of that parameter names the type, and the class's own methods answer for it. A class holding constructors alone says nothing about itself that way: the concrete `<leaf><subtype>` classes take the answer of the subtype they are a product of, `TFloatInst` reading `TInstant` from `tinstant_*`, and any other class takes its parent's, which is the same C type by construction. All 105 classes resolve one, and the nine the binding maps by hand today — `Temporal`, `TInstant`, `TSequence`, `TSequenceSet`, `Set`, `Span`, `SpanSet`, `TBox`, `STBox` — resolve to what that map says. Three tests hold the three routes: the receiver, the subtype a constructor-only class is a product of, and the parent a class with neither answers from.
estebanzimanyi
force-pushed
the
feat/class-ctype
branch
from
September 3, 2026 00:17
1665bf5 to
e3d7883
Compare
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.
A binding declares every wrapper in terms of the C type a class stands for, and
the catalog leaves that to the binding to work out — so each carries a map of
its own, and a class the model gains is one the binding cannot type until that
map is edited by hand.
classes.<Class>.cTypestates it instead, over the 21 Ctypes MEOS's own signatures name.
It is read from those signatures rather than listed. A receiver-role method —
accessor, predicate, conversion, restriction, output — takes the value it is
called on first, so the pointee of that parameter names the type, and the
class's own methods answer for it. A class holding constructors alone says
nothing about itself that way: the concrete
<leaf><subtype>classes take theanswer of the subtype they are a product of,
TFloatInstreadingTInstantfrom
tinstant_*, and any other class takes its parent's, which is the same Ctype by construction. All 105 classes resolve one, and the nine the binding maps
by hand today —
Temporal,TInstant,TSequence,TSequenceSet,Set,Span,SpanSet,TBox,STBox— resolve to what that map says.Three tests hold the three routes: the receiver, the subtype a constructor-only
class is a product of, and the parent a class with neither answers from.
Stacks on #123.