Package io.deephaven.base.verify

Class Require

java.lang.Object

io.deephaven.base.verify.Require

public final class Require
extends Object

Requirement methods for simple runtime program verification. Failed requirements throw RequirementFailure.

Methods:

• void requirement(boolean condition, String conditionText[, String detailMessage][, int numCallsBelowRequirer])
• void requirement(boolean condition, String conditionText, value0, String name0, value1, String name1, ... [, int numCallsBelowRequirer])

• void statementNeverExecuted([int numCallsBelowRequirer])
• void statementNeverExecuted(String statementDescription[, int numCallsBelowRequirer])
• void exceptionNeverCaught(Exception caughtException[, int numCallsBelowRequirer])
• void exceptionNeverCaught(String tryStatementDescription, Exception caughtException[, int numCallsBelowRequirer])
• void valueNeverOccurs(value, String name[, int numCallsBelowRequirer])
• void valuesNeverOccur(value0, name0, value1, name1, ... [, int numCallsBelowRequirer])

• void holdsLock/notHoldsLock(Object, String name[, int numCallsBelowRequirer])

• void instanceOf/notInstanceOf(Object, String name, Class type[, int numCallsBelowRequirer])

• void eq/neq(boolean/char/byte/short/int/long/float/double, String name0, boolean/char/byte/short/int/long/float/double[, String name1][, int numCallsBelowRequirer])
• void lt/leq/gt/geq(char/byte/short/int/long/float/double, String name0, char/byte/short/int/long/float/double[, String name1][, int numCallsBelowRequirer])

• void eqFalse/neqFalse/eqTrue/neqTrue(boolean, String name[, int numCallsBelowRequirer])
• void eqZero/neqZero(char/byte/short/int/long/float/double, String name[, int numCallsBelowRequirer])
• void ltZero/leqZero/gtZero/geqZero(byte/short/int/long/float/double, String name[, int numCallsBelowRequirer])

• void eq/neq(Object, name0, Object[, name1][, int numCallsBelowRequirer])
• void eqNull/neqNull(Object, String name[, int numCallsBelowRequirer])

• void equals(Object, String name0, Object, String name1[, int numCallsBelowRequirer])
• void nonempty(String, String name[, int numCallsBelowRequirer])

Naming Rationale:

• eq, neq, lt, leq, gt, get correspond to ==, !=, <, <=, >, >=, e.g.,
  • For Object a and b, Require.eq(a, "a", b, "b") corresponds to require (a == b)
  • For Object o, Require.neqNull(o, "o") corresponds to require (o != null)
  • for int x, Require.eqZero(x, "x") corresponds to require (x == 0)
• equals corresponds to Object.equals (preceded by necessary null checks), e.g.,
  • For Object a and b, Require.equals(a, "a", b, "b") corresponds to require (a!= null && b != null && a.equals(b))
  • for String s, Require.nonempty(s, "s") corresponds to require (s != null && s.length() != 0)

Method Summary

Modifier and Type	Method	Description
static <C extends Collection<T>, T> C	contains(C collection, String collectionName, T element, String elementName)
static <C extends Collection<T>, T> C	contains(C collection, String collectionName, T element, String elementName, int numCallsBelowRequirer)	require (collection != null && collection.contains(element))
static <M extends Map<K, V>, K, V> M	containsKey(M map, String mapName, K key, String keyName)
static <M extends Map<K, V>, K, V> M	containsKey(M map, String mapName, K key, String keyName, int numCallsBelowRequirer)	require (map != null && map.containsKey(key))
static void	elementsNeqInf(double[][] elements, String name)
static void	elementsNeqInf(double[] elements, String name)
static void	elementsNeqNaN(double[][] elements, String name)
static void	elementsNeqNaN(double[] elements, String name)
static <T> T[]	elementsNeqNull(T[] elements, String name)
static void	eq(boolean b0, String name0, boolean b1)
static void	eq(boolean b0, String name0, boolean b1, int numCallsBelowRequirer)
static void	eq(boolean b0, String name0, boolean b1, String name1)
static void	eq(boolean b0, String name0, boolean b1, String name1, int numCallsBelowRequirer)	require (b0 == b1)
static void	eq(byte b0, String name0, byte b1)
static void	eq(byte b0, String name0, byte b1, int numCallsBelowRequirer)
static void	eq(byte b0, String name0, byte b1, String name1)
static void	eq(byte b0, String name0, byte b1, String name1, int numCallsBelowRequirer)	require (b0 == b1)
static void	eq(char c0, String name0, char c1)
static void	eq(char c0, String name0, char c1, int numCallsBelowRequirer)
static void	eq(char c0, String name0, char c1, String name1)
static void	eq(char c0, String name0, char c1, String name1, int numCallsBelowRequirer)	require (c0 == c1)
static void	eq(double d0, String name0, double d1)
static void	eq(double d0, String name0, double d1, int numCallsBelowRequirer)
static void	eq(double d0, String name0, double d1, String name1)
static void	eq(double d0, String name0, double d1, String name1, int numCallsBelowRequirer)	require (d0 == d1)
static void	eq(float f0, String name0, float f1)
static void	eq(float f0, String name0, float f1, int numCallsBelowRequirer)
static void	eq(float f0, String name0, float f1, String name1)
static void	eq(float f0, String name0, float f1, String name1, int numCallsBelowRequirer)	require (f0 == f1)
static void	eq(int i0, String name0, int i1)
static void	eq(int i0, String name0, int i1, int numCallsBelowRequirer)
static void	eq(int i0, String name0, int i1, String name1)
static void	eq(int i0, String name0, int i1, String name1, int numCallsBelowRequirer)	require (i0 == i1)
static void	eq(long l0, String name0, long l1)
static void	eq(long l0, String name0, long l1, int numCallsBelowRequirer)
static void	eq(long l0, String name0, long l1, String name1)
static void	eq(long l0, String name0, long l1, String name1, int numCallsBelowRequirer)	require (l0 == l1)
static void	eq(short s0, String name0, short s1)
static void	eq(short s0, String name0, short s1, int numCallsBelowRequirer)
static void	eq(short s0, String name0, short s1, String name1)
static void	eq(short s0, String name0, short s1, String name1, int numCallsBelowRequirer)	require (s0 == s1)
static void	eq(Object o0, String name0, Object o1)
static void	eq(Object o0, String name0, Object o1, int numCallsBelowRequirer)
static void	eq(Object o0, String name0, Object o1, String name1)
static void	eq(Object o0, String name0, Object o1, String name1, int numCallsBelowRequirer)	require (o0 == o1)
static void	eqFalse(boolean b, String name)
static void	eqFalse(boolean b, String name, int numCallsBelowRequirer)	require (b == false)
static void	eqNull(Object o, String name)
static void	eqNull(Object o, String name, int numCallsBelowRequirer)	require (o == null)
static void	eqTrue(boolean b, String name)
static void	eqTrue(boolean b, String name, int numCallsBelowRequirer)	require (b == true)
static void	equals(Object o0, String name0, Object o1)	require (o0 != null && o1 != null && o0.equals(o1))
static void	equals(Object o0, String name0, Object o1, int numCallsBelowRequirer)	require (o0 != null && o1 != null && o0.equals(o1))
static void	equals(Object o0, String name0, Object o1, String name1)	require (o0 != null && o1 != null && o0.equals(o1))
static void	equals(Object o0, String name0, Object o1, String name1, int numCallsBelowRequirer)	require (o0 != null && o1 != null && o0.equals(o1))
static void	eqZero(byte b, String name)
static void	eqZero(byte b, String name, int numCallsBelowRequirer)	require (b == 0)
static void	eqZero(char c, String name)
static void	eqZero(char c, String name, int numCallsBelowRequirer)	require (c == 0)
static void	eqZero(double d, String name)
static void	eqZero(double d, String name, int numCallsBelowRequirer)	require (d == 0)
static void	eqZero(float f, String name)
static void	eqZero(float f, String name, int numCallsBelowRequirer)	require (f == 0)
static void	eqZero(int i, String name)
static void	eqZero(int i, String name, int numCallsBelowRequirer)	require (i == 0)
static void	eqZero(long l, String name)
static void	eqZero(long l, String name, int numCallsBelowRequirer)	require (l == 0)
static void	eqZero(short s, String name)
static void	eqZero(short s, String name, int numCallsBelowRequirer)	require (s == 0)
static RequirementFailure	exceptionNeverCaught(Exception e)
static RequirementFailure	exceptionNeverCaught(Exception e, int numCallsBelowRequirer)	require (this exception is never caught, Exception e)
static RequirementFailure	exceptionNeverCaught(String tryStatementDescription, Exception e)
static RequirementFailure	exceptionNeverCaught(String tryStatementDescription, Exception e, int numCallsBelowRequirer)	require (tryStatementDescription succeeds, Exception e)
static byte	geq(byte b0, String name0, byte b1)
static byte	geq(byte b0, String name0, byte b1, int numCallsBelowRequirer)
static byte	geq(byte b0, String name0, byte b1, String name1)
static byte	geq(byte b0, String name0, byte b1, String name1, int numCallsBelowRequirer)	require (b0 >= b1)
static char	geq(char c0, String name0, char c1)
static char	geq(char c0, String name0, char c1, int numCallsBelowRequirer)
static char	geq(char c0, String name0, char c1, String name1)
static char	geq(char c0, String name0, char c1, String name1, int numCallsBelowRequirer)	require (c0 >= c1)
static double	geq(double d0, String name0, double d1)
static double	geq(double d0, String name0, double d1, int numCallsBelowRequirer)
static double	geq(double d0, String name0, double d1, String name1)
static double	geq(double d0, String name0, double d1, String name1, int numCallsBelowRequirer)	require (d0 >= d1)
static float	geq(float f0, String name0, float f1)
static float	geq(float f0, String name0, float f1, int numCallsBelowRequirer)
static float	geq(float f0, String name0, float f1, String name1)
static float	geq(float f0, String name0, float f1, String name1, int numCallsBelowRequirer)	require (f0 >= f1)
static int	geq(int i0, String name0, int i1)
static int	geq(int i0, String name0, int i1, int numCallsBelowRequirer)
static int	geq(int i0, String name0, int i1, String name1)
static int	geq(int i0, String name0, int i1, String name1, int numCallsBelowRequirer)	require (i0 >= i1)
static long	geq(long l0, String name0, long l1)
static long	geq(long l0, String name0, long l1, int numCallsBelowRequirer)
static long	geq(long l0, String name0, long l1, String name1)
static long	geq(long l0, String name0, long l1, String name1, int numCallsBelowRequirer)	require (l0 >= l1)
static short	geq(short s0, String name0, short s1)
static short	geq(short s0, String name0, short s1, int numCallsBelowRequirer)
static short	geq(short s0, String name0, short s1, String name1)
static short	geq(short s0, String name0, short s1, String name1, int numCallsBelowRequirer)	require (s0 >= s1)
static byte	geqZero(byte b, String name)
static byte	geqZero(byte b, String name, int numCallsBelowRequirer)	require (b >= 0)
static double	geqZero(double d, String name)
static double	geqZero(double d, String name, int numCallsBelowRequirer)	require (d >= 0)
static float	geqZero(float f, String name)
static float	geqZero(float f, String name, int numCallsBelowRequirer)	require (f >= 0)
static int	geqZero(int i, String name)
static int	geqZero(int i, String name, int numCallsBelowRequirer)	require (i >= 0)
static long	geqZero(long l, String name)
static long	geqZero(long l, String name, int numCallsBelowRequirer)	require (l >= 0)
static short	geqZero(short s, String name)
static short	geqZero(short s, String name, int numCallsBelowRequirer)	require (s >= 0)
static byte	gt(byte b0, String name0, byte b1)
static byte	gt(byte b0, String name0, byte b1, int numCallsBelowRequirer)
static byte	gt(byte b0, String name0, byte b1, String name1)
static byte	gt(byte b0, String name0, byte b1, String name1, int numCallsBelowRequirer)	require (b0 > b1)
static char	gt(char c0, String name0, char c1)
static char	gt(char c0, String name0, char c1, int numCallsBelowRequirer)
static char	gt(char c0, String name0, char c1, String name1)
static char	gt(char c0, String name0, char c1, String name1, int numCallsBelowRequirer)	require (c0 > c1)
static double	gt(double d0, String name0, double d1)
static double	gt(double d0, String name0, double d1, int numCallsBelowRequirer)
static double	gt(double d0, String name0, double d1, String name1)
static double	gt(double d0, String name0, double d1, String name1, int numCallsBelowRequirer)	require (d0 > d1)
static float	gt(float f0, String name0, float f1)
static float	gt(float f0, String name0, float f1, int numCallsBelowRequirer)
static float	gt(float f0, String name0, float f1, String name1)
static float	gt(float f0, String name0, float f1, String name1, int numCallsBelowRequirer)	require (f0 > f1)
static int	gt(int i0, String name0, int i1)
static int	gt(int i0, String name0, int i1, int numCallsBelowRequirer)
static int	gt(int i0, String name0, int i1, String name1)
static int	gt(int i0, String name0, int i1, String name1, int numCallsBelowRequirer)	require (i0 > i1)
static long	gt(long l0, String name0, long l1)
static long	gt(long l0, String name0, long l1, int numCallsBelowRequirer)
static long	gt(long l0, String name0, long l1, String name1)
static long	gt(long l0, String name0, long l1, String name1, int numCallsBelowRequirer)	require (l0 > l1)
static short	gt(short s0, String name0, short s1)
static short	gt(short s0, String name0, short s1, int numCallsBelowRequirer)
static short	gt(short s0, String name0, short s1, String name1)
static short	gt(short s0, String name0, short s1, String name1, int numCallsBelowRequirer)	require (s0 > s1)
static byte	gtZero(byte b, String name)
static byte	gtZero(byte b, String name, int numCallsBelowRequirer)	require (b > 0)
static double	gtZero(double d, String name)
static double	gtZero(double d, String name, int numCallsBelowRequirer)	require (d > 0)
static float	gtZero(float f, String name)
static float	gtZero(float f, String name, int numCallsBelowRequirer)	require (f > 0)
static int	gtZero(int i, String name)
static int	gtZero(int i, String name, int numCallsBelowRequirer)	require (i > 0)
static long	gtZero(long l, String name)
static long	gtZero(long l, String name, int numCallsBelowRequirer)	require (l > 0)
static short	gtZero(short s, String name)
static short	gtZero(short s, String name, int numCallsBelowRequirer)	require (s > 0)
static void	holdsLock(Object o, String name)
static void	holdsLock(Object o, String name, int numCallsBelowRequirer)	require (o != null && (current thread holds o's lock))
static double	inRange(double trialValue, double endPointA, double endPointB, String name)
static float	inRange(float trialValue, float endPointA, float endPointB, String name)
static int	inRange(int offset, String offsetName, int length, String lengthName)	require (offset >= 0 && offset < length)
static int	inRange(int offset, String offsetName, int length, String lengthName, int numCallsBelowRequirer)	require (offset >= 0 && offset < length)
static int	inRange(int offset, String offsetName, int start, String startName, int end, String endName)	require (offset >= start && offset < end)
static int	inRange(int offset, String offsetName, int start, String startName, int end, String endName, int numCallsBelowRequirer)	require (offset >= start && offset < end)
static long	inRange(long offset, String offsetName, long length, String lengthName)	require (offset >= 0 && offset < length)
static long	inRange(long offset, String offsetName, long length, String lengthName, int numCallsBelowRequirer)	require (offset >= 0 && offset < length)
static long	inRange(long offset, String offsetName, long start, String startName, long end, String endName)	require (offset >= start && offset < end)
static long	inRange(long offset, String offsetName, long start, String startName, long end, String endName, int numCallsBelowRequirer)	require (offset >= start && offset < end)
static <T> void	instanceOf(Object o, String name, Class<T> type)
static <T> void	instanceOf(Object o, String name, Class<T> type, int numCallsBelowRequirer)	require (o instanceof type)
static void	isAWTThread()	require (current thread is AWT Event Dispatch Thread)
static void	isAWTThread(int numCallsBelowRequirer)
static void	isNotAWTThread()	require (current thread is AWT Event Dispatch Thread)
static void	isNotAWTThread(int numCallsBelowRequirer)
static void	isSquare(double[][] m, String name)
static int[]	lengthEqual(int[] a, String name, int length)
static int[]	lengthEqual(int[] a, String name, int length, int numCallsBelowRequirer)
static byte	leq(byte b0, String name0, byte b1)
static byte	leq(byte b0, String name0, byte b1, int numCallsBelowRequirer)
static byte	leq(byte b0, String name0, byte b1, String name1)
static byte	leq(byte b0, String name0, byte b1, String name1, int numCallsBelowRequirer)	require (b0 <= b1)
static char	leq(char c0, String name0, char c1)
static char	leq(char c0, String name0, char c1, int numCallsBelowRequirer)
static char	leq(char c0, String name0, char c1, String name1)
static char	leq(char c0, String name0, char c1, String name1, int numCallsBelowRequirer)	require (c0 <= c1)
static double	leq(double d0, String name0, double d1)
static double	leq(double d0, String name0, double d1, int numCallsBelowRequirer)
static double	leq(double d0, String name0, double d1, String name1)
static double	leq(double d0, String name0, double d1, String name1, int numCallsBelowRequirer)	require (d0 <= d1)
static float	leq(float f0, String name0, float f1)
static float	leq(float f0, String name0, float f1, int numCallsBelowRequirer)
static float	leq(float f0, String name0, float f1, String name1)
static float	leq(float f0, String name0, float f1, String name1, int numCallsBelowRequirer)	require (f0 <= f1)
static int	leq(int i0, String name0, int i1)
static int	leq(int i0, String name0, int i1, int numCallsBelowRequirer)
static int	leq(int i0, String name0, int i1, String name1)
static int	leq(int i0, String name0, int i1, String name1, int numCallsBelowRequirer)	require (i0 <= i1)
static long	leq(long l0, String name0, long l1)
static long	leq(long l0, String name0, long l1, int numCallsBelowRequirer)
static long	leq(long l0, String name0, long l1, String name1)
static long	leq(long l0, String name0, long l1, String name1, int numCallsBelowRequirer)	require (l0 <= l1)
static short	leq(short s0, String name0, short s1)
static short	leq(short s0, String name0, short s1, int numCallsBelowRequirer)
static short	leq(short s0, String name0, short s1, String name1)
static short	leq(short s0, String name0, short s1, String name1, int numCallsBelowRequirer)	require (s0 <= s1)
static byte	leqZero(byte b, String name)
static byte	leqZero(byte b, String name, int numCallsBelowRequirer)	require (b <= 0)
static double	leqZero(double d, String name)
static double	leqZero(double d, String name, int numCallsBelowRequirer)	require (d <= 0)
static float	leqZero(float f, String name)
static float	leqZero(float f, String name, int numCallsBelowRequirer)	require (f <= 0)
static int	leqZero(int i, String name)
static int	leqZero(int i, String name, int numCallsBelowRequirer)	require (i <= 0)
static long	leqZero(long l, String name)
static long	leqZero(long l, String name, int numCallsBelowRequirer)	require (l <= 0)
static short	leqZero(short s, String name)
static short	leqZero(short s, String name, int numCallsBelowRequirer)	require (s <= 0)
static byte	lt(byte b0, String name0, byte b1)
static byte	lt(byte b0, String name0, byte b1, int numCallsBelowRequirer)
static byte	lt(byte b0, String name0, byte b1, String name1)
static byte	lt(byte b0, String name0, byte b1, String name1, int numCallsBelowRequirer)	require (b0 < b1)
static char	lt(char c0, String name0, char c1)
static char	lt(char c0, String name0, char c1, int numCallsBelowRequirer)
static char	lt(char c0, String name0, char c1, String name1)
static char	lt(char c0, String name0, char c1, String name1, int numCallsBelowRequirer)	require (c0 < c1)
static double	lt(double d0, String name0, double d1)
static double	lt(double d0, String name0, double d1, int numCallsBelowRequirer)
static double	lt(double d0, String name0, double d1, String name1)
static double	lt(double d0, String name0, double d1, String name1, int numCallsBelowRequirer)	require (d0 < d1)
static float	lt(float f0, String name0, float f1)
static float	lt(float f0, String name0, float f1, int numCallsBelowRequirer)
static float	lt(float f0, String name0, float f1, String name1)
static float	lt(float f0, String name0, float f1, String name1, int numCallsBelowRequirer)	require (f0 < f1)
static int	lt(int i0, String name0, int i1)
static int	lt(int i0, String name0, int i1, int numCallsBelowRequirer)
static int	lt(int i0, String name0, int i1, String name1)
static int	lt(int i0, String name0, int i1, String name1, int numCallsBelowRequirer)	require (i0 < i1)
static long	lt(long l0, String name0, long l1)
static long	lt(long l0, String name0, long l1, int numCallsBelowRequirer)
static long	lt(long l0, String name0, long l1, String name1)
static long	lt(long l0, String name0, long l1, String name1, int numCallsBelowRequirer)	require (l0 < l1)
static short	lt(short s0, String name0, short s1)
static short	lt(short s0, String name0, short s1, int numCallsBelowRequirer)
static short	lt(short s0, String name0, short s1, String name1)
static short	lt(short s0, String name0, short s1, String name1, int numCallsBelowRequirer)	require (s0 < s1)
static byte	ltZero(byte b, String name)
static byte	ltZero(byte b, String name, int numCallsBelowRequirer)	require (b < 0)
static double	ltZero(double d, String name)
static double	ltZero(double d, String name, int numCallsBelowRequirer)	require (d < 0)
static float	ltZero(float f, String name)
static float	ltZero(float f, String name, int numCallsBelowRequirer)	require (f < 0)
static int	ltZero(int i, String name)
static int	ltZero(int i, String name, int numCallsBelowRequirer)	require (i < 0)
static long	ltZero(long l, String name)
static long	ltZero(long l, String name, int numCallsBelowRequirer)	require (l < 0)
static short	ltZero(short s, String name)
static short	ltZero(short s, String name, int numCallsBelowRequirer)	require (s < 0)
static void	neq(boolean b0, String name0, boolean b1)
static void	neq(boolean b0, String name0, boolean b1, int numCallsBelowRequirer)
static void	neq(boolean b0, String name0, boolean b1, String name1)
static void	neq(boolean b0, String name0, boolean b1, String name1, int numCallsBelowRequirer)	require (b0 != b1)
static void	neq(byte b0, String name0, byte b1)
static void	neq(byte b0, String name0, byte b1, int numCallsBelowRequirer)
static void	neq(byte b0, String name0, byte b1, String name1)
static void	neq(byte b0, String name0, byte b1, String name1, int numCallsBelowRequirer)	require (b0 != b1)
static void	neq(char c0, String name0, char c1)
static void	neq(char c0, String name0, char c1, int numCallsBelowRequirer)
static void	neq(char c0, String name0, char c1, String name1)
static void	neq(char c0, String name0, char c1, String name1, int numCallsBelowRequirer)	require (c0 != c1)
static void	neq(double d0, String name0, double d1)
static void	neq(double d0, String name0, double d1, int numCallsBelowRequirer)
static void	neq(double d0, String name0, double d1, String name1)
static void	neq(double d0, String name0, double d1, String name1, int numCallsBelowRequirer)	require (d0 != d1)
static void	neq(float f0, String name0, float f1)
static void	neq(float f0, String name0, float f1, int numCallsBelowRequirer)
static void	neq(float f0, String name0, float f1, String name1)
static void	neq(float f0, String name0, float f1, String name1, int numCallsBelowRequirer)	require (f0 != f1)
static void	neq(int i0, String name0, int i1)
static void	neq(int i0, String name0, int i1, int numCallsBelowRequirer)
static int	neq(int i0, String name0, int i1, String name1)
static int	neq(int i0, String name0, int i1, String name1, int numCallsBelowRequirer)	require (i0 != i1)
static void	neq(long l0, String name0, long l1)
static void	neq(long l0, String name0, long l1, int numCallsBelowRequirer)
static void	neq(long l0, String name0, long l1, String name1)
static void	neq(long l0, String name0, long l1, String name1, int numCallsBelowRequirer)	require (l0 != l1)
static void	neq(short s0, String name0, short s1)
static void	neq(short s0, String name0, short s1, int numCallsBelowRequirer)
static void	neq(short s0, String name0, short s1, String name1)
static void	neq(short s0, String name0, short s1, String name1, int numCallsBelowRequirer)	require (s0 != s1)
static void	neq(Object o0, String name0, Object o1)
static void	neq(Object o0, String name0, Object o1, int numCallsBelowRequirer)
static void	neq(Object o0, String name0, Object o1, String name1)
static void	neq(Object o0, String name0, Object o1, String name1, int numCallsBelowRequirer)	require (o0 != o1)
static void	neqFalse(boolean b, String name)
static void	neqFalse(boolean b, String name, int numCallsBelowRequirer)	require (b != false)
static double	neqInf(double o, String name)
static double	neqInf(double o, String name, int numCallsBelowRequirer)	require (o != +/-Inf)
static double	neqNaN(double o, String name)
static double	neqNaN(double o, String name, int numCallsBelowRequirer)	require (o != NaN)
static <T> T	neqNull(T o, String name)
static <T> T	neqNull(T o, String name, int numCallsBelowRequirer)	require (o != null)
static void	neqTrue(boolean b, String name)
static void	neqTrue(boolean b, String name, int numCallsBelowRequirer)	require (b != true)
static byte	neqZero(byte b, String name)
static byte	neqZero(byte b, String name, int numCallsBelowRequirer)	require (b != 0)
static char	neqZero(char c, String name)
static char	neqZero(char c, String name, int numCallsBelowRequirer)	require (c != 0)
static double	neqZero(double d, String name)
static double	neqZero(double d, String name, int numCallsBelowRequirer)	require (d != 0)
static float	neqZero(float f, String name)
static float	neqZero(float f, String name, int numCallsBelowRequirer)	require (f != 0)
static int	neqZero(int i, String name)
static int	neqZero(int i, String name, int numCallsBelowRequirer)	require (i != 0)
static long	neqZero(long l, String name)
static long	neqZero(long l, String name, int numCallsBelowRequirer)	require (l != 0)
static short	neqZero(short s, String name)
static short	neqZero(short s, String name, int numCallsBelowRequirer)	require (s != 0)
static String	nonempty(String s, String name)
static String	nonempty(String s, String name, int numCallsBelowRequirer)	require (s != null && s.length() > 0)
static <T> T[]	nonEmpty(T[] a, String name)
static <T> T[]	nonEmpty(T[] a, String name, int numCallsBelowRequirer)
static double	normalized(double d, String name)	require d != {Infinity, -Infinity, NaN}.
static double	normalized(double d, String name, int numCallsBelowRequirer)	require d != {Infinity, -Infinity, NaN}.
static <C extends Collection<T>, T> C	notContains(C collection, String collectionName, T element, String elementName)
static <C extends Collection<T>, T> C	notContains(C collection, String collectionName, T element, String elementName, int numCallsBelowRequirer)	require (collection != null && !collection.contains(element))
static <M extends Map<K, V>, K, V> M	notContainsKey(M map, String mapName, K key, String keyName)
static <M extends Map<K, V>, K, V> M	notContainsKey(M map, String mapName, K key, String keyName, int numCallsBelowRequirer)	require (map != null && !map.containsKey(element))
static <C extends Collection<T>, T> C	notContainsNull(C collection, String collectionName)
static <C extends Collection<T>, T> C	notContainsNull(C collection, String collectionName, int numCallsBelowRequirer)	require (collection != null && !collection.stream().anyMatch(Objects::isNull)
static void	notEquals(Object o0, String name0, Object o1)	require (o0 != null && o1 != null && !o0.equals(o1))
static void	notEquals(Object o0, String name0, Object o1, int numCallsBelowRequirer)	require (o0 != null && o1 != null && !o0.equals(o1))
static void	notEquals(Object o0, String name0, Object o1, String name1)	require (o0 != null && o1 != null && !o0.equals(o1))
static void	notEquals(Object o0, String name0, Object o1, String name1, int numCallsBelowRequirer)	require (o0 != null && o1 != null && !o0.equals(o1))
static void	notHoldsLock(Object o, String name)
static void	notHoldsLock(Object o, String name, int numCallsBelowRequirer)	require (o != null && !(current thread holds o's lock))
static <T> void	notInstanceOf(Object o, String name, Class<T> type)
static <T> void	notInstanceOf(Object o, String name, Class<T> type, int numCallsBelowRequirer)	require !(o instanceof type)
static void	requirement(boolean condition, String conditionText)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0, boolean b1, String name1)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0, boolean b1, String name1, boolean b2, String name2)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0, boolean b1, String name1, boolean b2, String name2, boolean b3, String name3)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0, boolean b1, String name1, boolean b2, String name2, boolean b3, String name3, int numCallsBelowRequirer)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0, boolean b1, String name1, boolean b2, String name2, int numCallsBelowRequirer)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0, boolean b1, String name1, int numCallsBelowRequirer)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0, double d1, String name1)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0, double d1, String name1, int numCallsBelowRequirer)
static void	requirement(boolean condition, String conditionText, boolean b0, String name0, int numCallsBelowRequirer)	require (condition, boolean b0, String name0, ...
static void	requirement(boolean condition, String conditionText, int numCallsBelowRequirer)	require (condition, conditionText)
static void	requirement(boolean condition, String conditionText, int i0, String name0)
static void	requirement(boolean condition, String conditionText, int i0, String name0, int numCallsBelowRequirer)	require (condition, int i0, String name0, ...
static void	requirement(boolean condition, String conditionText, int i0, String name0, int i1, String name1)
static void	requirement(boolean condition, String conditionText, int i0, String name0, int i1, String name1, int numCallsBelowRequirer)
static void	requirement(boolean condition, String conditionText, long l0, String name0)
static void	requirement(boolean condition, String conditionText, long l0, String name0, int numCallsBelowRequirer)	require (condition, long l0, String name0, ...
static void	requirement(boolean condition, String conditionText, long o0, String name0, long o1, String name1, long o2, String name2)
static void	requirement(boolean condition, String conditionText, long o0, String name0, long o1, String name1, long o2, String name2, int numCallsBelowRequirer)
static void	requirement(boolean condition, String conditionText, Object o0, String name0)
static void	requirement(boolean condition, String conditionText, Object o0, String name0, int numCallsBelowRequirer)	require (condition, Object o0, String name0, ...
static void	requirement(boolean condition, String conditionText, Object o0, String name0, Object o1, String name1)
static void	requirement(boolean condition, String conditionText, Object o0, String name0, Object o1, String name1, int numCallsBelowRequirer)
static void	requirement(boolean condition, String conditionText, Object o0, String name0, Object o1, String name1, Object o2, String name2)
static void	requirement(boolean condition, String conditionText, Object o0, String name0, Object o1, String name1, Object o2, String name2, int numCallsBelowRequirer)
static void	requirement(boolean condition, String conditionText, Object o0, String name0, Object o1, String name1, Object o2, String name2, Object o3, String name3)
static void	requirement(boolean condition, String conditionText, Object o0, String name0, Object o1, String name1, Object o2, String name2, Object o3, String name3, int numCallsBelowRequirer)
static void	requirement(boolean condition, String conditionText, String detailMessage)
static void	requirement(boolean condition, String conditionText, String detailMessage, int numCallsBelowRequirer)	require (condition, conditionText, detailMessage)
static boolean	setOnFailureCallback(Consumer<RequirementFailure> newCallback)
static RequirementFailure	statementNeverExecuted()
static RequirementFailure	statementNeverExecuted(int numCallsBelowRequirer)	require (this statement is never executed)
static RequirementFailure	statementNeverExecuted(String statementDescription)
static RequirementFailure	statementNeverExecuted(String statementDescription, int numCallsBelowRequirer)	require (statementDescription is never executed)
static RequirementFailure	valueNeverOccurs(boolean b, String name)
static RequirementFailure	valueNeverOccurs(boolean b, String name, int numCallsBelowRequirer)	require (this value never occurs, boolean b, name)
static RequirementFailure	valueNeverOccurs(byte b, String name)
static RequirementFailure	valueNeverOccurs(byte b, String name, int numCallsBelowRequirer)	require (this value never occurs, byte b, name)
static RequirementFailure	valueNeverOccurs(char c, String name)
static RequirementFailure	valueNeverOccurs(char c, String name, int numCallsBelowRequirer)	require (this value never occurs, char c, name)
static RequirementFailure	valueNeverOccurs(double d, String name)
static RequirementFailure	valueNeverOccurs(double d, String name, int numCallsBelowRequirer)	require (this value never occurs, double d, name)
static RequirementFailure	valueNeverOccurs(float f, String name)
static RequirementFailure	valueNeverOccurs(float f, String name, int numCallsBelowRequirer)	require (this value never occurs, float f, name)
static RequirementFailure	valueNeverOccurs(int i, String name)
static RequirementFailure	valueNeverOccurs(int i, String name, int numCallsBelowRequirer)	require (this value never occurs, int i, name)
static RequirementFailure	valueNeverOccurs(long l, String name)
static RequirementFailure	valueNeverOccurs(long l, String name, int numCallsBelowRequirer)	require (this value never occurs, long l, name)
static RequirementFailure	valueNeverOccurs(short s, String name)
static RequirementFailure	valueNeverOccurs(short s, String name, int numCallsBelowRequirer)	require (this value never occurs, short s, name)
static RequirementFailure	valueNeverOccurs(Object o, String name)
static RequirementFailure	valueNeverOccurs(Object o, String name, int numCallsBelowRequirer)	require (this value never occurs, Object o, name)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

setOnFailureCallback

public static boolean setOnFailureCallback(Consumer<RequirementFailure> newCallback)

requirement

public static void requirement(boolean condition,
 String conditionText,
 int numCallsBelowRequirer)

require (condition, conditionText)

requirement

public static void requirement(boolean condition,
 String conditionText)

requirement

public static void requirement(boolean condition,
 String conditionText,
 String detailMessage,
 int numCallsBelowRequirer)

require (condition, conditionText, detailMessage)

requirement

public static void requirement(boolean condition,
 String conditionText,
 String detailMessage)

requirement

public static void requirement(boolean condition,
 String conditionText,
 Object o0,
 String name0,
 int numCallsBelowRequirer)

require (condition, Object o0, String name0, ... )

requirement

public static void requirement(boolean condition,
 String conditionText,
 Object o0,
 String name0)

requirement

public static void requirement(boolean condition,
 String conditionText,
 Object o0,
 String name0,
 Object o1,
 String name1,
 int numCallsBelowRequirer)

requirement

public static void requirement(boolean condition,
 String conditionText,
 Object o0,
 String name0,
 Object o1,
 String name1)

requirement

public static void requirement(boolean condition,
 String conditionText,
 Object o0,
 String name0,
 Object o1,
 String name1,
 Object o2,
 String name2,
 int numCallsBelowRequirer)

requirement

public static void requirement(boolean condition,
 String conditionText,
 long o0,
 String name0,
 long o1,
 String name1,
 long o2,
 String name2,
 int numCallsBelowRequirer)

requirement

public static void requirement(boolean condition,
 String conditionText,
 Object o0,
 String name0,
 Object o1,
 String name1,
 Object o2,
 String name2)

requirement

public static void requirement(boolean condition,
 String conditionText,
 long o0,
 String name0,
 long o1,
 String name1,
 long o2,
 String name2)

requirement

public static void requirement(boolean condition,
 String conditionText,
 Object o0,
 String name0,
 Object o1,
 String name1,
 Object o2,
 String name2,
 Object o3,
 String name3,
 int numCallsBelowRequirer)

requirement

public static void requirement(boolean condition,
 String conditionText,
 Object o0,
 String name0,
 Object o1,
 String name1,
 Object o2,
 String name2,
 Object o3,
 String name3)

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0,
 int numCallsBelowRequirer)

require (condition, boolean b0, String name0, ... )

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0)

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0,
 boolean b1,
 String name1,
 int numCallsBelowRequirer)

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0,
 boolean b1,
 String name1)

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0,
 double d1,
 String name1,
 int numCallsBelowRequirer)

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0,
 double d1,
 String name1)

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0,
 boolean b1,
 String name1,
 boolean b2,
 String name2,
 int numCallsBelowRequirer)

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0,
 boolean b1,
 String name1,
 boolean b2,
 String name2)

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0,
 boolean b1,
 String name1,
 boolean b2,
 String name2,
 boolean b3,
 String name3,
 int numCallsBelowRequirer)

requirement

public static void requirement(boolean condition,
 String conditionText,
 boolean b0,
 String name0,
 boolean b1,
 String name1,
 boolean b2,
 String name2,
 boolean b3,
 String name3)

requirement

public static void requirement(boolean condition,
 String conditionText,
 int i0,
 String name0,
 int numCallsBelowRequirer)

require (condition, int i0, String name0, ... )

requirement

public static void requirement(boolean condition,
 String conditionText,
 int i0,
 String name0)

requirement

public static void requirement(boolean condition,
 String conditionText,
 int i0,
 String name0,
 int i1,
 String name1,
 int numCallsBelowRequirer)

requirement

public static void requirement(boolean condition,
 String conditionText,
 int i0,
 String name0,
 int i1,
 String name1)

requirement

public static void requirement(boolean condition,
 String conditionText,
 long l0,
 String name0,
 int numCallsBelowRequirer)

require (condition, long l0, String name0, ... )

requirement

public static void requirement(boolean condition,
 String conditionText,
 long l0,
 String name0)

statementNeverExecuted

public static RequirementFailure statementNeverExecuted(int numCallsBelowRequirer)

require (this statement is never executed)

statementNeverExecuted

public static RequirementFailure statementNeverExecuted()

statementNeverExecuted

public static RequirementFailure statementNeverExecuted(String statementDescription,
 int numCallsBelowRequirer)

require (statementDescription is never executed)

statementNeverExecuted

public static RequirementFailure statementNeverExecuted(String statementDescription)

exceptionNeverCaught

public static RequirementFailure exceptionNeverCaught(Exception e,
 int numCallsBelowRequirer)

require (this exception is never caught, Exception e)

exceptionNeverCaught

public static RequirementFailure exceptionNeverCaught(Exception e)

exceptionNeverCaught

public static RequirementFailure exceptionNeverCaught(String tryStatementDescription,
 Exception e,
 int numCallsBelowRequirer)

require (tryStatementDescription succeeds, Exception e)

exceptionNeverCaught

public static RequirementFailure exceptionNeverCaught(String tryStatementDescription,
 Exception e)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(Object o,
 String name,
 int numCallsBelowRequirer)

require (this value never occurs, Object o, name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(Object o,
 String name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(boolean b,
 String name,
 int numCallsBelowRequirer)

require (this value never occurs, boolean b, name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(boolean b,
 String name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(char c,
 String name,
 int numCallsBelowRequirer)

require (this value never occurs, char c, name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(char c,
 String name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(byte b,
 String name,
 int numCallsBelowRequirer)

require (this value never occurs, byte b, name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(byte b,
 String name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(short s,
 String name,
 int numCallsBelowRequirer)

require (this value never occurs, short s, name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(short s,
 String name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(int i,
 String name,
 int numCallsBelowRequirer)

require (this value never occurs, int i, name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(int i,
 String name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(long l,
 String name,
 int numCallsBelowRequirer)

require (this value never occurs, long l, name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(long l,
 String name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(float f,
 String name,
 int numCallsBelowRequirer)

require (this value never occurs, float f, name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(float f,
 String name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(double d,
 String name,
 int numCallsBelowRequirer)

require (this value never occurs, double d, name)

valueNeverOccurs

public static RequirementFailure valueNeverOccurs(double d,
 String name)

holdsLock

public static void holdsLock(Object o,
 String name,
 int numCallsBelowRequirer)

require (o != null && (current thread holds o's lock))

holdsLock

public static void holdsLock(Object o,
 String name)

notHoldsLock

public static void notHoldsLock(Object o,
 String name,
 int numCallsBelowRequirer)

require (o != null && !(current thread holds o's lock))

notHoldsLock

public static void notHoldsLock(Object o,
 String name)

instanceOf

public static <T> void instanceOf(Object o,
 String name,
 Class<T> type,
 int numCallsBelowRequirer)

require (o instanceof type)

instanceOf

public static <T> void instanceOf(Object o,
 String name,
 Class<T> type)

notInstanceOf

public static <T> void notInstanceOf(Object o,
 String name,
 Class<T> type,
 int numCallsBelowRequirer)

require !(o instanceof type)

notInstanceOf

public static <T> void notInstanceOf(Object o,
 String name,
 Class<T> type)

isAWTThread

public static void isAWTThread()

require (current thread is AWT Event Dispatch Thread)

isAWTThread

public static void isAWTThread(int numCallsBelowRequirer)

isNotAWTThread

public static void isNotAWTThread()

require (current thread is AWT Event Dispatch Thread)

isNotAWTThread

public static void isNotAWTThread(int numCallsBelowRequirer)

eq

public static void eq(boolean b0,
 String name0,
 boolean b1,
 String name1,
 int numCallsBelowRequirer)

require (b0 == b1)

eq

public static void eq(boolean b0,
 String name0,
 boolean b1,
 String name1)

eq

public static void eq(boolean b0,
 String name0,
 boolean b1,
 int numCallsBelowRequirer)

eq

public static void eq(boolean b0,
 String name0,
 boolean b1)

eq

public static void eq(char c0,
 String name0,
 char c1,
 String name1,
 int numCallsBelowRequirer)

require (c0 == c1)

eq

public static void eq(char c0,
 String name0,
 char c1,
 String name1)

eq

public static void eq(char c0,
 String name0,
 char c1,
 int numCallsBelowRequirer)

eq

public static void eq(char c0,
 String name0,
 char c1)

eq

public static void eq(byte b0,
 String name0,
 byte b1,
 String name1,
 int numCallsBelowRequirer)

require (b0 == b1)

eq

public static void eq(byte b0,
 String name0,
 byte b1,
 String name1)

eq

public static void eq(byte b0,
 String name0,
 byte b1,
 int numCallsBelowRequirer)

eq

public static void eq(byte b0,
 String name0,
 byte b1)

eq

public static void eq(short s0,
 String name0,
 short s1,
 String name1,
 int numCallsBelowRequirer)

require (s0 == s1)

eq

public static void eq(short s0,
 String name0,
 short s1,
 String name1)

eq

public static void eq(short s0,
 String name0,
 short s1,
 int numCallsBelowRequirer)

eq

public static void eq(short s0,
 String name0,
 short s1)

eq

public static void eq(int i0,
 String name0,
 int i1,
 String name1,
 int numCallsBelowRequirer)

require (i0 == i1)

eq

public static void eq(int i0,
 String name0,
 int i1,
 String name1)

eq

public static void eq(int i0,
 String name0,
 int i1,
 int numCallsBelowRequirer)

eq

public static void eq(int i0,
 String name0,
 int i1)

eq

public static void eq(long l0,
 String name0,
 long l1,
 String name1,
 int numCallsBelowRequirer)

require (l0 == l1)

eq

public static void eq(long l0,
 String name0,
 long l1,
 String name1)

eq

public static void eq(long l0,
 String name0,
 long l1,
 int numCallsBelowRequirer)

eq

public static void eq(long l0,
 String name0,
 long l1)

eq

public static void eq(float f0,
 String name0,
 float f1,
 String name1,
 int numCallsBelowRequirer)

require (f0 == f1)

eq

public static void eq(float f0,
 String name0,
 float f1,
 String name1)

eq

public static void eq(float f0,
 String name0,
 float f1,
 int numCallsBelowRequirer)

eq

public static void eq(float f0,
 String name0,
 float f1)

eq

public static void eq(double d0,
 String name0,
 double d1,
 String name1,
 int numCallsBelowRequirer)

require (d0 == d1)

eq

public static void eq(double d0,
 String name0,
 double d1,
 String name1)

eq

public static void eq(double d0,
 String name0,
 double d1,
 int numCallsBelowRequirer)

eq

public static void eq(double d0,
 String name0,
 double d1)

neq

public static void neq(boolean b0,
 String name0,
 boolean b1,
 String name1,
 int numCallsBelowRequirer)

require (b0 != b1)

neq

public static void neq(boolean b0,
 String name0,
 boolean b1,
 String name1)

neq

public static void neq(boolean b0,
 String name0,
 boolean b1,
 int numCallsBelowRequirer)

neq

public static void neq(boolean b0,
 String name0,
 boolean b1)

neq

public static void neq(char c0,
 String name0,
 char c1,
 String name1,
 int numCallsBelowRequirer)

require (c0 != c1)

neq

public static void neq(char c0,
 String name0,
 char c1,
 String name1)

neq

public static void neq(char c0,
 String name0,
 char c1,
 int numCallsBelowRequirer)

neq

public static void neq(char c0,
 String name0,
 char c1)

neq

public static void neq(byte b0,
 String name0,
 byte b1,
 String name1,
 int numCallsBelowRequirer)

require (b0 != b1)

neq

public static void neq(byte b0,
 String name0,
 byte b1,
 String name1)

neq

public static void neq(byte b0,
 String name0,
 byte b1,
 int numCallsBelowRequirer)

neq

public static void neq(byte b0,
 String name0,
 byte b1)

neq

public static void neq(short s0,
 String name0,
 short s1,
 String name1,
 int numCallsBelowRequirer)

require (s0 != s1)

neq

public static void neq(short s0,
 String name0,
 short s1,
 String name1)

neq

public static void neq(short s0,
 String name0,
 short s1,
 int numCallsBelowRequirer)

neq

public static void neq(short s0,
 String name0,
 short s1)

neq

public static int neq(int i0,
 String name0,
 int i1,
 String name1,
 int numCallsBelowRequirer)

require (i0 != i1)

neq

public static int neq(int i0,
 String name0,
 int i1,
 String name1)

neq

public static void neq(int i0,
 String name0,
 int i1,
 int numCallsBelowRequirer)

neq

public static void neq(int i0,
 String name0,
 int i1)

neq

public static void neq(long l0,
 String name0,
 long l1,
 String name1,
 int numCallsBelowRequirer)

require (l0 != l1)

neq

public static void neq(long l0,
 String name0,
 long l1,
 String name1)

neq

public static void neq(long l0,
 String name0,
 long l1,
 int numCallsBelowRequirer)

neq

public static void neq(long l0,
 String name0,
 long l1)

neq

public static void neq(float f0,
 String name0,
 float f1,
 String name1,
 int numCallsBelowRequirer)

require (f0 != f1)

neq

public static void neq(float f0,
 String name0,
 float f1,
 String name1)

neq

public static void neq(float f0,
 String name0,
 float f1,
 int numCallsBelowRequirer)

neq

public static void neq(float f0,
 String name0,
 float f1)

neq

public static void neq(double d0,
 String name0,
 double d1,
 String name1,
 int numCallsBelowRequirer)

require (d0 != d1)

neq

public static void neq(double d0,
 String name0,
 double d1,
 String name1)

neq

public static void neq(double d0,
 String name0,
 double d1,
 int numCallsBelowRequirer)

neq

public static void neq(double d0,
 String name0,
 double d1)

lt

public static char lt(char c0,
 String name0,
 char c1,
 String name1,
 int numCallsBelowRequirer)

require (c0 < c1)

lt

public static char lt(char c0,
 String name0,
 char c1,
 String name1)

lt

public static char lt(char c0,
 String name0,
 char c1,
 int numCallsBelowRequirer)

lt

public static char lt(char c0,
 String name0,
 char c1)

lt

public static byte lt(byte b0,
 String name0,
 byte b1,
 String name1,
 int numCallsBelowRequirer)

require (b0 < b1)

lt

public static byte lt(byte b0,
 String name0,
 byte b1,
 String name1)

lt

public static byte lt(byte b0,
 String name0,
 byte b1,
 int numCallsBelowRequirer)

lt

public static byte lt(byte b0,
 String name0,
 byte b1)

lt

public static short lt(short s0,
 String name0,
 short s1,
 String name1,
 int numCallsBelowRequirer)

require (s0 < s1)

lt

public static short lt(short s0,
 String name0,
 short s1,
 String name1)

lt

public static short lt(short s0,
 String name0,
 short s1,
 int numCallsBelowRequirer)

lt

public static short lt(short s0,
 String name0,
 short s1)

lt

public static int lt(int i0,
 String name0,
 int i1,
 String name1,
 int numCallsBelowRequirer)

require (i0 < i1)

lt

public static int lt(int i0,
 String name0,
 int i1,
 String name1)

lt

public static int lt(int i0,
 String name0,
 int i1,
 int numCallsBelowRequirer)

lt

public static int lt(int i0,
 String name0,
 int i1)

lt

public static long lt(long l0,
 String name0,
 long l1,
 String name1,
 int numCallsBelowRequirer)

require (l0 < l1)

lt

public static long lt(long l0,
 String name0,
 long l1,
 String name1)

lt

public static long lt(long l0,
 String name0,
 long l1,
 int numCallsBelowRequirer)

lt

public static long lt(long l0,
 String name0,
 long l1)

lt

public static float lt(float f0,
 String name0,
 float f1,
 String name1,
 int numCallsBelowRequirer)

require (f0 < f1)

lt

public static float lt(float f0,
 String name0,
 float f1,
 String name1)

lt

public static float lt(float f0,
 String name0,
 float f1,
 int numCallsBelowRequirer)

lt

public static float lt(float f0,
 String name0,
 float f1)

lt

public static double lt(double d0,
 String name0,
 double d1,
 String name1,
 int numCallsBelowRequirer)

require (d0 < d1)

lt

public static double lt(double d0,
 String name0,
 double d1,
 String name1)

lt

public static double lt(double d0,
 String name0,
 double d1,
 int numCallsBelowRequirer)

lt

public static double lt(double d0,
 String name0,
 double d1)

leq

public static char leq(char c0,
 String name0,
 char c1,
 String name1,
 int numCallsBelowRequirer)

require (c0 <= c1)

leq

public static char leq(char c0,
 String name0,
 char c1,
 String name1)

leq

public static char leq(char c0,
 String name0,
 char c1,
 int numCallsBelowRequirer)

leq

public static char leq(char c0,
 String name0,
 char c1)

leq

public static byte leq(byte b0,
 String name0,
 byte b1,
 String name1,
 int numCallsBelowRequirer)

require (b0 <= b1)

leq

public static byte leq(byte b0,
 String name0,
 byte b1,
 String name1)

leq

public static byte leq(byte b0,
 String name0,
 byte b1,
 int numCallsBelowRequirer)

leq

public static byte leq(byte b0,
 String name0,
 byte b1)

leq

public static short leq(short s0,
 String name0,
 short s1,
 String name1,
 int numCallsBelowRequirer)

require (s0 <= s1)

leq

public static short leq(short s0,
 String name0,
 short s1,
 String name1)

leq

public static short leq(short s0,
 String name0,
 short s1,
 int numCallsBelowRequirer)

leq

public static short leq(short s0,
 String name0,
 short s1)

leq

public static int leq(int i0,
 String name0,
 int i1,
 String name1,
 int numCallsBelowRequirer)

require (i0 <= i1)

leq

public static int leq(int i0,
 String name0,
 int i1,
 String name1)

leq

public static int leq(int i0,
 String name0,
 int i1,
 int numCallsBelowRequirer)

leq

public static int leq(int i0,
 String name0,
 int i1)

leq

public static long leq(long l0,
 String name0,
 long l1,
 String name1,
 int numCallsBelowRequirer)

require (l0 <= l1)

leq

public static long leq(long l0,
 String name0,
 long l1,
 String name1)

leq

public static long leq(long l0,
 String name0,
 long l1,
 int numCallsBelowRequirer)

leq

public static long leq(long l0,
 String name0,
 long l1)

leq

public static float leq(float f0,
 String name0,
 float f1,
 String name1,
 int numCallsBelowRequirer)

require (f0 <= f1)

leq

public static float leq(float f0,
 String name0,
 float f1,
 String name1)

leq

public static float leq(float f0,
 String name0,
 float f1,
 int numCallsBelowRequirer)

leq

public static float leq(float f0,
 String name0,
 float f1)

leq

public static double leq(double d0,
 String name0,
 double d1,
 String name1,
 int numCallsBelowRequirer)

require (d0 <= d1)

leq

public static double leq(double d0,
 String name0,
 double d1,
 String name1)

leq

public static double leq(double d0,
 String name0,
 double d1,
 int numCallsBelowRequirer)

leq

public static double leq(double d0,
 String name0,
 double d1)

gt

public static char gt(char c0,
 String name0,
 char c1,
 String name1,
 int numCallsBelowRequirer)

require (c0 > c1)

gt

public static char gt(char c0,
 String name0,
 char c1,
 String name1)

gt

public static char gt(char c0,
 String name0,
 char c1,
 int numCallsBelowRequirer)

gt

public static char gt(char c0,
 String name0,
 char c1)

gt

public static byte gt(byte b0,
 String name0,
 byte b1,
 String name1,
 int numCallsBelowRequirer)

require (b0 > b1)

gt

public static byte gt(byte b0,
 String name0,
 byte b1,
 String name1)

gt

public static byte gt(byte b0,
 String name0,
 byte b1,
 int numCallsBelowRequirer)

gt

public static byte gt(byte b0,
 String name0,
 byte b1)

gt

public static short gt(short s0,
 String name0,
 short s1,
 String name1,
 int numCallsBelowRequirer)

require (s0 > s1)

gt

public static short gt(short s0,
 String name0,
 short s1,
 String name1)

gt

public static short gt(short s0,
 String name0,
 short s1,
 int numCallsBelowRequirer)

gt

public static short gt(short s0,
 String name0,
 short s1)

gt

public static int gt(int i0,
 String name0,
 int i1,
 String name1,
 int numCallsBelowRequirer)

require (i0 > i1)

gt

public static int gt(int i0,
 String name0,
 int i1,
 String name1)

gt

public static int gt(int i0,
 String name0,
 int i1,
 int numCallsBelowRequirer)

gt

public static int gt(int i0,
 String name0,
 int i1)

gt

public static long gt(long l0,
 String name0,
 long l1,
 String name1,
 int numCallsBelowRequirer)

require (l0 > l1)

gt

public static long gt(long l0,
 String name0,
 long l1,
 String name1)

gt

public static long gt(long l0,
 String name0,
 long l1,
 int numCallsBelowRequirer)

gt

public static long gt(long l0,
 String name0,
 long l1)

gt

public static float gt(float f0,
 String name0,
 float f1,
 String name1,
 int numCallsBelowRequirer)

require (f0 > f1)

gt

public static float gt(float f0,
 String name0,
 float f1,
 String name1)

gt

public static float gt(float f0,
 String name0,
 float f1,
 int numCallsBelowRequirer)

gt

public static float gt(float f0,
 String name0,
 float f1)

gt

public static double gt(double d0,
 String name0,
 double d1,
 String name1,
 int numCallsBelowRequirer)

require (d0 > d1)

gt

public static double gt(double d0,
 String name0,
 double d1,
 String name1)

gt

public static double gt(double d0,
 String name0,
 double d1,
 int numCallsBelowRequirer)

gt

public static double gt(double d0,
 String name0,
 double d1)

geq

public static char geq(char c0,
 String name0,
 char c1,
 String name1,
 int numCallsBelowRequirer)

require (c0 >= c1)

geq

public static char geq(char c0,
 String name0,
 char c1,
 String name1)

geq

public static char geq(char c0,
 String name0,
 char c1,
 int numCallsBelowRequirer)

geq

public static char geq(char c0,
 String name0,
 char c1)

geq

public static byte geq(byte b0,
 String name0,
 byte b1,
 String name1,
 int numCallsBelowRequirer)

require (b0 >= b1)

geq

public static byte geq(byte b0,
 String name0,
 byte b1,
 String name1)

geq

public static byte geq(byte b0,
 String name0,
 byte b1,
 int numCallsBelowRequirer)

geq

public static byte geq(byte b0,
 String name0,
 byte b1)

geq

public static short geq(short s0,
 String name0,
 short s1,
 String name1,
 int numCallsBelowRequirer)

require (s0 >= s1)

geq

public static short geq(short s0,
 String name0,
 short s1,
 String name1)

geq

public static short geq(short s0,
 String name0,
 short s1,
 int numCallsBelowRequirer)

geq

public static short geq(short s0,
 String name0,
 short s1)

geq

public static int geq(int i0,
 String name0,
 int i1,
 String name1,
 int numCallsBelowRequirer)

require (i0 >= i1)

geq

public static int geq(int i0,
 String name0,
 int i1,
 String name1)

geq

public static int geq(int i0,
 String name0,
 int i1,
 int numCallsBelowRequirer)

geq

public static int geq(int i0,
 String name0,
 int i1)

geq

public static long geq(long l0,
 String name0,
 long l1,
 String name1,
 int numCallsBelowRequirer)

require (l0 >= l1)

geq

public static long geq(long l0,
 String name0,
 long l1,
 String name1)

geq

public static long geq(long l0,
 String name0,
 long l1,
 int numCallsBelowRequirer)

geq

public static long geq(long l0,
 String name0,
 long l1)

geq

public static float geq(float f0,
 String name0,
 float f1,
 String name1,
 int numCallsBelowRequirer)

require (f0 >= f1)

geq

public static float geq(float f0,
 String name0,
 float f1,
 String name1)

geq

public static float geq(float f0,
 String name0,
 float f1,
 int numCallsBelowRequirer)

geq

public static float geq(float f0,
 String name0,
 float f1)

geq

public static double geq(double d0,
 String name0,
 double d1,
 String name1,
 int numCallsBelowRequirer)

require (d0 >= d1)

geq

public static double geq(double d0,
 String name0,
 double d1,
 String name1)

geq

public static double geq(double d0,
 String name0,
 double d1,
 int numCallsBelowRequirer)

geq

public static double geq(double d0,
 String name0,
 double d1)

eqFalse

public static void eqFalse(boolean b,
 String name,
 int numCallsBelowRequirer)

require (b == false)

eqFalse

public static void eqFalse(boolean b,
 String name)

neqFalse

public static void neqFalse(boolean b,
 String name,
 int numCallsBelowRequirer)

require (b != false)

neqFalse

public static void neqFalse(boolean b,
 String name)

eqTrue

public static void eqTrue(boolean b,
 String name,
 int numCallsBelowRequirer)

require (b == true)

eqTrue

public static void eqTrue(boolean b,
 String name)

neqTrue

public static void neqTrue(boolean b,
 String name,
 int numCallsBelowRequirer)

require (b != true)

neqTrue

public static void neqTrue(boolean b,
 String name)

eqZero

public static void eqZero(char c,
 String name,
 int numCallsBelowRequirer)

require (c == 0)

eqZero

public static void eqZero(char c,
 String name)

eqZero

public static void eqZero(byte b,
 String name,
 int numCallsBelowRequirer)

require (b == 0)

eqZero

public static void eqZero(byte b,
 String name)

eqZero

public static void eqZero(short s,
 String name,
 int numCallsBelowRequirer)

require (s == 0)

eqZero

public static void eqZero(short s,
 String name)

eqZero

public static void eqZero(int i,
 String name,
 int numCallsBelowRequirer)

require (i == 0)

eqZero

public static void eqZero(int i,
 String name)

eqZero

public static void eqZero(long l,
 String name,
 int numCallsBelowRequirer)

require (l == 0)

eqZero

public static void eqZero(long l,
 String name)

eqZero

public static void eqZero(float f,
 String name,
 int numCallsBelowRequirer)

require (f == 0)

eqZero

public static void eqZero(float f,
 String name)

eqZero

public static void eqZero(double d,
 String name,
 int numCallsBelowRequirer)

require (d == 0)

eqZero

public static void eqZero(double d,
 String name)

neqZero

public static char neqZero(char c,
 String name,
 int numCallsBelowRequirer)

require (c != 0)

neqZero

public static char neqZero(char c,
 String name)

neqZero

public static byte neqZero(byte b,
 String name,
 int numCallsBelowRequirer)

require (b != 0)

neqZero

public static byte neqZero(byte b,
 String name)

neqZero

public static short neqZero(short s,
 String name,
 int numCallsBelowRequirer)

require (s != 0)

neqZero

public static short neqZero(short s,
 String name)

neqZero

public static int neqZero(int i,
 String name,
 int numCallsBelowRequirer)

require (i != 0)

neqZero

public static int neqZero(int i,
 String name)

neqZero

public static long neqZero(long l,
 String name,
 int numCallsBelowRequirer)

require (l != 0)

neqZero

public static long neqZero(long l,
 String name)

neqZero

public static float neqZero(float f,
 String name,
 int numCallsBelowRequirer)

require (f != 0)

neqZero

public static float neqZero(float f,
 String name)

neqZero

public static double neqZero(double d,
 String name,
 int numCallsBelowRequirer)

require (d != 0)

neqZero

public static double neqZero(double d,
 String name)

ltZero

public static byte ltZero(byte b,
 String name,
 int numCallsBelowRequirer)

require (b < 0)

ltZero

public static byte ltZero(byte b,
 String name)

ltZero

public static short ltZero(short s,
 String name,
 int numCallsBelowRequirer)

require (s < 0)

ltZero

public static short ltZero(short s,
 String name)

ltZero

public static int ltZero(int i,
 String name,
 int numCallsBelowRequirer)

require (i < 0)

ltZero

public static int ltZero(int i,
 String name)

ltZero

public static long ltZero(long l,
 String name,
 int numCallsBelowRequirer)

require (l < 0)

ltZero

public static long ltZero(long l,
 String name)

ltZero

public static float ltZero(float f,
 String name,
 int numCallsBelowRequirer)

require (f < 0)

ltZero

public static float ltZero(float f,
 String name)

ltZero

public static double ltZero(double d,
 String name,
 int numCallsBelowRequirer)

require (d < 0)

ltZero

public static double ltZero(double d,
 String name)

leqZero

public static byte leqZero(byte b,
 String name,
 int numCallsBelowRequirer)

require (b <= 0)

leqZero

public static byte leqZero(byte b,
 String name)

leqZero

public static short leqZero(short s,
 String name,
 int numCallsBelowRequirer)

require (s <= 0)

leqZero

public static short leqZero(short s,
 String name)

leqZero

public static int leqZero(int i,
 String name,
 int numCallsBelowRequirer)

require (i <= 0)

leqZero

public static int leqZero(int i,
 String name)

leqZero

public static long leqZero(long l,
 String name,
 int numCallsBelowRequirer)

require (l <= 0)

leqZero

public static long leqZero(long l,
 String name)

leqZero

public static float leqZero(float f,
 String name,
 int numCallsBelowRequirer)

require (f <= 0)

leqZero

public static float leqZero(float f,
 String name)

leqZero

public static double leqZero(double d,
 String name,
 int numCallsBelowRequirer)

require (d <= 0)

leqZero

public static double leqZero(double d,
 String name)

gtZero

public static byte gtZero(byte b,
 String name,
 int numCallsBelowRequirer)

require (b > 0)

gtZero

public static byte gtZero(byte b,
 String name)

gtZero

public static short gtZero(short s,
 String name,
 int numCallsBelowRequirer)

require (s > 0)

gtZero

public static short gtZero(short s,
 String name)

gtZero

public static int gtZero(int i,
 String name,
 int numCallsBelowRequirer)

require (i > 0)

gtZero

public static int gtZero(int i,
 String name)

gtZero

public static long gtZero(long l,
 String name,
 int numCallsBelowRequirer)

require (l > 0)

gtZero

public static long gtZero(long l,
 String name)

gtZero

public static float gtZero(float f,
 String name,
 int numCallsBelowRequirer)

require (f > 0)

gtZero

public static float gtZero(float f,
 String name)

gtZero

public static double gtZero(double d,
 String name,
 int numCallsBelowRequirer)

require (d > 0)

gtZero

public static double gtZero(double d,
 String name)

geqZero

public static byte geqZero(byte b,
 String name,
 int numCallsBelowRequirer)

require (b >= 0)

geqZero

public static byte geqZero(byte b,
 String name)

geqZero

public static short geqZero(short s,
 String name,
 int numCallsBelowRequirer)

require (s >= 0)

geqZero

public static short geqZero(short s,
 String name)

geqZero

public static int geqZero(int i,
 String name,
 int numCallsBelowRequirer)

require (i >= 0)

geqZero

public static int geqZero(int i,
 String name)

geqZero

public static long geqZero(long l,
 String name,
 int numCallsBelowRequirer)

require (l >= 0)

geqZero

public static long geqZero(long l,
 String name)

geqZero

public static float geqZero(float f,
 String name,
 int numCallsBelowRequirer)

require (f >= 0)

geqZero

public static float geqZero(float f,
 String name)

geqZero

public static double geqZero(double d,
 String name,
 int numCallsBelowRequirer)

require (d >= 0)

geqZero

public static double geqZero(double d,
 String name)

eq

public static void eq(Object o0,
 String name0,
 Object o1,
 String name1,
 int numCallsBelowRequirer)

require (o0 == o1)

eq

public static void eq(Object o0,
 String name0,
 Object o1,
 String name1)

eq

public static void eq(Object o0,
 String name0,
 Object o1,
 int numCallsBelowRequirer)

eq

public static void eq(Object o0,
 String name0,
 Object o1)

neq

public static void neq(Object o0,
 String name0,
 Object o1,
 String name1,
 int numCallsBelowRequirer)

require (o0 != o1)

neq

public static void neq(Object o0,
 String name0,
 Object o1,
 String name1)

neq

public static void neq(Object o0,
 String name0,
 Object o1,
 int numCallsBelowRequirer)

neq

public static void neq(Object o0,
 String name0,
 Object o1)

eqNull

public static void eqNull(Object o,
 String name,
 int numCallsBelowRequirer)

require (o == null)

eqNull

public static void eqNull(Object o,
 String name)

neqNull

@NotNull
public static <T> T neqNull(T o,
 String name,
 int numCallsBelowRequirer)

require (o != null)

neqNull

@NotNull
public static <T> T neqNull(T o,
 String name)

neqNaN

public static double neqNaN(double o,
 String name,
 int numCallsBelowRequirer)

require (o != NaN)

neqNaN

public static double neqNaN(double o,
 String name)

neqInf

public static double neqInf(double o,
 String name,
 int numCallsBelowRequirer)

require (o != +/-Inf)

neqInf

public static double neqInf(double o,
 String name)

equals

public static void equals(Object o0,
 String name0,
 Object o1,
 String name1,
 int numCallsBelowRequirer)

require (o0 != null && o1 != null && o0.equals(o1))

equals

public static void equals(Object o0,
 String name0,
 Object o1,
 String name1)

require (o0 != null && o1 != null && o0.equals(o1))

equals

public static void equals(Object o0,
 String name0,
 Object o1,
 int numCallsBelowRequirer)

require (o0 != null && o1 != null && o0.equals(o1))

equals

public static void equals(Object o0,
 String name0,
 Object o1)

require (o0 != null && o1 != null && o0.equals(o1))

notEquals

public static void notEquals(Object o0,
 String name0,
 Object o1,
 String name1,
 int numCallsBelowRequirer)

require (o0 != null && o1 != null && !o0.equals(o1))

notEquals

public static void notEquals(Object o0,
 String name0,
 Object o1,
 String name1)

require (o0 != null && o1 != null && !o0.equals(o1))

notEquals

public static void notEquals(Object o0,
 String name0,
 Object o1,
 int numCallsBelowRequirer)

require (o0 != null && o1 != null && !o0.equals(o1))

notEquals

public static void notEquals(Object o0,
 String name0,
 Object o1)

require (o0 != null && o1 != null && !o0.equals(o1))

nonempty

public static String nonempty(String s,
 String name,
 int numCallsBelowRequirer)

require (s != null && s.length() > 0)

nonempty

public static String nonempty(String s,
 String name)

contains

public static <C extends Collection<T>,
T> C contains(C collection,
 String collectionName,
 T element,
 String elementName,
 int numCallsBelowRequirer)

require (collection != null && collection.contains(element))

contains

public static <C extends Collection<T>,
T> C contains(C collection,
 String collectionName,
 T element,
 String elementName)

notContains

public static <C extends Collection<T>,
T> C notContains(C collection,
 String collectionName,
 T element,
 String elementName,
 int numCallsBelowRequirer)

require (collection != null && !collection.contains(element))

notContains

public static <C extends Collection<T>,
T> C notContains(C collection,
 String collectionName,
 T element,
 String elementName)

notContainsNull

public static <C extends Collection<T>,
T> C notContainsNull(C collection,
 String collectionName,
 int numCallsBelowRequirer)

require (collection != null && !collection.stream().anyMatch(Objects::isNull)

notContainsNull

public static <C extends Collection<T>,
T> C notContainsNull(C collection,
 String collectionName)

containsKey

public static <M extends Map<K,
V>,
K,
V> M containsKey(M map,
 String mapName,
 K key,
 String keyName,
 int numCallsBelowRequirer)

require (map != null && map.containsKey(key))

containsKey

public static <M extends Map<K,
V>,
K,
V> M containsKey(M map,
 String mapName,
 K key,
 String keyName)

notContainsKey

public static <M extends Map<K,
V>,
K,
V> M notContainsKey(M map,
 String mapName,
 K key,
 String keyName,
 int numCallsBelowRequirer)

require (map != null && !map.containsKey(element))

notContainsKey

public static <M extends Map<K,
V>,
K,
V> M notContainsKey(M map,
 String mapName,
 K key,
 String keyName)

inRange

public static int inRange(int offset,
 String offsetName,
 int length,
 String lengthName,
 int numCallsBelowRequirer)

require (offset >= 0 && offset < length)

inRange

public static int inRange(int offset,
 String offsetName,
 int length,
 String lengthName)

require (offset >= 0 && offset < length)

inRange

public static int inRange(int offset,
 String offsetName,
 int start,
 String startName,
 int end,
 String endName,
 int numCallsBelowRequirer)

require (offset >= start && offset < end)

inRange

public static int inRange(int offset,
 String offsetName,
 int start,
 String startName,
 int end,
 String endName)

require (offset >= start && offset < end)

inRange

public static long inRange(long offset,
 String offsetName,
 long length,
 String lengthName,
 int numCallsBelowRequirer)

require (offset >= 0 && offset < length)

inRange

public static long inRange(long offset,
 String offsetName,
 long length,
 String lengthName)

require (offset >= 0 && offset < length)

inRange

public static long inRange(long offset,
 String offsetName,
 long start,
 String startName,
 long end,
 String endName,
 int numCallsBelowRequirer)

require (offset >= start && offset < end)

inRange

public static long inRange(long offset,
 String offsetName,
 long start,
 String startName,
 long end,
 String endName)

require (offset >= start && offset < end)

normalized

public static double normalized(double d,
 String name,
 int numCallsBelowRequirer)

require d != {Infinity, -Infinity, NaN}.

normalized

public static double normalized(double d,
 String name)

require d != {Infinity, -Infinity, NaN}.

nonEmpty

public static <T> T[] nonEmpty(T[] a,
 String name,
 int numCallsBelowRequirer)

nonEmpty

public static <T> T[] nonEmpty(T[] a,
 String name)

lengthEqual

public static int[] lengthEqual(int[] a,
 String name,
 int length,
 int numCallsBelowRequirer)

lengthEqual

public static int[] lengthEqual(int[] a,
 String name,
 int length)

elementsNeqNull

public static <T> T[] elementsNeqNull(T[] elements,
 String name)

elementsNeqNaN

public static void elementsNeqNaN(double[] elements,
 String name)

elementsNeqNaN

public static void elementsNeqNaN(double[][] elements,
 String name)

elementsNeqInf

public static void elementsNeqInf(double[] elements,
 String name)

elementsNeqInf

public static void elementsNeqInf(double[][] elements,
 String name)

isSquare

public static void isSquare(double[][] m,
 String name)

inRange

public static double inRange(double trialValue,
 double endPointA,
 double endPointB,
 String name)

inRange

public static float inRange(float trialValue,
 float endPointA,
 float endPointB,
 String name)