Java Double 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.lang.Double.

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

Summary

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

StatusCount
Supported4
Candidate3
Not Relevant1
Not Classified0
Relevant Target7
Coverage4/7 (57.1%)
Total8

Details

VarStatusDescriptionNotes
Double/NEGATIVE_INFINITY✅ supportedNegative infinity constant
Double/NaN✅ supportedNaN constant
Double/POSITIVE_INFINITY✅ supportedPositive infinity constant
Double/isInfinite🔲 candidateReturn true if value is infiniteCommon guard around parsed floating data.
Double/isNaN🔲 candidateReturn true if value is NaNCommon guard around parsed floating data.
Double/parseDouble✅ supportedParse string to doubleBUG GAP-J01: currently aliases parse-double, returns nil on invalid input, and rejects surrounding whitespace that Java accepts.
Double/valueOf🔲 candidateParse or box a double valueparse-double covers string parsing; boxing is not relevant.
doubleValue❌ not_relevantUnbox a Double objectPTC-Lisp has one numeric value model, not boxed Java numbers.