org.jetbrains.kotlin.psi.KtContractEffectList.kt Maven / Gradle / Ivy
/*
* Copyright 2010-2020 JetBrains s.r.o. and Kotlin Programming Language contributors.
* Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
*/
package org.jetbrains.kotlin.psi
import com.intellij.lang.ASTNode
import org.jetbrains.kotlin.psi.stubs.KotlinPlaceHolderStub
import org.jetbrains.kotlin.psi.stubs.elements.KtStubElementTypes
class KtContractEffectList : KtElementImplStub> {
constructor(node: ASTNode) : super(node)
constructor(stub: KotlinPlaceHolderStub) : super(stub, KtStubElementTypes.CONTRACT_EFFECT_LIST)
}
fun KtContractEffectList.getExpressions(): List =
getStubOrPsiChildrenAsList(KtStubElementTypes.CONTRACT_EFFECT)
.map {
it.getExpression()
}