#23 ✓resolved
Thomas Han

A circular call is detected when there isn't.

Reported by Thomas Han | May 14th, 2011 @ 01:04 PM | in 1.2.3

Comments and changes to this ticket

  • Thomas Han

    Thomas Han May 14th, 2011 @ 01:06 PM

    @Invariant({

    g
    

    }) class G {

    String g = "g"
    
    /**
     * @see java.lang.Object#toString()
     */
    @Override
    String toString() {
        return g
    }
    

    }

    @Invariant({

    g
    

    }) class H {

    G g = new G()
    
    /**
     * @see java.lang.Object#toString()
     */
    @Override
    String toString() {
        g.toString()
    }
    

    }

    When we call H toString() it detects a circular call.

    Can you please confirm?

  • Thomas Han

    Thomas Han May 18th, 2011 @ 09:06 AM

    This issue seems to be gone on 1.2.2

  • me (at andresteingress)

    me (at andresteingress) May 18th, 2011 @ 11:11 AM

    • State changed from “new” to “resolved”
    • Milestone set to 1.2.3
    • Assigned user set to “me (at andresteingress)”
    • Milestone order changed from “1” to “0”

    there will be improvements to the class invariants injection in 1.2.3, but i am aware there are issues here.

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

Pages