Fix detekt warnings

tudo-aqua · Nov 5, 2024 · 979509e · 979509e
1 parent 6e6179b
commit 979509e
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/...ols/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsGroupedByTSCNodeMetric.kt b/...ols/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
@@ -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
@@ -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<