public final class Assert
extends java.lang.Object
AssertionFailure
(which is a subtype of Exception
)
instead of AssertionError
.Constructor and Description |
---|
Assert() |
Modifier and Type | Method and Description |
---|---|
static void |
assertEqualSort(Sorted t1,
Sorted t2)
Check whether two terms (or other sorted objects) are of the same sort.
|
private static boolean |
assertionsEnabled() |
static void |
assertSubSort(Sorted t1,
Sorted t2)
Check whether the sort of t1 is a subsort of the sort of t2.
|