/*
 * Copyright 2020 the original author or authors.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package org.gradle.internal.cc.impl.problems

import com.google.common.annotations.VisibleForTesting
import com.google.common.collect.Sets.newConcurrentHashSet
import org.gradle.api.Task
import org.gradle.api.internal.TaskInternal
import org.gradle.api.internal.project.taskfactory.TaskIdentity
import org.gradle.api.logging.Logging
import org.gradle.api.problems.ProblemGroup
import org.gradle.api.problems.ProblemSpec
import org.gradle.api.problems.internal.GradleCoreProblemGroup
import org.gradle.api.problems.internal.ProblemsInternal
import org.gradle.api.problems.internal.PropertyTraceDataSpec
import org.gradle.initialization.RootBuildLifecycleListener
import org.gradle.internal.build.BuildStateRegistry
import org.gradle.internal.cc.base.exceptions.ConfigurationCacheError
import org.gradle.internal.cc.base.exceptions.ConfigurationCacheThrowable
import org.gradle.internal.cc.base.problems.AbstractProblemsListener
import org.gradle.internal.cc.impl.ConfigurationCacheAction
import org.gradle.internal.cc.impl.ConfigurationCacheAction.Load
import org.gradle.internal.cc.impl.ConfigurationCacheAction.SkipStore
import org.gradle.internal.cc.impl.ConfigurationCacheAction.Store
import org.gradle.internal.cc.impl.ConfigurationCacheAction.Update
import org.gradle.internal.cc.impl.ConfigurationCacheKey
import org.gradle.internal.cc.impl.ConfigurationCacheProblemsException
import org.gradle.internal.cc.impl.DefaultConfigurationCacheDegradationController
import org.gradle.internal.cc.impl.TooManyConfigurationCacheProblemsException
import org.gradle.internal.cc.impl.initialization.ConfigurationCacheStartParameter
import org.gradle.internal.cc.operations.emitConfigurationCacheEntryOutcomeOperation
import org.gradle.internal.configuration.problems.CommonReport
import org.gradle.internal.configuration.problems.DocumentationSection
import org.gradle.internal.configuration.problems.IsolatedProjectsProblemsListener
import org.gradle.internal.configuration.problems.ProblemFactory
import org.gradle.internal.configuration.problems.ProblemReportDetails
import org.gradle.internal.configuration.problems.ProblemReportDetailsJsonSource
import org.gradle.internal.configuration.problems.ProblemsListener
import org.gradle.internal.configuration.problems.PropertyProblem
import org.gradle.internal.configuration.problems.PropertyTrace
import org.gradle.internal.configuration.problems.StructuredMessage
import org.gradle.internal.configuration.problems.StructuredMessageBuilder
import org.gradle.internal.deprecation.DeprecationMessageBuilder
import org.gradle.internal.deprecation.Documentation
import org.gradle.internal.event.ListenerManager
import org.gradle.internal.extensions.stdlib.maybeUnwrapInvocationTargetException
import org.gradle.internal.operations.BuildOperationRunner
import org.gradle.internal.problems.failure.FailureFactory
import org.gradle.internal.service.scopes.Scope
import org.gradle.internal.service.scopes.ServiceScope
import org.gradle.operations.configuration.ConfigurationCacheEntryOutcomeBuildOperationType.Outcome
import org.gradle.problems.buildtree.ProblemReporter
import org.gradle.problems.buildtree.ProblemReporter.ProblemConsumer
import java.io.File
import java.io.IOException


/**
 * Warning shown when the Isolated Projects "dangerously ignore problems" mode is enabled (see
 * [org.gradle.internal.buildtree.BuildModelParameters.isIsolatedProjectsDangerouslyIgnoreProblems]).
 * Rendered as a console banner at the start and end of every such build, and joined with spaces
 * as the message of the Problem reported through the Problems API.
 */
private
val isolatedProjectsDangerouslyIgnoreProblemsSentences = listOf(
    "Isolated Projects dangerously-ignore-problems is ENABLED.",
    "Isolated Projects violations are being ignored.",
    "Build outputs may be incorrect and the build may crash unexpectedly.",
    "Use this only to evaluate performance.",
    "Do not use this to produce artifacts."
)

val configurationCacheWarnModeSentences = listOf(
    "Configuration Cache warn mode is ENABLED.",
    "Configuration Cache constraint violations are being ignored.",
    "Build outputs may be incorrect and the build may crash unexpectedly.",
    "Use this only to discover configuration cache incompatibilities.",
    "Do not use this to produce artifacts."
)


private
val isolatedProjectsDangerouslyIgnoreProblemsDocumentation =
    Documentation.userManual("isolated_projects", "sec:dangerously_ignore_problems")


private
fun isolatedProjectsDangerouslyIgnoreProblemsBanner(): String {
    val lines = isolatedProjectsDangerouslyIgnoreProblemsSentences +
        "See ${isolatedProjectsDangerouslyIgnoreProblemsDocumentation.url}"
    val fence = "=".repeat(lines.maxOf { it.length })
    return (listOf("", fence) + lines + listOf(fence, "")).joinToString("\n", prefix = "\n", postfix = "\n")
}


@ServiceScope(Scope.BuildTree::class)
internal
class ConfigurationCacheProblems(

    private
    val startParameter: ConfigurationCacheStartParameter,

    private
    val report: CommonReport,

    private
    val cacheKey: ConfigurationCacheKey,

    private
    val listenerManager: ListenerManager,

    private
    val problemsService: ProblemsInternal,

    private
    val problemFactory: ProblemFactory,

    private
    val failureFactory: FailureFactory,

    private
    val buildStateRegistry: BuildStateRegistry,

    private
    val degradationController: DefaultConfigurationCacheDegradationController,

    private
    val buildOperationRunner: BuildOperationRunner
) : AbstractProblemsListener(), IsolatedProjectsProblemsListener, ProblemReporter, AutoCloseable {

    private
    val summarizer = ConfigurationCacheProblemsSummary()

    private
    val postBuildHandler = PostBuildProblemsHandler()

    private
    val isWarningMode: Boolean = startParameter.isWarningMode

    private
    val isIsolatedProjectsDiagnostics: Boolean = startParameter.isIsolatedProjectsDiagnostics

    private
    val isIsolatedProjectsDangerouslyIgnoreProblems: Boolean = startParameter.isIsolatedProjectsDangerouslyIgnoreProblems

    private
    var seenSerializationErrorOnStore = false

    private
    var reusedProjects = 0

    private
    var updatedProjects = 0

    private
    val incompatibleTasks = newConcurrentHashSet<PropertyTrace>()

    private
    lateinit var cacheAction: ConfigurationCacheAction

    private
    lateinit var cacheActionDescription: StructuredMessage

    private
    val degradationDecision: DefaultConfigurationCacheDegradationController.DegradationDecision
        get() = degradationController.degradationDecision

    val shouldDiscardEntry: Boolean
        get() {
            // skipping store means there is no entry to be discarded
            require(cacheAction != SkipStore)
            if (cacheAction is Load) {
                return false
            }
            if (seenSerializationErrorOnStore) {
                return true
            }
            val summary = summarizer.get()
            return discardStateDueToProblems(summary) || hasTooManyProblems(summary)
        }

    init {
        listenerManager.addListener(postBuildHandler)
    }

    override fun close() {
        listenerManager.removeListener(postBuildHandler)
    }

    fun action(action: ConfigurationCacheAction, actionDescription: StructuredMessage) {
        cacheAction = action
        cacheActionDescription = actionDescription
    }

    fun onStoreSerializationError() {
        seenSerializationErrorOnStore = true
    }

    fun projectStateStats(reusedProjects: Int, updatedProjects: Int) {
        this.reusedProjects = reusedProjects
        this.updatedProjects = updatedProjects
    }

    override fun onError(trace: PropertyTrace, error: Exception, message: StructuredMessageBuilder) {
        // Let IO and configuration cache exceptions surface to the top.
        if (error is IOException || error is ConfigurationCacheThrowable) {
            throw error
        }

        val wrappedMessage = StructuredMessage.build(message)
        val originalError = error.maybeUnwrapInvocationTargetException()
        val wrappedError = ConfigurationCacheError(
            // TODO: the message is not precise, since some errors can happen during load
            "Configuration cache state could not be cached: $trace: ${wrappedMessage.render()}",
            originalError
        )
        val problem = PropertyProblem(trace, wrappedMessage, wrappedError, failureFactory.create(originalError))
        onProblem(problem, ProblemSeverity.Interrupting)
    }

    override fun onExecutionTimeProblem(problem: PropertyProblem) {
        val severity = when {
            isWarningMode -> ProblemSeverity.Deferred
            cacheAction == SkipStore || degradationDecision.shouldDegrade -> ProblemSeverity.SuppressedSilently
            else -> ProblemSeverity.Interrupting
        }
        onProblem(problem, severity)
    }

    override fun forIncompatibleTask(trace: PropertyTrace, reason: String): ProblemsListener {
        onIncompatibleTask(trace, reason)
        return ErrorsAreProblemsProblemsListener(ProblemSeverity.Suppressed)
    }

    override fun forTask(task: Task): ProblemsListener {
        val degradationReasons = degradationDecision.degradationReasonForTask(task.identity)
        return if (!degradationReasons.isNullOrEmpty()) {
            onIncompatibleTask(
                locationForTask(task.identity),
                degradationReasons.joinToString()
            )
            ErrorsAreProblemsProblemsListener(ProblemSeverity.SuppressedSilently)
        } else this
    }

    fun shouldDegradeGracefully(): Boolean = degradationDecision.shouldDegrade

    private
    val Task.identity: TaskIdentity<*>
        get() = (this as TaskInternal).taskIdentity

    private
    fun onIncompatibleTask(trace: PropertyTrace, reason: String) {
        val notSeenBefore = incompatibleTasks.add(trace)
        if (notSeenBefore) {
            // this method is invoked whenever a problem listener is needed in the context of an incompatible task,
            // report the incompatible task itself the first time only
            reportIncompatibleTask(trace, reason)
        }
    }

    private
    fun reportIncompatibleTask(trace: PropertyTrace, reason: String) {
        val problem = problemFactory
            .problem {
                message(trace.containingUserCodeMessage)
                text(" is incompatible with the configuration cache. Reason: $reason.")
            }
            .mapLocation {
                trace
            }
            .documentationSection(DocumentationSection.TaskOptOut).build()
        report.onIncompatibleTask(problem)
        summarizer.onIncompatibleTask()
    }

    override fun onIsolatedProjectsProblem(problem: PropertyProblem) {
        // IP severity is governed only by IP settings, independent of the CC `--configuration-cache-problems` flag.
        val severity = when {
            // "Dangerously ignore problems" mode: keep going past IP violations so the build can be
            // timed, and succeed the build at the end even with these violations.
            isIsolatedProjectsDangerouslyIgnoreProblems -> ProblemSeverity.Suppressed
            // Diagnostics mode runs project configuration sequentially to collect every violation deterministically.
            isIsolatedProjectsDiagnostics -> ProblemSeverity.Deferred
            // Default (optimistic-parallel) mode: fail fast so user code does not run against unreliable state.
            else -> ProblemSeverity.Interrupting
        }
        onProblem(problem, severity, forIsolatedProjects = true)
    }

    override fun onProblem(problem: PropertyProblem) {
        onProblem(problem, ProblemSeverity.Deferred)
    }

    private
    fun onProblem(problem: PropertyProblem, severity: ProblemSeverity, forIsolatedProjects: Boolean = false) {
        if (summarizer.onProblem(problem, severity, forIsolatedProjects)) {
            problemsService.onProblem(problem, severity, forIsolatedProjects)
            report.onProblem(problem)
        }

        if (severity == ProblemSeverity.Interrupting) {
            val exception = problem.exception ?: error("Interrupting problems must have an associated exception. Got: $problem")
            throw exception
        }
    }

    private
    val configCacheValidation: ProblemGroup = ProblemGroup.create("configuration-cache", "configuration cache validation", GradleCoreProblemGroup.validation().thisGroup())

    private
    fun ProblemsInternal.onProblem(problem: PropertyProblem, severity: ProblemSeverity, forIsolatedProjects: Boolean) {
        val message = problem.message.render()
        internalReporter.internalCreate {
            id(
                DeprecationMessageBuilder.createDefaultDeprecationId(message),
                message,
                configCacheValidation
            )
            contextualLabel(message)
            documentOfProblem(problem)
            locationOfProblem(problem)
            additionalDataInternal(PropertyTraceDataSpec::class.java) {
                trace(problem.trace.containingUserCode)
            }
        }.also {
            // Deferred IP problems (i.e. not dangerously ignoring problems, where they are Suppressed instead)
            // always report as errors; deferred CC problems only when not in warn mode.
            if (severity == ProblemSeverity.Interrupting || (severity == ProblemSeverity.Deferred && (forIsolatedProjects || !isWarningMode))) {
                internalReporter.reportError(it)
            } else {
                internalReporter.report(it)
            }
        }
    }

    private
    fun reportDangerouslyIgnoringProblems() {
        val message = isolatedProjectsDangerouslyIgnoreProblemsSentences.joinToString(" ")
        problemsService.internalReporter.internalCreate {
            id(
                "isolated-projects-dangerously-ignoring-problems",
                "Isolated Projects problems are dangerously ignored",
                configCacheValidation
            )
            contextualLabel(message)
            documentedAt(isolatedProjectsDangerouslyIgnoreProblemsDocumentation.url)
        }.also {
            problemsService.internalReporter.report(it)
        }
    }

    private
    fun reportConfigurationCacheWarnMode() {
        val message = configurationCacheWarnModeSentences.joinToString(" ")
        problemsService.internalReporter.internalCreate {
            id(
                "configuration-cache-warn-mode",
                "Configuration Cache warn mode is enabled",
                configCacheValidation
            )
            contextualLabel(message)
        }.also {
            problemsService.internalReporter.report(it)
        }
    }

    private
    fun ProblemSpec.documentOfProblem(problem: PropertyProblem) {
        problem.documentationSection?.let {
            documentedAt(Documentation.userManual(it.page, it.anchor).url)
        }
    }

    private
    fun ProblemSpec.locationOfProblem(problem: PropertyProblem) {
        val trace = problem.trace.buildLogic()
        if (trace?.lineNumber != null) {
            lineInFileLocation(trace.source.displayName, trace.lineNumber!!)
        }
    }

    private
    fun PropertyTrace.buildLogic() = sequence.filterIsInstance<PropertyTrace.BuildLogic>().firstOrNull()

    override fun getId(): String {
        return "configuration-cache"
    }

    fun queryFailure(summary: Summary = summarizer.get(), htmlReportFile: File? = null): Throwable? {
        // IP violations fail the build regardless of the CC warn flag; CC problems honor it.
        val failDueToProblems = summary.deferredIsolatedProjectsProblemCount > 0 ||
            (summary.deferredProblemCount > 0 && !isWarningMode)
        val hasTooManyProblems = hasTooManyProblems(summary)
        val summaryText = { summary.textForConsole(cacheAction.summaryText(), htmlReportFile) }
        return when {
            failDueToProblems -> {
                ConfigurationCacheProblemsException(summary.originalProblemExceptions, summaryText)
            }

            hasTooManyProblems -> {
                TooManyConfigurationCacheProblemsException(summary.originalProblemExceptions, summaryText)
            }

            else -> null
        }
    }

    /**
     * Writes the report to the given [reportDir] if any [diagnostics][org.gradle.internal.configuration.problems.DiagnosticKind] have
     * been reported in which case a warning is also logged with the location of the report.
     */
    override fun report(reportDir: File, validationFailures: ProblemConsumer) {
        addNotReportedDegradingTasks()
        val summary = summarizer.get()
        val hasNoProblemsForConsole = summary.consoleProblemCount == 0
        val outputDirectory = outputDirectoryFor(reportDir)
        val details = detailsFor(summary)
        val htmlReportFile = report.writeReportFileTo(outputDirectory, ProblemReportDetailsJsonSource(details))
        val areTaskDegradationReasonsPresent = degradationDecision.degradedTaskCount > 0
        if (htmlReportFile == null) {
            // there was nothing to report (no problems, no build configuration inputs)
            require(summary.totalProblemCount == 0)
            require(!areTaskDegradationReasonsPresent)
            return
        }

        when (val failure = queryFailure(summary, htmlReportFile)) {
            null -> {
                val log: (String) -> Unit = when {
                    shouldDegradeGracefully() -> logger::warn
                    hasNoProblemsForConsole && !startParameter.alwaysLogReportLinkAsWarning -> logger::info
                    else -> logger::warn
                }
                log(summary.textForConsole(details.cacheAction, htmlReportFile))
            }

            else -> validationFailures.accept(failure)
        }
    }

    private
    fun addNotReportedDegradingTasks() {
        degradationDecision.onDegradedTask { taskIdentity, reasons ->
            val trace = locationForTask(taskIdentity)
            if (!incompatibleTasks.contains(trace)) {
                reportIncompatibleTask(trace, reasons.joinToString())
            }
        }
    }

    private
    fun detailsFor(summary: Summary): ProblemReportDetails {
        val cacheActionText = cacheAction.summaryText()
        val requestedTasks = startParameter.requestedTasksOrDefault()
        return ProblemReportDetails(
            buildDisplayName = buildStateRegistry.rootBuild.displayName.displayName,
            cacheAction = cacheActionText,
            cacheActionDescription = cacheActionDescription,
            requestedTasks = requestedTasks,
            totalProblemCount = summary.totalProblemCount,
            uniqueProblemCount = summary.reportUniqueProblemCount,
            overflownProblemCount = summary.overflownProblemCount
        )
    }

    private
    fun ConfigurationCacheAction.summaryText() =
        when (this) {
            is Load -> "reusing"
            Store -> "storing"
            SkipStore -> "skipping"
            is Update -> "updating"
        }

    private
    fun ConfigurationCacheStartParameter.requestedTasksOrDefault() =
        requestedTaskNames.takeIf { it.isNotEmpty() }?.joinToString(" ")

    private
    fun outputDirectoryFor(buildDir: File): File =
        startParameter.customReportOutputDirectory?.resolve(cacheKey.toString())
            ?: buildDir.resolve("reports/configuration-cache/$cacheKey")

    private
    inner class PostBuildProblemsHandler : RootBuildLifecycleListener {

        override fun afterStart() {
            if (isIsolatedProjectsDangerouslyIgnoreProblems) {
                logger.warn(isolatedProjectsDangerouslyIgnoreProblemsBanner())
                reportDangerouslyIgnoringProblems()
            }

            if (isWarningMode) {
                reportConfigurationCacheWarnMode()
            }
        }

        override fun beforeComplete(failure: Throwable?) {
            val summary = summarizer.get()

            val fateOfEntryInBuild = fateOfEntryInBuild(summary)
            fateOfEntryInBuild.message?.let { log(it) }
            buildOperationRunner.emitConfigurationCacheEntryOutcomeOperation(fateOfEntryInBuild.outcome, summary.consoleProblemCount)

            if (isIsolatedProjectsDangerouslyIgnoreProblems) {
                logger.warn(isolatedProjectsDangerouslyIgnoreProblemsBanner())
            }
        }
    }

    /**
     * The final fate of a configuration caching entry for this build invocation, and the console message reporting it.
     */
    private
    data class FateOfEntryInBuild(val outcome: Outcome, val message: String?)

    @Suppress("CyclomaticComplexMethod")
    private fun fateOfEntryInBuild(summary: Summary): FateOfEntryInBuild {
        val consoleProblemCount = summary.consoleProblemCount
        val deferredProblemCount = summary.deferredProblemCount
        val hasProblems = consoleProblemCount > 0
        val discardStateDueToProblems = discardStateDueToProblems(summary)
        val hasTooManyProblems = hasTooManyProblems(summary)
        val problemCountString = consoleProblemCount.counter("problem")
        val reusedProjectsString = reusedProjects.counter("project")
        val updatedProjectsString = updatedProjects.counter("project")
        return when {
            // The build finished before the cache action was determined, e.g. because it failed early.
            !::cacheAction.isInitialized -> FateOfEntryInBuild(
                Outcome.UNDETERMINED,
                when {
                    hasTooManyProblems -> "Too many configuration cache problems found ($problemCountString)."
                    hasProblems -> "Configuration cache problems found ($problemCountString)."
                    else -> null
                }
            )
            seenSerializationErrorOnStore && deferredProblemCount == 0 -> FateOfEntryInBuild(Outcome.DISCARDED, "Configuration cache entry discarded due to serialization error.")
            seenSerializationErrorOnStore -> FateOfEntryInBuild(Outcome.DISCARDED, "Configuration cache entry discarded with $problemCountString.")
            else -> when (cacheAction) {
                Store -> when {
                    shouldDegradeGracefully() -> FateOfEntryInBuild(Outcome.NOT_STORED, "Configuration cache disabled${degradationSummary()}")
                    discardStateDueToProblems && !hasProblems -> FateOfEntryInBuild(Outcome.DISCARDED, "Configuration cache entry discarded${incompatibleTasksSummary()}")
                    discardStateDueToProblems -> FateOfEntryInBuild(Outcome.DISCARDED, "Configuration cache entry discarded with $problemCountString.")
                    hasTooManyProblems -> FateOfEntryInBuild(Outcome.DISCARDED, "Configuration cache entry discarded with too many problems ($problemCountString).")
                    !hasProblems -> FateOfEntryInBuild(Outcome.STORED, "Configuration cache entry stored.")
                    else -> FateOfEntryInBuild(Outcome.STORED, "Configuration cache entry stored with $problemCountString.")
                }
                is Update ->
                    if (!hasProblems) FateOfEntryInBuild(Outcome.UPDATED, "Configuration cache entry updated for $updatedProjectsString, $reusedProjectsString up-to-date.")
                    else FateOfEntryInBuild(Outcome.UPDATED, "Configuration cache entry updated for $updatedProjectsString with $problemCountString, $reusedProjectsString up-to-date.")
                is Load ->
                    if (!hasProblems) FateOfEntryInBuild(Outcome.REUSED, "Configuration cache entry reused.")
                    else FateOfEntryInBuild(Outcome.REUSED, "Configuration cache entry reused with $problemCountString.")
                SkipStore -> FateOfEntryInBuild(Outcome.NOT_STORED, "Configuration cache disabled as cache is in read-only mode.")
            }
        }
    }

    private
    fun degradationSummary(): String {
        return DegradationSummary(degradationDecision.degradedTaskCount).render()
    }

    @VisibleForTesting
    internal
    class DegradationSummary(private val degradingTaskCount: Int) {
        init {
            require(degradingTaskCount > 0)
        }

        fun render(): String {
            return " because incompatible " +
                when {
                    degradingTaskCount == 1 -> "task was"
                    else -> "tasks were"
                } + " found."
        }
    }

    private
    fun incompatibleTasksSummary() = when {
        incompatibleTasks.isNotEmpty() -> " because incompatible ${if (incompatibleTasks.size > 1) "tasks were" else "task was"} found: ${incompatibleTasks.joinToString(", ") { "'${it.render()}'" }}."
        else -> "."
    }

    private
    fun discardStateDueToProblems(summary: Summary) =
        incompatibleTasks.isNotEmpty() || shouldDegradeGracefully() ||
            // IP-diagnostics violations (Deferred) discard the entry regardless of the CC warn flag.
            summary.deferredIsolatedProjectsProblemCount > 0 ||
            // Otherwise discard on any console problem unless warn mode keeps a reusable entry;
            // dangerously-ignore (IP violations as Suppressed) always discards.
            summary.consoleProblemCount > 0 && (!isWarningMode || isIsolatedProjectsDangerouslyIgnoreProblems)

    private
    fun hasTooManyProblems(summary: Summary) =
        summary.deferredProblemCount > startParameter.maxProblems

    private
    fun log(msg: String) {
        logger.warn(msg)
    }

    private
    val logger = Logging.getLogger(ConfigurationCacheProblems::class.java)

    private
    fun locationForTask(taskIdentity: TaskIdentity<*>) = PropertyTrace.Task(taskIdentity.taskType, taskIdentity.buildTreePath.asString())

    private
    fun Int.counter(singular: String, plural: String = "${singular}s"): String {
        return when (this) {
            0 -> "no $plural"
            1 -> "1 $singular"
            else -> "$this $plural"
        }
    }

    private
    inner class ErrorsAreProblemsProblemsListener(
        private
        val problemSeverity: ProblemSeverity
    ) : AbstractProblemsListener() {

        override fun onProblem(problem: PropertyProblem) {
            onProblem(problem, problemSeverity)
        }

        override fun onError(trace: PropertyTrace, error: Exception, message: StructuredMessageBuilder) {
            val failure = failureFactory.create(error)
            onProblem(PropertyProblem(trace, StructuredMessage.build(message), error, failure))
        }

        override fun onExecutionTimeProblem(problem: PropertyProblem) {
            onProblem(problem)
        }
    }
}
