org.jetbrains.kotlin.contracts.description.KtPredicates.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of kotlin-compiler Show documentation

the Kotlin compiler

There is a newer version: 2.1.0-RC

/*
 * Copyright 2010-2023 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.contracts.description

open class KtIsInstancePredicate(val arg: KtValueParameterReference, val type: Type, val isNegated: Boolean) :
    KtBooleanExpression {
    override val erroneous: Boolean
        get() = arg.erroneous

    override fun  accept(contractDescriptionVisitor: KtContractDescriptionVisitor, data: D): R =
        contractDescriptionVisitor.visitIsInstancePredicate(this, data)

    fun negated(): KtIsInstancePredicate =
        KtIsInstancePredicate(arg, type, isNegated.not())
}

class KtErroneousIsInstancePredicate(
    arg: KtValueParameterReference,
    type: Type,
    isNegated: Boolean,
    val diagnostic: Diagnostic
) : KtIsInstancePredicate(arg, type, isNegated) {
    override val erroneous: Boolean
        get() = true

    override fun  accept(contractDescriptionVisitor: KtContractDescriptionVisitor, data: D): R =
        contractDescriptionVisitor.visitErroneousIsInstancePredicate(this, data)
}

class KtIsNullPredicate(val arg: KtValueParameterReference, val isNegated: Boolean) :
    KtBooleanExpression {
    override val erroneous: Boolean
        get() = arg.erroneous

    override fun  accept(contractDescriptionVisitor: KtContractDescriptionVisitor, data: D): R =
        contractDescriptionVisitor.visitIsNullPredicate(this, data)

    fun negated(): KtIsNullPredicate =
        KtIsNullPredicate(arg, isNegated.not())
}