-
Key: SYSML2_-411
-
Status: closed
-
Source: posteo.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
-
Disposition: Duplicate or Merged — SysML 2.0b4
-
Disposition Summary:
Duplicate of
SYSML2_-246This issue is a duplicate of issue
SYSML2_-246. The resolution toSYSML2_-89also resolvesSYSML2_-246and this issue. -
Updated: Sat, 19 Jul 2025 19:25 GMT
SYSML2_ — Accept after guard causes errors in IDE
- Key: SYSML2_-411
- OMG Task Force: Systems Modeling Language (SysML) 2.0 FTF 2