#15 Allow multiple labels in contracts - gcontracts-core

Type	To find
responsible:me	tickets assigned to you
tagged:"@high"	tickets tagged @high
milestone:next	tickets in the upcoming milestone
state:invalid	tickets with the state invalid
created:"last week"	tickets created last week
sort:number, importance, updated	tickets sorted by #, importance or updated
Combine keywords for powerful searching.
Use advanced searching »

#15 ✓resolved

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.