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

Documentation missing for semantic analysis of connection binding consistency #1852

Closed
reteprelief opened this issue Jun 19, 2019 · 2 comments · Fixed by #1931

Comments

@reteprelief
Copy link
Contributor

commented Jun 19, 2019

We have two semantic analyses related to bindings. One checks whether binding constraints are met by binding actuals.
The second one checks connection binding consistency, i.e., it points out connections that do not have an explicit connection binding and analyses like bandwidth analysis derive it. It also points out when there is a logical connection between application components which are bound to hardware components, but the hardware components are not connected by a bus.

They are both useful, esp. the second one and should be documented in the online help.

@lwrage

This comment has been minimized.

Copy link
Contributor

commented Jun 21, 2019

The binding constraint checker documentation was not included by accident.

@reteprelief Did we ever have documentation for the connection binding consistency check?

@lwrage lwrage changed the title Documentation missing for semantic analysis of binding constraints and connection binding consistency Documentation missing for semantic analysis of connection binding consistency Jul 11, 2019

@lwrage lwrage added this to the 2.6.0 milestone Jul 11, 2019

@lwrage

This comment has been minimized.

Copy link
Contributor

commented Jul 11, 2019

@reteprelief I assume you are the only one who has an idea what exactly this analysis should do.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.