cf1fdfdb24
Pivot from a jolt reimplementation to running the upstream library verbatim.
Vendors the real clojure/tools/logging.clj; jolt provides the backend and the
host primitives it needs. Language features (broadly useful for real Clojure
libs), all covered in 3-mode conformance + spec suites:
- defmacro: multi-arity dispatch (jolt-q8l) and a docstring + attr-map + params
head (jolt-qnr) — the 4-arity log macro and every level macro need these.
- syntax-quote resolves an alias-qualified symbol to its target ns (jolt-9av),
so a macro template (impl/get-logger) resolves at the use site.
- the ns macro unwraps ^{:map} metadata on the ns name (jolt-8w2 workaround,
matching def/defn/defmacro).
- a namespace object self-evaluates, so ~*ns* can be spliced into a template.
Host shims (ported from / modeled on clojure where applicable):
- clojure.string/trim-newline (ported, CharSequence interop -> count/subs)
- agent/send-off/send (minimal synchronous stubs; jolt has no thread pool/STM)
- clojure.lang.LockingTransaction/isRunning -> false
- a minimal clojure.pprint (pprint/with-pprint-dispatch/code-dispatch, for spy)
- clojure.tools.logging.impl: a jolt stderr LoggerFactory backend (the library's
designed pluggable extension point)
docs/libraries.md lists tools.logging; grammar.ebnf metadata note clarified.
Conformance 355/355 x3 modes; full jpm test gate green.
72 lines
4.8 KiB
Text
72 lines
4.8 KiB
Text
# Specification: strings (str + clojure.string).
|
|
(use ../support/harness)
|
|
|
|
(defspec "string / str & basics"
|
|
["str concat" "\"abc\"" "(str \"a\" \"b\" \"c\")"]
|
|
["str of numbers" "\"12\"" "(str 1 2)"]
|
|
["str nil is empty" "\"\"" "(str nil)"]
|
|
["str mixed" "\"a1:b\"" "(str \"a\" 1 :b)"]
|
|
["str of coll" "\"[1 2]\"" "(str [1 2])"]
|
|
["count" "3" "(count \"abc\")"]
|
|
["subs from" "\"bc\"" "(subs \"abc\" 1)"]
|
|
["subs range" "\"b\"" "(subs \"abc\" 1 2)"]
|
|
["string? true" "true" "(string? \"x\")"]
|
|
["pr-str vector" "\"[1 2 3]\"" "(pr-str [1 2 3])"]
|
|
["pr-str quotes str" "\"\\\"hi\\\"\"" "(pr-str \"hi\")"]
|
|
# a var's :meta/:ns refs are cyclic — pr-str/str render it as #'ns/name
|
|
# rather than recursing into (and looping on) the var's fields.
|
|
["pr-str of a var" "\"#'user/vv\"" "(pr-str (def vv 1))"]
|
|
["str of a var" "\"#'user/ww\"" "(str (def ww 2))"]
|
|
["pr-str of a defn" "\"#'user/gg\"" "(pr-str (defn gg [x] x))"]
|
|
["seq of string" "[\\a \\b]" "(seq \"ab\")"])
|
|
|
|
(defspec "clojure.string"
|
|
["join" "\"a,b,c\"" "(do (require (quote [clojure.string :as s])) (s/join \",\" [\"a\" \"b\" \"c\"]))"]
|
|
["join no sep" "\"abc\"" "(do (require (quote [clojure.string :as s])) (s/join [\"a\" \"b\" \"c\"]))"]
|
|
["split" "[\"a\" \"b\"]" "(do (require (quote [clojure.string :as s])) (s/split \"a,b\" #\",\"))"]
|
|
["split-lines" "[\"a\" \"b\"]" "(do (require (quote [clojure.string :as s])) (s/split-lines \"a\\nb\"))"]
|
|
["upper-case" "\"ABC\"" "(do (require (quote [clojure.string :as s])) (s/upper-case \"abc\"))"]
|
|
["lower-case" "\"abc\"" "(do (require (quote [clojure.string :as s])) (s/lower-case \"ABC\"))"]
|
|
["capitalize" "\"Abc\"" "(do (require (quote [clojure.string :as s])) (s/capitalize \"abc\"))"]
|
|
["trim" "\"x\"" "(do (require (quote [clojure.string :as s])) (s/trim \" x \"))"]
|
|
["triml" "\"x \"" "(do (require (quote [clojure.string :as s])) (s/triml \" x \"))"]
|
|
["blank? true" "true" "(do (require (quote [clojure.string :as s])) (s/blank? \" \"))"]
|
|
["blank? false" "false" "(do (require (quote [clojure.string :as s])) (s/blank? \"x\"))"]
|
|
["includes?" "true" "(do (require (quote [clojure.string :as s])) (s/includes? \"hello\" \"ell\"))"]
|
|
["starts-with?" "true" "(do (require (quote [clojure.string :as s])) (s/starts-with? \"hello\" \"he\"))"]
|
|
["ends-with?" "true" "(do (require (quote [clojure.string :as s])) (s/ends-with? \"hello\" \"lo\"))"]
|
|
["replace" "\"hexxo\"" "(do (require (quote [clojure.string :as s])) (s/replace \"hello\" \"l\" \"x\"))"]
|
|
["reverse" "\"cba\"" "(do (require (quote [clojure.string :as s])) (s/reverse \"abc\"))"]
|
|
["index-of" "2" "(do (require (quote [clojure.string :as s])) (s/index-of \"hello\" \"l\"))"])
|
|
|
|
# subs validates bounds like Clojure (no Janet from-end/clamping).
|
|
(defspec "string / subs strictness"
|
|
["subs basic" "\"bcd\"" "(subs \"abcde\" 1 4)"]
|
|
["subs to end" "\"cde\"" "(subs \"abcde\" 2)"]
|
|
["subs start>end" :throws "(subs \"abcde\" 2 1)"]
|
|
["subs negative" :throws "(subs \"abcde\" -1)"]
|
|
["subs end past len" :throws "(subs \"abcde\" 1 6)"]
|
|
["subs nil start" :throws "(subs \"abcde\" nil 2)"]
|
|
["subs on nil" :throws "(subs nil 1 2)"])
|
|
|
|
(defspec "string / namespace-munge"
|
|
["hyphens to underscores" "\"a_b_c\"" "(namespace-munge \"a-b-c\")"]
|
|
["from a symbol" "\"foo_bar\"" "(namespace-munge (quote foo-bar))"]
|
|
["no hyphens unchanged" "\"ok\"" "(namespace-munge \"ok\")"])
|
|
|
|
# (get s i) indexes a string and returns the char, like Clojure (nth already
|
|
# did; get did not — reitit's path parser relies on it).
|
|
(defspec "strings / get indexes a string"
|
|
["get returns the char" "true" "(= (get \"a:b\" 1) \\:)"]
|
|
["get first char" "\\a" "(get \"abc\" 0)"]
|
|
["get out of range nil" "nil" "(get \"abc\" 9)"]
|
|
["get negative nil" "nil" "(get \"abc\" -1)"]
|
|
["get default honored" ":none" "(get \"abc\" 9 :none)"])
|
|
|
|
# clojure.string/trim-newline (ported from clojure.string): strips trailing \n/\r.
|
|
(defspec "clojure.string / trim-newline"
|
|
["trailing newline" "\"x\"" "(do (require (quote [clojure.string :as s])) (s/trim-newline \"x\\n\"))"]
|
|
["trailing \\r\\n" "\"x\"" "(do (require (quote [clojure.string :as s])) (s/trim-newline \"x\\r\\n\"))"]
|
|
["no trailing" "\"ab\"" "(do (require (quote [clojure.string :as s])) (s/trim-newline \"ab\"))"]
|
|
["only newlines" "\"\"" "(do (require (quote [clojure.string :as s])) (s/trim-newline \"\\n\\n\"))"]
|
|
["interior kept" "\"a\\nb\"" "(do (require (quote [clojure.string :as s])) (s/trim-newline \"a\\nb\\n\"))"])
|