Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Allow multiple labels in contracts

#15 
package tests

import org.gcontracts.annotations.*

@Invariant({
    not_null_property1: property1 != null
    not_null_property2: property2 != null
})
class A {
  def property1
  def property2
}

Reported by me (at andresteingress) · April 7th, 2011 @ 09:56 AM

State: resolved
Milestone: 1.2.2
Assigned to: me (at andresteingress) me (at andresteingress)

Activity

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

    April 7th, 2011 @ 12:41 PM

  2. me (at andresteingress)
    me (at andresteingress)

    April 7th, 2011 @ 12:42 PM

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.