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 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?
-
-
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.
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
me (at andresteingress)