public class ViolationTracker extends Object
A violation tracker is used to keep a list of pre-, post-condition or class-invariant violations in chronological order. This is necessary to evaluate all parts of a pre- or postcondition, and still being able to rethrow assertion errors.
Modifiers | Name | Description |
---|---|---|
static ThreadLocal<ViolationTracker> |
INSTANCE |
Type Params | Return Type | Name and description |
---|---|---|
|
public static void |
deinit() |
|
public AssertionViolation |
first() |
|
public boolean |
hasViolations() |
|
public static void |
init() |
|
public AssertionViolation |
last() |
|
public static void |
rethrowFirst() |
|
public static void |
rethrowLast() |
|
public void |
track(AssertionViolation assertionViolation) |
|
public static boolean |
violationsOccurred() |