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.

There was a problem

You must be a member of this account.

Thomas Han

Thomas Han

Not a member

Thomas Han's latest activity

Wednesday, May 18 2011
24 Invariant not obeyed for private constructor was updated in gcontracts-core
  • Thomas Han
    Thomas Han commented at 11:29 AM

    There are other scenarios where private constructors are valid.

    Private constructors might be used by static factory methods.
    Ideally you would want to centrali...
25 Precondition (@Requires) should be checked before the method, closure is invoked was created in gcontracts-core
  • Thomas Han
    Thomas Han created the ticket at 9:47 AM

    The converse is true for the post conditions (@Ensures).
    The check should be after the the method, closure invocation.

    class G {

    String g

    }

    class H {

    @Requir...
23 A circular call is detected when there isn't. was updated in gcontracts-core
  • Thomas Han
    Thomas Han commented at 9:06 AM

    This issue seems to be gone on 1.2.2
Monday, May 16 2011
24 Invariant not obeyed for private constructor was created in gcontracts-core
  • Thomas Han
    Thomas Han created the ticket at 10:16 AM

    @Invariant({

    g != null

    }) class G {

    String g

private G(String g) {
    this.g = g
}

static G of(String g) {
    return new G(g)
}

    }

    If we construct the G ...
Saturday, May 14 2011
23 A circular call is detected when there isn't. was updated in gcontracts-core
  • Thomas Han
    Thomas Han commented at 1:06 PM

    @Invariant({

    g

    }) class G {

    String g = "g"

/**
 * @see java.lang.Object#toString()
 */
@Override
String toString() {
    return g
}

    }

    @Invariant({

    g

    }) c...
  • Thomas Han
    Thomas Han created the ticket at 1:04 PM
Friday, May 06 2011
22 Support for private contructor was created in gcontracts-core