tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <...@apache.org>
Subject [GitHub] [tomcat] euske opened a new pull request #217: Made some variable names more consistent with the other parts.
Date Mon, 21 Oct 2019 08:37:04 GMT
euske opened a new pull request #217: Made some variable names more consistent with the other
parts.
URL: https://github.com/apache/tomcat/pull/217
 
 
   Hello, we're developing an automated system that detects inconsistent variable names in
a large software project. Our system checks if each variable name is consistent with other
variables in the project in its usage pattern, and proposes correct candidates if inconsistency
is detected. This is a part of academic research that we hope to publish soon, but as a part
of the evaluation, we applied our systems to your projects and got a few interesting results.
We carefully reviewed our system output and manually created a patch to correct a few variable
names. We would be delighted if this patch is found to be useful. If you have a question or
suggestion regarding this patch, we'd happily answer. Thank you.

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org


Mime
View raw message