Oko
Oko/Docs

Command reference

oko defects classes join

Records a judgment that a defect recorded in other words is an instance of a class: the model's when Brama answers, the session's own when it does not.

Invocation#

Command
oko defects classes join <defect> --class CLASS --by SESSION [--json]

Inputs and options#

  • CLASS is an open class defect; <defect> is any defect that is not a class.

Output and state effect#

  • Writes the class's shape on the defect, notes `joined class <id> by <session>'s judgment; recorded first with the shape: <old shape>` (or `with no shape`), and prints `defect <short id> joined class <short id>`; --json prints `{defect, class, shape, before}`. `oko defects shape <id> --shape …` takes it out again.

Refusals and safe exits#

  • `defect <id> is not a class; `oko defects classes` lists the classes`; `class <id> is closed; reopen it with `oko defects reopen` first`; `class <id> cannot be an instance of itself`; `defect <id> is a class itself; withdraw it as recorded in error, naming class <id>, to fold it in`; `defect <id> already has the shape of class <id>`.

CLI reference#