Allow multiple labels in contracts
Reported by me (at andresteingress) | April 7th, 2011 @ 09:56 AM | in 1.2.2
package tests
import org.gcontracts.annotations.*
@Invariant({
not_null_property1: property1 != null
not_null_property2: property2 != null
})
class A {
def property1
def property2
}
Comments and changes to this ticket
-
me (at andresteingress) April 7th, 2011 @ 12:41 PM
- State changed from “new” to “resolved”
- Milestone set to “1.2.2”
- Assigned user set to “me (at andresteingress)”
- Milestone order changed from “1” to “0”
-
me (at andresteingress) April 7th, 2011 @ 12:42 PM
(from [918573359a0543efc899b12b5581d5e499dbce7d]) allow multiple labels in contracts [#15] https://github.com/andresteingress/gcontracts/commit/918573359a0543...
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
-
15
Allow multiple labels in contracts
(from [918573359a0543efc899b12b5581d5e499dbce7d])
allow m...