Re: Unused TypeInformation parameter in DeltaIteration constructor

2014-06-18 Thread Robert Metzger
I could not find such a checkstyle plugin. (They once had one but its not maintained anymore) On Wed, Jun 18, 2014 at 11:24 AM, Ufuk Celebi wrote: > > On 18 Jun 2014, at 11:19, Vasiliki Kalavri > wrote: > > > Hey, > > > > I didn't know, but apparently there is an option in Eclipse under > > "

Re: Unused TypeInformation parameter in DeltaIteration constructor

2014-06-18 Thread Ufuk Celebi
On 18 Jun 2014, at 11:19, Vasiliki Kalavri wrote: > Hey, > > I didn't know, but apparently there is an option in Eclipse under > "Preferences -> Java -> Compiler -> Errors/Warnings -> Unnecessary code" > that can be activated to show a warning for unused parameters. I guess > there are similar

Re: Unused TypeInformation parameter in DeltaIteration constructor

2014-06-18 Thread Vasiliki Kalavri
Hey, I didn't know, but apparently there is an option in Eclipse under "Preferences -> Java -> Compiler -> Errors/Warnings -> Unnecessary code" that can be activated to show a warning for unused parameters. I guess there are similar tools for other IDEs. I activated this and it seems that there a

Re: Unused TypeInformation parameter in DeltaIteration constructor

2014-06-17 Thread Stephan Ewen
I think you are right, it is a copy/paste artifact. Since the "type" and "solutionSet.getType()" are identical, it is redundant.