From fc4df2e72a75507e7786a5cf7fe54b7cf06a9d57 Mon Sep 17 00:00:00 2001
From: Till Schallau <9063061+tillschallau@users.noreply.github.com>
Date: Tue, 13 Feb 2024 08:48:33 +0100
Subject: [PATCH 1/3] Replace old JVM Target with jvmToolchain (#35)

---
 .../kotlin/tools.aqua.stars.kotlin-conventions.gradle.kts | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/buildSrc/src/main/kotlin/tools.aqua.stars.kotlin-conventions.gradle.kts b/buildSrc/src/main/kotlin/tools.aqua.stars.kotlin-conventions.gradle.kts
index ac61e3e4..9a7da9ee 100644
--- a/buildSrc/src/main/kotlin/tools.aqua.stars.kotlin-conventions.gradle.kts
+++ b/buildSrc/src/main/kotlin/tools.aqua.stars.kotlin-conventions.gradle.kts
@@ -76,10 +76,4 @@ tasks.test {
   testLogging { events(FAILED, PASSED, SKIPPED) }
 }
 
-kotlin.target.compilations.all {
-  kotlinOptions {
-    jvmTarget = "11"
-    // allWarningsAsErrors = true
-    freeCompilerArgs = listOf("-Xjsr305=strict", "-Xjvm-default=all")
-  }
-}
+kotlin { jvmToolchain(17) }

From 9515a90d2bb598ec197fbc86ba4ceb2c313760b5 Mon Sep 17 00:00:00 2001
From: Till Schallau <9063061+tillschallau@users.noreply.github.com>
Date: Tue, 13 Feb 2024 08:51:20 +0100
Subject: [PATCH 2/3] Clarify KDoc of FailedMonitorsMetric (#37)

---
 .../metrics/postEvaluation/FailedMonitorsMetric.kt     | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsMetric.kt b/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsMetric.kt
index 729b9149..985dd405 100644
--- a/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsMetric.kt
+++ b/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/FailedMonitorsMetric.kt
@@ -22,17 +22,19 @@ import tools.aqua.stars.core.metric.metrics.evaluation.ValidTSCInstancesPerProje
 import tools.aqua.stars.core.metric.providers.Loggable
 import tools.aqua.stars.core.metric.providers.PostEvaluationMetricProvider
 import tools.aqua.stars.core.tsc.TSCMonitorResult
+import tools.aqua.stars.core.tsc.node.TSCNode
 import tools.aqua.stars.core.tsc.projection.TSCProjection
 import tools.aqua.stars.core.types.EntityType
 import tools.aqua.stars.core.types.SegmentType
 import tools.aqua.stars.core.types.TickDataType
 
 /**
- * This metric implements the [PostEvaluationMetricProvider] and tracks the number of failed
- * monitors.
+ * This metric implements the [PostEvaluationMetricProvider] and tracks the formulas specified as
+ * [TSCNode.monitorFunction]s that evaluate to 'false'.
  *
- * This class implements the [Loggable] interface. It logs and prints the count of missing Monitors
- * for each [TSCProjection]. It logs the missing [TSCMonitorResult]s for each [TSCProjection].
+ * This class implements the [Loggable] interface. It logs and prints the count and names of all
+ * failing [TSCNode.monitorFunction]s for each [TSCProjection]. It logs the failing
+ * [TSCMonitorResult]s for each [TSCProjection].
  */
 @Suppress("unused")
 class FailedMonitorsMetric<

From 5d4f0632672b694d918675a1d7bdca209975187c Mon Sep 17 00:00:00 2001
From: Till Schallau <9063061+tillschallau@users.noreply.github.com>
Date: Tue, 13 Feb 2024 08:51:50 +0100
Subject: [PATCH 3/3] Remove all existing ego flags when useEveryVehicleAsEgo
 is set (#36)

---
 .../tools/aqua/stars/importer/carla/runSegmentation.kt     | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/stars-importer-carla/src/main/kotlin/tools/aqua/stars/importer/carla/runSegmentation.kt b/stars-importer-carla/src/main/kotlin/tools/aqua/stars/importer/carla/runSegmentation.kt
index 85e96aed..00e0a60b 100644
--- a/stars-importer-carla/src/main/kotlin/tools/aqua/stars/importer/carla/runSegmentation.kt
+++ b/stars-importer-carla/src/main/kotlin/tools/aqua/stars/importer/carla/runSegmentation.kt
@@ -131,6 +131,13 @@ fun convertJsonData(
     }
     val egoTickData = checkNotNull(referenceTickData).map { it.clone() }
 
+    // Remove all existing ego flags when useEveryVehicleAsEgo is set
+    if (useEveryVehicleAsEgo) {
+      egoTickData.forEach { tickData ->
+        tickData.actors.filterIsInstance<Vehicle>().forEach { it.egoVehicle = false }
+      }
+    }
+
     // Set egoVehicle flag for each TickData
     var isTickWithoutEgo = false
     egoTickData.forEach { tickData ->