From 979509e73ac1cee0db76c83964377149cfb59968 Mon Sep 17 00:00:00 2001 From: Till Schallau Date: Tue, 5 Nov 2024 15:12:11 +0100 Subject: [PATCH] Fix detekt warnings --- .../postEvaluation/FailedMonitorsGroupedByTSCNodeMetric.kt | 4 ++-- .../stars/core/metric/utils/ApplicationConstantsHolder.kt | 2 +- .../src/main/kotlin/tools/aqua/stars/core/tsc/node/TSCNode.kt | 4 ++-- 3 files changed, 5 insertions(+), 5 deletions(-) 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 fb4ecdcf..c72ddf04 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 @@ -42,12 +42,12 @@ import tools.aqua.stars.core.types.* * @param S [SegmentType]. * @param U [TickUnit]. * @param D [TickDifference]. - * @param onlyLeafNodes (Default: false) Whether the monitor should only be triggered for leaf - * nodes. * @property dependsOn The instance of a [ValidTSCInstancesPerTSCMetric] on which this metric * depends on and needs for its calculation. * @property loggerIdentifier identifier (name) for the logger. * @property logger [Logger] instance. + * @param onlyLeafNodes (Default: false) Whether the monitor should only be triggered for leaf + * nodes. */ @Suppress("unused") class FailedMonitorsGroupedByTSCNodeMetric< diff --git a/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/utils/ApplicationConstantsHolder.kt b/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/utils/ApplicationConstantsHolder.kt index 5ed45d9a..68dd150c 100644 --- a/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/utils/ApplicationConstantsHolder.kt +++ b/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/utils/ApplicationConstantsHolder.kt @@ -124,7 +124,7 @@ object ApplicationConstantsHolder { /** * Writes the experiment run metadata into the file [METADATA_FILE_NAME] in the serialization - * folders + * folders. */ fun writeMetaInfo(directory: String): File = File("$directory$METADATA_FILE_NAME.txt").apply { diff --git a/stars-core/src/main/kotlin/tools/aqua/stars/core/tsc/node/TSCNode.kt b/stars-core/src/main/kotlin/tools/aqua/stars/core/tsc/node/TSCNode.kt index 3379c6e4..d22ae9ec 100644 --- a/stars-core/src/main/kotlin/tools/aqua/stars/core/tsc/node/TSCNode.kt +++ b/stars-core/src/main/kotlin/tools/aqua/stars/core/tsc/node/TSCNode.kt @@ -33,10 +33,10 @@ import tools.aqua.stars.core.types.* * @param S [SegmentType]. * @param U [TickUnit]. * @param D [TickDifference]. - * @param monitorsMap Map of monitor labels to their predicates of the [TSCNode]. - * @param projectionsMap Map of projections of the [TSCNode]. * @property label Label of the [TSCNode]. * @property edges Outgoing [TSCEdge]s of the [TSCNode]. + * @param monitorsMap Map of monitor labels to their predicates of the [TSCNode]. + * @param projectionsMap Map of projections of the [TSCNode]. * @property valueFunction Value function predicate of the [TSCNode]. */ sealed class TSCNode<