org.jetbrains.kotlin.analysis.api.contracts.description.booleans¶
Types¶
KaContractBinaryLogicExpression¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaContractBinaryLogicExpression : KaContractBooleanExpression
KaContractBooleanConstantExpression¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaContractBooleanConstantExpression : KaContractBooleanExpression
Represents boolean constant reference. The boolean constant can be passed to booleanExpression argument of kotlin.contracts.SimpleEffect.implies.
KaContractBooleanExpression¶
sealed interface KaContractBooleanExpression : KaLifetimeOwner
Represents booleanExpression argument of kotlin.contracts.SimpleEffect.implies.
KaContractBooleanValueParameterExpression¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaContractBooleanValueParameterExpression : KaContractBooleanExpression
Represents boolean parameter reference passed to booleanExpression argument of kotlin.contracts.SimpleEffect.implies.
KaContractIsInstancePredicateExpression¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaContractIsInstancePredicateExpression : KaContractBooleanExpression
KaContractIsNullPredicateExpression¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaContractIsNullPredicateExpression : KaContractBooleanExpression
KaContractLogicalNotExpression¶
@SubclassOptInRequired(markerClass = [KaImplementationDetail::class])
interface KaContractLogicalNotExpression : KaContractBooleanExpression