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
Supported2
Candidate2
Not Relevant1
Not Classified0
Relevant Target4
Coverage2/4 (50.0%)
Total5

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.
.setTime❌ not_relevantMutate Date timestampMutable Java object operations are outside the sandbox model.
java.util.Date.✅ supportedConstruct DateTime valueAccepts no arg, timestamp, ISO/RFC string, or temporal value.