Closed martinezmatias closed 6 years ago
Hi @martinezmatias “ now it groups by patch id, but it would be better in my opinion to group by Bug id.”
I agree, and actually I even thought about this before. But I think it could be easier to have all patches group by tools and then group by Bug id. In our main-table.tsv, you could search patches with the key word of bug id.
"I would unify both conventions and use the b) (note that when there is only one patch, the name would be patch1-Math-82-jkali"
That would be cool. I will update the other rest of patches to be consistent with the name rule.
Thanks for the jgenpro patches! Great work 👍
Initial comment by Matias:
Very minor comments, it's not urgent, but it could help the readability of data:
1) inside a folder of patches (i.e., diff) each patch file has the name:
patch
last version of the convention in the first message of this thread
(we maintain the convention in this first post)
Patches
Patches folder convention:
Patch file naming convention:
1) inside a folder of patches, each patch file has the name:
patch<patch ID>-<Project>-<Bugid>-<approach>.patch
2) If there one single patch, theere is also a patch ID, which is "1"
patch1-<Project>-<Bugid>-<approach>.patch
Patched version
Patched version folder convention:
Java file naming convention:
The Java file name is the normal class name (as usual in Java)