Groovy Documentation

com.github.mperry.fg.test
[Groovy] Class DbcContractValidator

java.lang.Object
  com.github.mperry.fg.test.DbcContractValidator

@groovy.transform.TypeChecked
class DbcContractValidator

Created with IntelliJ IDEA. User: mwp Date: 3/12/13 Time: 11:47 AM To change this template use File | Settings | File Templates.


Method Summary
static java.lang.Boolean contractViolation(java.lang.Throwable t)

static java.lang.Boolean contractsOk(java.lang.Throwable t)

static java.lang.Boolean hasType(java.lang.Object o, java.lang.Class c)

static java.lang.Boolean invariantOk(java.lang.Throwable t)

static java.lang.Boolean postOk(java.lang.Throwable t)

static java.lang.Boolean preOk(java.lang.Throwable t)

static F validateThrowable()

static F validateValidation()

 
Methods inherited from class java.lang.Object
java.lang.Object#wait(long, int), java.lang.Object#wait(long), java.lang.Object#wait(), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll()
 

Method Detail

contractViolation

static java.lang.Boolean contractViolation(java.lang.Throwable t)


contractsOk

static java.lang.Boolean contractsOk(java.lang.Throwable t)


hasType

static java.lang.Boolean hasType(java.lang.Object o, java.lang.Class c)


invariantOk

static java.lang.Boolean invariantOk(java.lang.Throwable t)


postOk

static java.lang.Boolean postOk(java.lang.Throwable t)


preOk

static java.lang.Boolean preOk(java.lang.Throwable t)


validateThrowable

static F validateThrowable()


validateValidation

static F validateValidation()


 

Groovy Documentation