get

Dokka 2.2.0 generates this reference during each site build from the Kotlin sources. The guide shows the extensions in use, the Java API reference covers the types they extend, and the spec builder's reference covers dev.gecode.iris.kotlin.build.

operator fun Value.get(vararg path: Int): Value

Follows indices into this value, as in data["grid"][1, 2].

A single index needs no extension: Kotlin calls Value.get, and Data.get for a name, as operators.

Throws

IllegalStateException

if a level is not an array

IndexOutOfBoundsException

if an index is out of range