Java Instant 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.Instant.

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

Summary

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

StatusCount
Supported4
Candidate3
Not Relevant0
Not Classified0
Relevant Target7
Coverage4/7 (57.1%)
Total7

Details

VarStatusDescriptionNotes
.getTime✅ supportedUnix timestamp in millisecondsBUG GAP-J04: Java Instant has toEpochMilli, not getTime; current behavior is a PTC convenience.
.isAfter✅ supportedInstant ordering predicateWorks for same-type Date or DateTime values.
.isBefore✅ supportedInstant ordering predicateWorks for same-type Date or DateTime values.
.toEpochMilli🔲 candidateReturn Instant epoch millisecondBUG GAP-J18: Java Instant.toEpochMilli is unsupported while .getTime is exposed.
Instant/now🔲 candidateCurrent instantSystem/currentTimeMillis plus java.util.Date. covers many cases.
Instant/ofEpochMilli🔲 candidateConstruct instant from epoch millisecondsjava.util.Date. already accepts seconds or milliseconds.
Instant/parse✅ supportedParse ISO-8601 instant stringAlso available as java.time.Instant/parse and parse. BUG GAP-J06: date-only and no-zone date-time strings are accepted instead of rejected.