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 has_parameter to has_parameters #152

Open
tramyn opened this issue Mar 2, 2021 · 0 comments
Open

rename has_parameter to has_parameters #152

tramyn opened this issue Mar 2, 2021 · 0 comments
Labels
enhancement New feature or request

Comments

@tramyn
Copy link

tramyn commented Mar 2, 2021

A protocol_interface can have zero or more parameter(s). The current syntax to get parameters from a protocol interface implies that there is alway one parameter (ex: protocol_interface.has_parameter) tied to an instance of a protocol interface. Since this is not the case, I would like has_parameter rename to has_parameters. By doing so, this makes it clear that I can expect more than one parameters to be listed in a protocol interface.

@tramyn tramyn added enhancement New feature or request lowest priority and removed lowest priority labels Mar 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant