semantics icon indicating copy to clipboard operation
semantics copied to clipboard

`input signal`s aren't automatically reset

Open YorikHansen opened this issue 1 year ago • 0 comments

When input signals are programmatically emitted, the signal remains present until a user manually resets it (to false).

Example

scchart Test {
	input signal S

	initial state A
	do S go to B

	state B
	if S go to C
	go to D

	final state C
	
	final state D
}

Expected Behavior

EITHER: An error occurs because input variables should not be programmatically set.

OR: The signal is active in the first tick (since it is emitted by the transition from A to B). After that, the transition from B to C should only occur if the user emits the signal again. Without any user input, the transition from B to D should be taken.

YorikHansen avatar Aug 19 '24 10:08 YorikHansen