search

albertogoffi / toradocu

Toradocu - automated generation of test oracles from Javadoc documentation
Other
42 stars 21 forks source link

@param condition applied to receiver of constructor #114

Open bjkeller opened 7 years ago

bjkeller commented 7 years ago

The constructor net.sf.freecol.common.networking.ChatMessage(Player,String,boolean) has a @param condition for the third argument Whether this message is private.

But the condition that is generated is target.isPrivate(), referring to the receiver, which this constructor does not have.

This particular @param has no reasonable interpretation as a condition.