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 metrics to AllCaps format #237

Closed
yegor256 opened this issue Mar 21, 2024 · 2 comments
Closed

rename metrics to AllCaps format #237

yegor256 opened this issue Mar 21, 2024 · 2 comments
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@yegor256
Copy link
Owner

Let's make a test that will check that all metrics in the metrics/ directory produce metric names that match this regexp: ^([A-Z][A-Za-z]*)+$. Also, we will have to rename many metrics.

@yegor256 yegor256 added enhancement New feature or request help wanted Extra attention is needed labels Mar 21, 2024
@MoromugHSE
Copy link
Contributor

@yegor256 some metrics we are getting from jPeek are suffixed with "-cvc" to explain that they are measured differently from the original ones -- do we have to rename them? Or would it be better to include that suffix in the regexp and leave them as-is?

yegor256 added a commit that referenced this issue Apr 2, 2024
Created an AllCaps format test (Issue #237)
@yegor256
Copy link
Owner Author

yegor256 commented Apr 2, 2024

@MoromugHSE I suggest we rename them to LCOM5c, etc.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Development

No branches or pull requests

2 participants