Mark unused class correctly

RipplB · May 22, 2024 · ed176c3 · ed176c3
1 parent 87b7502
commit ed176c3
Showing 1 changed file with 10 additions and 8 deletions.
diff --git a/...on/analysis/src/main/kotlin/hu/bme/mit/theta/analysis/multi/builder/MultiBuilderResult.kt b/...on/analysis/src/main/kotlin/hu/bme/mit/theta/analysis/multi/builder/MultiBuilderResult.kt
@@ -23,14 +23,16 @@ import hu.bme.mit.theta.analysis.multi.*
 import hu.bme.mit.theta.analysis.unit.UnitPrec
 import hu.bme.mit.theta.analysis.unit.UnitState
 
-// The following class in this file should be used, however, with
-// IntelliJ IDEA 2024.1 (Ultimate Edition)
-// Build #IU-241.14494.240, built on March 28, 2024
-// Kotlin: 241.14494.240-IJ
-// the usage of this class causes the kotlin plugin to crash, maybe even crashing
-// the whole IDE. For this reason, a POJO has to be used instead
-
-data class MultiBuilderResult<LState : State, RState : State, DataState : State, LBlank : State, RBlank : State, LAction : Action, RAction : Action, LPrec : Prec, RPrec : Prec, DataPrec : Prec, LBlankPrec : Prec, RBlankPrec : Prec, MState : MultiState<LBlank, RBlank, DataState>, MBlankState : MultiState<LBlank, RBlank, UnitState>, MAction : MultiAction<LAction, RAction>, MLts : MultiLts<LState, RState, DataState, LBlank, RBlank, LAction, RAction, MState, MAction>>
+/**
+ * TODO
+ * The following class in this file should be used, however, with
+ * IntelliJ IDEA 2024.1 (Ultimate Edition)
+ * Build #IU-241.14494.240, built on March 28, 2024
+ * Kotlin: 241.14494.240-IJ
+ * the usage of this class causes the kotlin plugin to crash, maybe even crashing
+ * the whole IDE. For this reason, a POJO has to be used instead
+ */
+private data class MultiBuilderResult<LState : State, RState : State, DataState : State, LBlank : State, RBlank : State, LAction : Action, RAction : Action, LPrec : Prec, RPrec : Prec, DataPrec : Prec, LBlankPrec : Prec, RBlankPrec : Prec, MState : MultiState<LBlank, RBlank, DataState>, MBlankState : MultiState<LBlank, RBlank, UnitState>, MAction : MultiAction<LAction, RAction>, MLts : MultiLts<LState, RState, DataState, LBlank, RBlank, LAction, RAction, MState, MAction>>
     (
     val side: MultiAnalysisSide<MState, DataState, MBlankState, MAction, MultiPrec<LPrec, RPrec, DataPrec>, MultiPrec<LBlankPrec, RBlankPrec, UnitPrec>>,
     val lts: MLts