Skip to main content

docs/conformance/java-time-local-date-audit.md

<!-- Auto-generated — do not edit by hand -->
# Java LocalDate Audit for PTC-Lisp

> **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](../function-reference.md) | [Namespace Coverage](index.md) | [Clojure Core Audit](clojure-core-audit.md) | [Clojure String Audit](clojure-string-audit.md) | [Clojure Set Audit](clojure-set-audit.md) | [Clojure Walk Audit](clojure-walk-audit.md) | [Java Math Audit](java-math-audit.md) | [Java Boolean Audit](java-lang-boolean-audit.md) | [Java Double Audit](java-lang-double-audit.md) | [Java Float Audit](java-lang-float-audit.md) | [Java Integer Audit](java-lang-integer-audit.md) | [Java Long Audit](java-lang-long-audit.md) | [Java String Audit](java-lang-string-audit.md) | [Java System Audit](java-lang-system-audit.md) | [Java Instant Audit](java-time-instant-audit.md) | [Java Duration Audit](java-time-duration-audit.md) | [Java Period Audit](java-time-period-audit.md) | [Java Date Audit](java-util-date-audit.md)

## Summary

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

| Status | Count |
|--------|-------|
| Supported | 6 |
| Candidate | 3 |
| Not Relevant | 0 |
| Not Classified | 0 |
| Relevant Target | 9 |
| Coverage | 6/9 (66.7%) |
| **Total** | **9** |

## Details

| Var | Status | Description | Notes |
|-----|--------|-------------|-------|
| `.format` | 🔲 candidate | Format date with a formatter | Date formatting API would need a bounded formatter surface. |
| `.isAfter` | ✅ supported | Date ordering predicate | Works for same-type Date or DateTime values. |
| `.isBefore` | ✅ supported | Date ordering predicate | Works for same-type Date or DateTime values. |
| `.minusDays` | ✅ supported | Subtract days from a LocalDate | Requested in issue #1019 for date arithmetic. BUG GAP-J12: floating and NaN day counts are rejected instead of following Clojure Java interop coercion. |
| `.plusDays` | ✅ supported | Add days to a LocalDate | Requested in issue #1019 for date arithmetic. BUG GAP-J12: floating and NaN day counts are rejected instead of following Clojure Java interop coercion. |
| `.toEpochDay` | ✅ supported | Return LocalDate epoch-day integer | Requested in issue #1019 for day differences and date sorting. |
| `LocalDate/now` | 🔲 candidate | Current date | Useful, but currentTimeMillis plus parse/Date constructors cover many cases. |
| `LocalDate/of` | 🔲 candidate | Construct date from year/month/day | Useful Java idiom; vector/map construction plus parse is the current workaround. |
| `LocalDate/parse` | ✅ supported | Parse ISO-8601 date string | Also available as java.time.LocalDate/parse and parse. BUG GAP-J06: date-time strings are accepted instead of rejected. |