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

Details

VarStatusDescriptionNotes
.getTime❌ not_relevantMethod belongs to java.util.Date, not InstantRemoved from Instant when class-aware temporal dispatch landed.
.isAfter✅ supportedInstant ordering predicateWorks for native Instant values only.
.isBefore✅ supportedInstant ordering predicateWorks for native Instant values only.
.toEpochMilli✅ supportedReturn Instant epoch millisecondRaises a bounded arithmetic condition when the result exceeds Java long.
Instant/now🔲 candidateCurrent instantSystem/currentTimeMillis plus java.util.Date. covers many cases.
Instant/ofEpochMilli🔲 candidateConstruct instant from epoch millisecondsjava.util.Date. accepts exact epoch milliseconds but returns a Date, not an Instant.
Instant/parse✅ supportedParse ISO-8601 instant stringAlso available as java.time.Instant/parse; parsing requires an offset.