Java Date Audit for PTC-Lisp

Copy Markdown View Source

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

Curated LLM-compatibility target for java.util.Date.

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 LocalDate Audit | Java Instant Audit | Java Duration Audit | Java Period Audit

Summary

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

StatusCount
Supported4
Candidate0
Not Relevant3
Not Classified0
Relevant Target4
Coverage4/4 (100.0%)
Total7

Details

VarStatusDescriptionNotes
.after✅ supportedDate ordering predicateClass-owned java.util.Date comparison.
.before✅ supportedDate ordering predicateClass-owned java.util.Date comparison.
.getTime✅ supportedExact epoch timestamp in millisecondsWorks only on native java.util.Date values.
.isAfter❌ not_relevantMethod belongs to java.time classes, not java.util.DateRemoved from Date when class-aware temporal dispatch landed.
.isBefore❌ not_relevantMethod belongs to java.time classes, not java.util.DateRemoved from Date when class-aware temporal dispatch landed.
.setTime❌ not_relevantMutate Date timestampMutable Java object operations are outside the sandbox model.
java.util.Date.✅ supportedConstruct a legacy Date valueNumeric input is exact epoch milliseconds. DIV-51: string input uses a deterministic bounded legacy English grammar, admits dates on or after 1582-10-15, and uses UTC when no zone is present.