TypeScope¶

@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface TypeScope : KaScopeKind

Represents a KaScope for a type, which includes synthetic Java properties of that type.

Inheritors¶

TypeScope

Properties¶

indexInTower¶

abstract val indexInTower: Int

An index in the scope tower. The lower the index, the closer the scope is to the context position.

Example

fun f(a: A, b: B) {      // local scope:       indexInTower = 2
    with(a) {            // type scope for A:  indexInTower = 1
        with(b) {        // type scope for B:  indexInTower = 0
            <caret>
        }
    }
}