Created with IntelliJ IDEA. User: mwp Date: 3/12/13 Time: 11:47 AM To change this template use File | Settings | File Templates.
| Type | Name and description |
|---|---|
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<java.lang.Throwable, java.lang.Boolean> |
validateThrowable() |
static F<fj.data.Validation<java.lang.Throwable, java.lang.Boolean>, java.lang.Boolean> |
validateValidation() |
| Methods inherited from class | Name |
|---|---|
class java.lang.Object |
java.lang.Object#wait(), java.lang.Object#wait(long, int), java.lang.Object#wait(long), 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() |