(-main model-path cfg-path tlc-result-handler-str namespaces-str cli-opts-str)(classes-loaded?)(compile-operators ns)ns is a symbol (e.g 'my-ns.core).
Does not compile if all classes are already loaded.
`ns` is a symbol (e.g 'my-ns.core). Does not compile if all classes are already loaded.
(defop
name
{:keys [:module :identifier :warn :prefix] :or {warn true prefix ""} :as opts}
doc-string?
attr-map?
[params*]
prepost-map?
body)Generates a class and a function which should be used to override a TLA+ operator.
Generates a class and a function which should be used to override a TLA+ operator.
(get-class-non-final-static-fields klass)(reset-tlc-state!)Reset TLC to clean state using TLC's native comprehensive reset mechanism. This handles all global/static state including operator caches, parser state, model values, thread-local RNG, and more.
Reset TLC to clean state using TLC's native comprehensive reset mechanism. This handles all global/static state including operator caches, parser state, model values, thread-local RNG, and more.
(run model-path cfg-path)(run model-path cfg-path cli-opts)(run model-path
cfg-path
cli-opts
{:keys [:tlc-result-handler :complete-response? :loaded-classes :raw-args]
:or {loaded-classes (vals (clojure.core/deref classes-to-be-loaded))}})Like run-spec, but starts a new JVM and runs TLC from there.
If you use it, :tlc-result-handler should be a var of a function which
receives one argument.
Like `run-spec`, but starts a new JVM and runs TLC from there. If you use it, `:tlc-result-handler` should be a var of a function which receives one argument.
(run-spec model-path cfg-path)(run-spec model-path cfg-path cli-opts)(run-spec model-path cfg-path cli-opts {:keys [:run?] :or {run? true}})(run-spec-isolated model-path cfg-path)(run-spec-isolated model-path cfg-path cli-opts)(run-spec-isolated model-path
cfg-path
cli-opts
{:keys [loaded-classes]
:or {loaded-classes (vals (clojure.core/deref
classes-to-be-loaded))}})Run TLC in a fully isolated class loader. This creates a fresh environment for each run, avoiding all module caching issues. Returns {:exit-code int :output string :error string}
Options:
Run TLC in a fully isolated class loader.
This creates a fresh environment for each run, avoiding all module caching issues.
Returns {:exit-code int :output string :error string}
Options:
- :loaded-classes - seq of namespace strings for operator overridescljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |