no explicit return returns null
Reported by me (at andresteingress) | June 12th, 2011 @ 08:40 PM | in 1.2.4
bug report from a client:
@Requires({ urgency && ( sendToGroups != null )
&& ( sendToUsers != null ) }) @Ensures({ result.id > 0
}) Message messageWithId ( Urgency urgency = Urgency.INFO, boolean
sendToAll = true, List sendToGroups = [], List sendToUsers = []
)
{ new Message( counter++, context, util, messageNoId( urgency,
sendToAll, sendToGroups, sendToUsers )) }
https://github.com/evgeny-goldin/teamcity-plugins/blob/9484df4999e9...
Comments and changes to this ticket
-
me (at andresteingress) June 12th, 2011 @ 09:36 PM
- State changed from open to resolved
Please Sign in or create a free account to add a new ticket.
With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module
People watching this ticket
Referenced by
- 29 no explicit return returns null (from [fbd6982cb69fd4541e4eea56bc87103cca3c8f7b]) new tes...