Java LocalDate Audit for PTC-Lisp

Copy Markdown View Source

Warning: This file is auto-generated by mix ptc.gen_docs from priv/java_compat_audit.exs. Manual edits will be overwritten. Edit priv/java_compat_audit.exs instead.

Curated LLM-compatibility target for java.time.LocalDate.

See also: Function Reference | Namespace Coverage | Clojure Core Audit | Clojure String Audit | Clojure Set Audit | Clojure Walk Audit | Java Math Audit | Java Boolean Audit | Java Double Audit | Java Float Audit | Java Integer Audit | Java Long Audit | Java String Audit | Java System Audit | Java Instant Audit | Java Duration Audit | Java Period Audit | Java Date Audit

Summary

Coverage excludes not_relevant entries: supported / (supported + candidate + not_classified).

StatusCount
Supported6
Candidate3
Not Relevant0
Not Classified0
Relevant Target9
Coverage6/9 (66.7%)
Total9

Details

VarStatusDescriptionNotes
.format🔲 candidateFormat date with a formatterDate formatting API would need a bounded formatter surface.
.isAfter✅ supportedDate ordering predicateWorks for same-type Date or DateTime values.
.isBefore✅ supportedDate ordering predicateWorks for same-type Date or DateTime values.
.minusDays✅ supportedSubtract days from a LocalDateRequested in issue #1019 for date arithmetic.
.plusDays✅ supportedAdd days to a LocalDateRequested in issue #1019 for date arithmetic.
.toEpochDay✅ supportedReturn LocalDate epoch-day integerRequested in issue #1019 for day differences and date sorting.
LocalDate/now🔲 candidateCurrent dateUseful, but currentTimeMillis plus parse/Date constructors cover many cases.
LocalDate/of🔲 candidateConstruct date from year/month/dayUseful Java idiom; vector/map construction plus parse is the current workaround.
LocalDate/parse✅ supportedParse ISO-8601 date stringAlso available as java.time.LocalDate/parse and parse.