Toradocu generates method/constructor specifications using args[<index>] pattern to refer to parameters.
This is due to an implementation detail that should not influence the generated specifications.
Specifications should be generated using the real parameter names, to be more readable and have more sense for developers.
Currently, in Toradocu we need to convert args[<index>] pattern to real names to make specifications compatible with other tools like Randoop. Using real parameter names would simplify the export of generated specifications to format not using the unconventional Toradocu format.
Toradocu generates method/constructor specifications using
args[<index>]pattern to refer to parameters. This is due to an implementation detail that should not influence the generated specifications. Specifications should be generated using the real parameter names, to be more readable and have more sense for developers.Currently, in Toradocu we need to convert
args[<index>]pattern to real names to make specifications compatible with other tools like Randoop. Using real parameter names would simplify the export of generated specifications to format not using the unconventional Toradocu format.