Java Date 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.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
Candidate2
Not Relevant1
Not Classified0
Relevant Target6
Coverage4/6 (66.7%)
Total7

Details

VarStatusDescriptionNotes
.after🔲 candidateDate ordering predicate.isAfter covers the current PTC-Lisp spelling.
.before🔲 candidateDate ordering predicate.isBefore covers the current PTC-Lisp spelling.
.getTime✅ supportedUnix timestamp in millisecondsWorks on DateTime values.
.isAfter✅ supportedDate ordering predicateBUG GAP-J20: java.util.Date uses .after, not .isAfter; current behavior exposes a non-Java alias.
.isBefore✅ supportedDate ordering predicateBUG GAP-J20: java.util.Date uses .before, not .isBefore; current behavior exposes a non-Java alias.
.setTime❌ not_relevantMutate Date timestampMutable Java object operations are outside the sandbox model.
java.util.Date.✅ supportedConstruct DateTime valueBUG GAP-J03: numeric constructor currently treats milliseconds as seconds. BUG GAP-J06: ISO date strings are accepted by PTC-Lisp but rejected by the Java oracle. BUG GAP-J11: Java-accepted legacy date strings are rejected.