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

Initially keyword not relevant in synchronous analysis #93

Open
kfhoech opened this issue Mar 8, 2022 · 0 comments
Open

Initially keyword not relevant in synchronous analysis #93

kfhoech opened this issue Mar 8, 2022 · 0 comments
Labels
AGREE enhancement New feature or request

Comments

@kfhoech
Copy link
Contributor

kfhoech commented Mar 8, 2022

In the case where a component implementation has synchronous behavior, the initially keyword is ignored and any behavior specified under it is silently ignored. This is appropriate as the initially keyword is relevant in component type specifications only when composed as a subcomponent into a component implementation applying the synchrony keyword such that the subcomponent is non-synchronous.

In this case it is likely that we wish the validator to issue a warning that the initially statement has not effect.

@kfhoech kfhoech added enhancement New feature or request AGREE labels Mar 8, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
AGREE enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant