it.unibo.collektive.frontend.MissingAlignExtension.kt Maven / Gradle / Ivy

Go to download

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

A Kotlin compiler plugin performing transparent aggregate alignment

The newest version!

package it.unibo.collektive.frontend

import it.unibo.collektive.frontend.checkers.ExplicitAlignDealign
import it.unibo.collektive.frontend.checkers.NoAlignInsideLoop
import org.jetbrains.kotlin.fir.FirSession
import org.jetbrains.kotlin.fir.analysis.checkers.expression.ExpressionCheckers
import org.jetbrains.kotlin.fir.analysis.checkers.expression.FirFunctionCallChecker
import org.jetbrains.kotlin.fir.analysis.extensions.FirAdditionalCheckersExtension

/**
 * Extension that adds a series of checkers that looks for missing align operations within the Collektive DSL.
 */
class MissingAlignExtension(session: FirSession) : FirAdditionalCheckersExtension(session) {
    override val expressionCheckers: ExpressionCheckers = object : ExpressionCheckers() {
        override val functionCallCheckers: Set
            get() = setOf(NoAlignInsideLoop, ExplicitAlignDealign)
    }
}