MeDiVa
DocsReference

code

A fenced code block. `codeFenceClosed` catches a fence the model left open. Close with `endcode`.

Leaf tag · open <!-- mdv: code … --> · close <!-- mdv: endcode -->

<!-- mdv: code codeFenceClosed -->
```sh
./pull-telemetry.sh --sector 7 --since last-jump
```
<!-- mdv: endcode -->

Props

PropSyntaxCategoryDescription
lang.oneoflang.oneof=<option>codeChecks the fenced code block's info-string language is one of an allowed set.
langlang=<option>codeChecks the fenced code block's info-string language. lang=ts requires it to be exactly ts; lang=required requires any language to be present (rejects a bare ``` fence with no language).
codeFenceClosedcodeFenceClosedcodeChecks that fenced code is closed correctly; targets a code leaf construct.

Prop details

lang.oneof

Checks the fenced code block's info-string language is one of an allowed set.

lang.oneof=<option> · category: code · status: stable · src/rules/code/lang-oneof.ts

<!-- mdv: code lang.oneof=ts,js,py -->
```ts
export const roverTelemetryLinked = true;
```
<!-- mdv: endcode -->

lang

Checks the fenced code block's info-string language. lang=ts requires it to be exactly ts; lang=required requires any language to be present (rejects a bare ``` fence with no language).

lang=<option> · category: code · status: stable · src/rules/code/lang.ts

<!-- mdv: code lang=ts -->
```ts
export const missionLogSealed = true;
```
<!-- mdv: endcode -->

codeFenceClosed

Checks that fenced code is closed correctly; targets a code leaf construct.

codeFenceClosed · category: code · status: stable · src/rules/content/code-fence-closed.ts

<!-- mdv: code codeFenceClosed -->
```ts
validate(starshipMissionLog)
```
<!-- mdv: endcode -->

On this page