Oko
Oko/Docs

Command reference

oko defects classes instruction

Checks that a supervisor's instruction about one instance of a class names the class, the check `oko sessions send --defect` makes before anything is typed.

Invocation#

Command
oko defects classes instruction <defect> --text TEXT [--json]

Inputs and options#

  • The class, open or closed, is named by its identifier, whole or as the CLI prints it. While no class ever held a shape at the level, the shape's words name it. A defect no class governs passes.

Output and state effect#

  • Prints `the instruction about <defect> names its class, or no class governs it`; --json prints `{defect, names: true}`.

Refusals and safe exits#

  • `defect <id> is an instance of class <short id> ("<shape>"), and an instruction about one instance names its class: write <short id> in the instruction, or direct the session to the class with --defect <short id>`.
  • `defect <id> is one of <n> open defects of the shape "<shape>" and no class holds them: open it with `oko defects classes open --shape "<shape>" --by <session>` and name the class in the instruction`.

CLI reference#