-
Key: SYSML2_-411
-
Status: open
-
Source: outlook.com ( Mr. Matthew Johnson)
-
Summary:
The specification states in 7.17.3:
"The accepter action for a transition usage is placed after the guard expression and notated using the accept keyword..."
The examples in 7.17.3 also show "accept" after the "if' statement.
However, the implementation (specifically, Eclipse) will not instantiate a transition that has the accept after the guard. It will recognize the accept before the guard.
For example:
item def TurnOn; state def OffOn { state off; state on; in attribute enabled; transition off_on3 first off accept TurnOn if enabled then on;//This declaration parses transition off_on4 first off if enabled accept TurnOn then on;//This declaration does not parse. }
-
Reported: SysML 2.0b2 — Tue, 19 Nov 2024 17:20 GMT
-
Updated: Tue, 10 Dec 2024 08:08 GMT
SYSML2_ — Accept after guard causes errors in IDE
- Key: SYSML2_-411
- OMG Task Force: Systems Modeling Language (SysML) 2.0 FTF 2