search

SCANL / swum_project

2 stars 1 forks source link

Possible Bug #3

Open VaibhaviRaut opened 4 years ago

VaibhaviRaut commented 4 years ago

Possible_Bug.zip

While checking the match between the ids in output files generated by both swum_words and swum_pharses I realized that some of the ids from the output file (Eg.: DieOut.xml) were missing from the swum_ID attribute values in outputChangedInput file (Ex.: DieChangedInput.xml) generated by swum_words. For instance, as indicated in the id for variables in DieOut.xml is missing in the DieChangedInput.xml. I tried to confirm it, and it is the same for other files I checked.

I have attached a .zip file above with three example files. I have also, attached the .png for DieOut.xml below, in case the .zip file is not accessible. Please let me know in case you need the .png files for other examples as well.

Die_xml
BrianPopeck commented 4 years ago

Hi, good catch! Yes, variables don't get an ID in the changed SWUM input. The issue is that a variable declaration can be marked with one of several tags in SWUM (e.g. decl, decl_stmt), so there is some complexity in determining where to put the ID. We left the variable IDs in the output so that apps like the visualizer could find variable names by ID just like other identifiers, but of course the variable names can't be traced back to their location in the srcML file.