SysML 2.0b3 FTF Avatar
  1. OMG Issue

SYSML2_ — Accept after guard causes errors in IDE

  • 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