sccharts: Added error message for unsupported signals in classes

kieler · Dec 12, 2024 · 9006cd3 · 9006cd3
1 parent aef4cd4
commit 9006cd3
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Signal.xtend b/plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Signal.xtend
@@ -27,6 +27,7 @@ import de.cau.cs.kieler.kexpressions.extensions.KExpressionsDeclarationExtension
 import de.cau.cs.kieler.kexpressions.extensions.KExpressionsValuedObjectExtensions
 import de.cau.cs.kieler.kexpressions.keffects.Emission
 import de.cau.cs.kieler.kexpressions.keffects.extensions.KEffectsExtensions
+import de.cau.cs.kieler.kexpressions.kext.ClassDeclaration
 import de.cau.cs.kieler.kexpressions.kext.extensions.KExtDeclarationExtensions
 import de.cau.cs.kieler.kicool.kitt.tracing.Traceable
 import de.cau.cs.kieler.sccharts.Action
@@ -129,7 +130,13 @@ class Signal extends SCChartsProcessor implements Traceable {
         val allSignals = state.signals.toList
         allSignals.setDefaultTrace
 
-        // !!!CHANGED
+        if (state.declarations.exists[it instanceof ClassDeclaration]) {
+            for (classDecl : state.declarations.filter(ClassDeclaration)) {
+                if (classDecl.allNestedValuedObjects.exists[it.isSignal]) {
+                    environment.errors.add("Signals in class declarations not yet supported", classDecl)
+                }
+            }
+        }
         if (allSignals.nullOrEmpty) {
             return
         }