Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename then to goto in session states #738

Closed
treiher opened this issue Aug 12, 2021 · 0 comments · Fixed by #779
Closed

Rename then to goto in session states #738

treiher opened this issue Aug 12, 2021 · 0 comments · Fixed by #779
Assignees
Labels
generator Related to generator package (SPARK code generation) small Effort of one person-day or less specification Related to specification package (e.g., specification parsing)

Comments

@treiher
Copy link
Collaborator

treiher commented Aug 12, 2021

goto should be more clearly understood as a state transition than then.

Proposed Syntax

      state Receive_Ack is
         [...]
      begin
         [...]
      transition
         goto Success
            if Ack'Valid = True and Ack.Op = DHCP::BOOTREPLY and Ack_Message_Type = DHCP::DHCPACK
         goto Failure
      exception
         goto Failure
      end Receive_Ack;

Current Syntax

      state Receive_Ack is
         [...]
      begin
         [...]
      transition
         then Success
            if Ack'Valid = True and Ack.Op = DHCP::BOOTREPLY and Ack_Message_Type = DHCP::DHCPACK
         then Failure
      exception
         then Failure
      end Receive_Ack;
@treiher treiher added generator Related to generator package (SPARK code generation) specification Related to specification package (e.g., specification parsing) small Effort of one person-day or less labels Aug 12, 2021
@treiher treiher added this to To do in RecordFlux 0.6 via automation Aug 12, 2021
@treiher treiher self-assigned this Sep 22, 2021
@treiher treiher moved this from To do to In progress in RecordFlux 0.6 Sep 22, 2021
@treiher treiher moved this from In progress to Under review in RecordFlux 0.6 Sep 22, 2021
jklmnn added a commit that referenced this issue Sep 25, 2021
jklmnn added a commit that referenced this issue Sep 25, 2021
treiher added a commit that referenced this issue Sep 25, 2021
RecordFlux 0.6 automation moved this from Under review to Merged Sep 27, 2021
treiher added a commit that referenced this issue Sep 27, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
generator Related to generator package (SPARK code generation) small Effort of one person-day or less specification Related to specification package (e.g., specification parsing)
Projects
No open projects
Development

Successfully merging a pull request may close this issue.

1 participant