Warning: This file is auto-generated by
mix ptc.gen_docsfrompriv/java_compat_audit.exs. Manual edits will be overwritten. Editpriv/java_compat_audit.exsinstead.
Curated LLM-compatibility target for java.lang.String methods.
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 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).
| Status | Count |
|---|---|
| Supported | 9 |
| Candidate | 4 |
| Not Relevant | 2 |
| Not Classified | 0 |
| Relevant Target | 13 |
| Coverage | 9/13 (69.2%) |
| Total | 15 |
Details
| Var | Status | Description | Notes |
|---|---|---|---|
.charAt | 🔲 candidate | Return character at index | Potentially useful, but PTC-Lisp must define grapheme semantics. |
.contains | ✅ supported | Substring containment | DIV-40: character literals are accepted as arguments (PTC-Lisp has no Character type). DIV-41: character-literal receivers behave as one-character strings |
.endsWith | ✅ supported | Suffix test | DIV-40: character literals are accepted as arguments (PTC-Lisp has no Character type). DIV-41: character-literal receivers behave as one-character strings |
.equalsIgnoreCase | 🔲 candidate | Case-insensitive string equality | Common Java idiom in generated code. |
.getBytes | ❌ not_relevant | Encode string to bytes | Byte arrays and charsets are outside the sandbox data model. |
.indexOf | ✅ supported | First substring index | BUG GAP-J05: integer character-code overloads are unsupported. BUG GAP-J09: non-BMP offsets are grapheme-based instead of Java UTF-16 code-unit based. DIV-41: character-literal receivers behave as one-character strings (PTC-Lisp has no Character type) |
.intern | ❌ not_relevant | Intern a Java string | JVM string pool operation; not meaningful on BEAM. |
.isEmpty | 🔲 candidate | Return true for empty string | empty? covers the common PTC-Lisp need. |
.lastIndexOf | ✅ supported | Last substring index | BUG GAP-J05: substring/from-index and integer character-code overloads are unsupported. BUG GAP-J09: non-BMP offsets are grapheme-based instead of Java UTF-16 code-unit based. DIV-41: character-literal receivers behave as one-character strings (PTC-Lisp has no Character type) |
.length | ✅ supported | String length | BUG GAP-J09: non-BMP length is grapheme-based instead of Java UTF-16 code-unit based. DIV-41: character-literal receivers behave as one-character strings (PTC-Lisp has no Character type) |
.startsWith | ✅ supported | Prefix test | BUG GAP-J05: prefix/offset overload is unsupported. DIV-40: character literals are accepted as arguments (PTC-Lisp has no Character type). DIV-41: character-literal receivers behave as one-character strings |
.substring | ✅ supported | Extract substring | BUG GAP-J09: non-BMP indexes are grapheme-based instead of Java UTF-16 code-unit based. DIV-41: character-literal receivers behave as one-character strings (PTC-Lisp has no Character type) |
.toLowerCase | ✅ supported | Lowercase string | DIV-41: character-literal receivers behave as one-character strings (PTC-Lisp has no Character type) |
.toUpperCase | ✅ supported | Uppercase string | DIV-41: character-literal receivers behave as one-character strings (PTC-Lisp has no Character type) |
.trim | 🔲 candidate | Trim leading and trailing whitespace | Common LLM spelling; clojure.string/trim is not currently implemented. |