From 5f09047ec704cf11169b6843001ee82f588da290 Mon Sep 17 00:00:00 2001 From: Till Schallau <9063061+tillschallau@users.noreply.github.com> Date: Thu, 25 Jul 2024 09:10:24 +0200 Subject: [PATCH] Fix detekt warning (#131) --- .../postEvaluation/FailedMonitorsGroupedByTSCNodeMetric.kt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsGroupedByTSCNodeMetric.kt b/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsGroupedByTSCNodeMetric.kt index 7265304e..8846f4d9 100644 --- a/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsGroupedByTSCNodeMetric.kt +++ b/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsGroupedByTSCNodeMetric.kt @@ -43,7 +43,8 @@ import tools.aqua.stars.core.types.* * @property dependsOn The instance of a [ValidTSCInstancesPerProjectionMetric] on which this metric * depends on and needs for its calculation. * @property logger [Logger] instance. - * @property onlyLeafNodes Whether the monitor should only be triggered for leaf nodes. + * @param onlyLeafNodes (Default: false) Whether the monitor should only be triggered for leaf + * nodes. */ @Suppress("unused") class FailedMonitorsGroupedByTSCNodeMetric<