Allow Labels in Annotation Closures
Reported by me (at andresteingress) | April 7th, 2011 @ 09:17 AM | in 1.2.2
the following code should execute successfully
import org.gcontracts.annotations.*
@Invariant({
never_be_null: internal_list != null
})
class Stack {
def internal_list = null
}
def stack = new Stack()
Comments and changes to this ticket
-
me (at andresteingress) April 7th, 2011 @ 09:54 AM
(from [d04bab17589b13934b58783d51cfd82d8e8575fe]) fixed usage of labels in @Requires, @Ensures and @ClassInvariant [#14] https://github.com/andresteingress/gcontracts/commit/d04bab17589b13...
-
me (at andresteingress) April 7th, 2011 @ 09:54 AM
- State changed from “new” 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 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
People watching this ticket
me (at andresteingress)
Referenced by
-
14
Allow Labels in Annotation Closures
(from [d04bab17589b13934b58783d51cfd82d8e8575fe])
fixed u...