better validation of statemachine

2026-01-23 11:42:29 +01:00
parent 5853365707
commit 2aeec1e5f6
1 changed files with 20 additions and 0 deletions
--- a/internal/schema/marte.cue
+++ b/internal/schema/marte.cue
@@ -7,7 +7,27 @@ package schema
 		States!: {...} // type: node
 		...
 	}
+	Message: {
+		...
+	}
+	StateMachineEvent: {
+		NextState!:                                                  string
+		NextStateError!:                                             string
+		Timeout:                                                     uint32
+		[_= !~"^(Class|NextState|Timeout|NextStateError|[#_$].+)$"]: Message
+		...
+	}
+	_State: {
+		Class: "ReferenceContainer"
+		ENTER?: {
+			Class: "ReferenceContainer"
+			...
+		}
+		[_ = !~"^(Class|ENTER)$"]: StateMachineEvent
+		...
+	}
 	StateMachine: {
+		[_ = !~"^(Class|[$].*)$"]: _State
 		...
 	}
 	RealTimeState: {