DrRataplan / xq-lsp / 26341894530

93%

Build Type

push

github

Committed by DrRataplan

Commit Message

refactor: replace flat atomic subtype table with full XPath 3.1 type hierarchy

Replaces the hand-rolled ATOMIC_SUBTYPES reverse-lookup map with a proper
parent-pointer table (ATOMIC_TYPE_PARENT) covering the complete XSD built-in
type hierarchy as specified by XPath/XQuery 3.1:

- Full xs:decimal integer subtypes: long, int, short, byte,
  nonPositiveInteger, negativeInteger, nonNegativeInteger, positiveInteger,
  unsignedLong/Int/Short/Byte
- Full xs:string subtypes: normalizedString → token → language/NMTOKEN/Name →
  NCName → ID/IDREF/ENTITY
- xs:duration subtypes: yearMonthDuration, dayTimeDuration
- xs:dateTimeStamp (XSD 1.1 / XPath 3.1) as subtype of xs:dateTime

isAtomicSubtype now walks the parent chain transitively, so deep subtypes
(e.g. xs:byte → xs:integer → xs:decimal → xs:anyAtomicType) work correctly
without listing every ancestor explicitly.

xs:numeric handled as a union type (decimal|float|double) via a special
branch rather than a fake parent pointer.

Type promotion rules (XPath 3.1 §3.1.5) moved to a dedicated ATOMIC_PROMOTION
table and applied after subtype-chain walk: anyURI→string, float→double,
decimal→float (and transitively decimal→double via float).

https://claude.ai/code/session_01C6PXouZsxmXuHbM9ELaaLH

Coverage Stats

672 of 811 branches covered (82.86%)

Branch coverage included in aggregate %.

86 of 86 new or added lines in 1 file covered. (100.0%)

2 existing lines in 1 file now uncovered.

2420 of 2504 relevant lines covered (96.65%)

442148.7 hits per line