#19 ✓resolved
me (at andresteingress)

multiple return statements cause missing postcondition validation

Reported by me (at andresteingress) | April 11th, 2011 @ 09:29 PM | in 1.2.2

class BetterAccount extends Account {
    BigDecimal withdraw( BigDecimal amount )
        if ((balance + frame) < amount) {
          return 0.0
        balance -= amount
        return amount
    BigDecimal getFrame() {
        return 100.0

Comments and changes to this ticket

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.

New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป

core module

Shared Ticket Bins

People watching this ticket

Referenced by