Conversation
…ents, instead of using global counter, now we're using variable lines. If there's more than one variable with the same name on the same line we use a counter to identify each variable, to use the same variable name for different methods and for better tracking on files we also include the method name
|
Hi @maartinss, sorry for the delay in answering - the summer was a bit hectic. First, thanks for the contribution! What was your thought process for adding the Can we add a test for Nit: to want to target an issue we usually use Closes #132 |
|
Hi, I added the method because when I tried only using the variable name and its line the following tests failed: /liquidjava-example/src/main/java/testSuite/classes/iterator_interface_correct/Test.java:13 But I understand that it can be too verbose, so I will try a different approach and add the test requested. |
2 participants
Description
Changed variable name convention for TypeChecker:checkVariableRefinements, instead of using global counter, now we're using variable lines. If there's more than one variable with the same name on the same line we use a counter to identify each variable, to use the same variable name for different methods and for better tracking on files we also include the method name.
Closes: #132