net.sf.twip
Class TwipAssumeTest

java.lang.Object
  net.sf.twip.TwipAssumeTest

public class TwipAssumeTest
extends Object

Test the Assume functionality of TwiP.

Nested Class Summary

static class

TwipAssumeTest.OneTwoThree

Field Summary

static Integer[]

SOME_INTS

Constructor Summary

TwipAssumeTest()

Method Summary

static void	assertCallCount()
void	assumeAndValues(int i)
void	assumeByteGreaterThanOne(byte i)
void	assumeByteGreaterThanOne(Byte i)
void	assumeByteGreaterThanOneNotNull(Byte i)
void	assumeByteGreaterThanOrEqualOne(byte i)
void	assumeByteGreaterThanOrEqualOne(Byte i)
void	assumeByteGreaterThanOrEqualOneNotNull(Byte i)
void	assumeByteGreaterThanOrEqualZero(byte i)
void	assumeByteGreaterThanOrEqualZero(Byte i)
void	assumeByteGreaterThanOrEqualZeroNotNull(Byte i)
void	assumeByteGreaterThanZero(byte i)
void	assumeByteGreaterThanZero(Byte i)
void	assumeByteGreaterThanZeroNotNull(Byte i)
void	assumeByteLessThanMinusOne(Byte i)
void	assumeByteLessThanOne(byte i)
void	assumeByteLessThanOne(Byte i)
void	assumeByteLessThanOneNotNull(Byte i)
void	assumeByteLessThanOrEqualOne(byte i)
void	assumeByteLessThanOrEqualOne(Byte i)
void	assumeByteLessThanOrEqualOneNotNull(Byte i)
void	assumeByteLessThanOrEqualZero(byte i)
void	assumeByteLessThanOrEqualZero(Byte i)
void	assumeByteLessThanOrEqualZeroNotNull(Byte i)
void	assumeByteLessThanZero(byte i)
void	assumeByteLessThanZero(Byte i)
void	assumeByteLessThanZeroNotNull(Byte i)
void	assumeByteNotOne(byte i)
void	assumeByteNotZero(byte i)
void	assumeDoubleGreaterThanOne(double i)
void	assumeDoubleGreaterThanOne(Double i)
void	assumeDoubleGreaterThanOneNotNull(Double i)
void	assumeDoubleGreaterThanOrEqualOne(double i)
void	assumeDoubleGreaterThanOrEqualOne(Double i)
void	assumeDoubleGreaterThanOrEqualOneNotNull(Double i)
void	assumeDoubleGreaterThanOrEqualZero(double i)
void	assumeDoubleGreaterThanOrEqualZero(Double i)
void	assumeDoubleGreaterThanOrEqualZeroNotNull(Double i)
void	assumeDoubleGreaterThanZero(double i)
void	assumeDoubleGreaterThanZero(Double i)
void	assumeDoubleGreaterThanZeroNotNull(Double i)
void	assumeDoubleLessThanMinusOne(Double i)
void	assumeDoubleLessThanOne(double i)
void	assumeDoubleLessThanOne(Double i)
void	assumeDoubleLessThanOneNotNull(Double i)
void	assumeDoubleLessThanOrEqualOne(double i)
void	assumeDoubleLessThanOrEqualOne(Double i)
void	assumeDoubleLessThanOrEqualOneNotNull(Double i)
void	assumeDoubleLessThanOrEqualZero(double i)
void	assumeDoubleLessThanOrEqualZero(Double i)
void	assumeDoubleLessThanOrEqualZeroNotNull(Double i)
void	assumeDoubleLessThanZero(double i)
void	assumeDoubleLessThanZero(Double i)
void	assumeDoubleLessThanZeroNotNull(Double i)
void	assumeDoubleNotNaN(double i)
void	assumeDoubleNotNegativeInfinity(double i)
void	assumeDoubleNotOne(double i)
void	assumeDoubleNotPositiveInfinity(double i)
void	assumeDoubleNotZero(double i)
void	assumeEnumGreater(TwipAssumeTest.OneTwoThree ott)
void	assumeEnumNotEqual(TwipAssumeTest.OneTwoThree ott)
void	assumeFloatGreaterThanOne(float i)
void	assumeFloatGreaterThanOne(Float i)
void	assumeFloatGreaterThanOneNotNull(Float i)
void	assumeFloatGreaterThanOrEqualOne(float i)
void	assumeFloatGreaterThanOrEqualOne(Float i)
void	assumeFloatGreaterThanOrEqualOneNotNull(Float i)
void	assumeFloatGreaterThanOrEqualZero(float i)
void	assumeFloatGreaterThanOrEqualZero(Float i)
void	assumeFloatGreaterThanOrEqualZeroNotNull(Float i)
void	assumeFloatGreaterThanZero(float i)
void	assumeFloatGreaterThanZero(Float i)
void	assumeFloatGreaterThanZeroNotNull(Float i)
void	assumeFloatLessThanMinusOne(Float i)
void	assumeFloatLessThanOne(float i)
void	assumeFloatLessThanOne(Float i)
void	assumeFloatLessThanOneNotNull(Float i)
void	assumeFloatLessThanOrEqualOne(float i)
void	assumeFloatLessThanOrEqualOne(Float i)
void	assumeFloatLessThanOrEqualOneNotNull(Float i)
void	assumeFloatLessThanOrEqualZero(float i)
void	assumeFloatLessThanOrEqualZero(Float i)
void	assumeFloatLessThanOrEqualZeroNotNull(Float i)
void	assumeFloatLessThanZero(float i)
void	assumeFloatLessThanZero(Float i)
void	assumeFloatLessThanZeroNotNull(Float i)
void	assumeFloatNotNaN(float i)
void	assumeFloatNotNegativeInfinity(float i)
void	assumeFloatNotOne(float i)
void	assumeFloatNotPositiveInfinity(float i)
void	assumeFloatNotZero(float i)
void	assumeIntegerGreaterThanOne(Integer i)
void	assumeIntegerGreaterThanOneNotNull(Integer i)
void	assumeIntegerGreaterThanOrEqualOne(Integer i)
void	assumeIntegerGreaterThanOrEqualOneNotNull(Integer i)
void	assumeIntegerGreaterThanOrEqualZero(Integer i)
void	assumeIntegerGreaterThanOrEqualZeroNotNull(Integer i)
void	assumeIntegerGreaterThanZero(Integer i)
void	assumeIntegerGreaterThanZeroNotNull(Integer i)
void	assumeIntegerLessThanMinusOne(Integer i)
void	assumeIntegerLessThanOne(Integer i)
void	assumeIntegerLessThanOneNotNull(Integer i)
void	assumeIntegerLessThanOrEqualOne(Integer i)
void	assumeIntegerLessThanOrEqualOneNotNull(Integer i)
void	assumeIntegerLessThanOrEqualZero(Integer i)
void	assumeIntegerLessThanOrEqualZeroNotNull(Integer i)
void	assumeIntegerLessThanZero(Integer i)
void	assumeIntegerLessThanZeroNotNull(Integer i)
void	assumeIntGreaterThanOne(int i)
void	assumeIntGreaterThanOneHundred(int i)
void	assumeIntGreaterThanOneThousand(int i)
void	assumeIntGreaterThanOrEqualOne(int i)
void	assumeIntGreaterThanOrEqualZero(int i)
void	assumeIntGreaterThanTen(int i)
void	assumeIntGreaterThanZero(int i)
void	assumeIntLessThanOne(int i)
void	assumeIntLessThanOrEqualOne(int i)
void	assumeIntLessThanOrEqualZero(int i)
void	assumeIntLessThanZero(int i)
void	assumeIntNotOne(int i)
void	assumeIntNotZero(int i)
void	assumeLongGreaterThanOne(long i)
void	assumeLongGreaterThanOne(Long i)
void	assumeLongGreaterThanOneNotNull(Long i)
void	assumeLongGreaterThanOrEqualOne(long i)
void	assumeLongGreaterThanOrEqualOne(Long i)
void	assumeLongGreaterThanOrEqualOneNotNull(Long i)
void	assumeLongGreaterThanOrEqualZero(long i)
void	assumeLongGreaterThanOrEqualZero(Long i)
void	assumeLongGreaterThanOrEqualZeroNotNull(Long i)
void	assumeLongGreaterThanZero(long i)
void	assumeLongGreaterThanZero(Long i)
void	assumeLongGreaterThanZeroNotNull(Long i)
void	assumeLongLessThanMinusOne(Long i)
void	assumeLongLessThanOne(long i)
void	assumeLongLessThanOne(Long i)
void	assumeLongLessThanOneNotNull(Long i)
void	assumeLongLessThanOrEqualOne(long i)
void	assumeLongLessThanOrEqualOne(Long i)
void	assumeLongLessThanOrEqualOneNotNull(Long i)
void	assumeLongLessThanOrEqualZero(long i)
void	assumeLongLessThanOrEqualZero(Long i)
void	assumeLongLessThanOrEqualZeroNotNull(Long i)
void	assumeLongLessThanZero(long i)
void	assumeLongLessThanZero(Long i)
void	assumeLongLessThanZeroNotNull(Long i)
void	assumeLongNotOne(long i)
void	assumeLongNotZero(long i)
void	assumeShortGreaterThanOne(short i)
void	assumeShortGreaterThanOne(Short i)
void	assumeShortGreaterThanOneNotNull(Short i)
void	assumeShortGreaterThanOrEqualOne(short i)
void	assumeShortGreaterThanOrEqualOne(Short i)
void	assumeShortGreaterThanOrEqualOneNotNull(Short i)
void	assumeShortGreaterThanOrEqualZero(short i)
void	assumeShortGreaterThanOrEqualZero(Short i)
void	assumeShortGreaterThanOrEqualZeroNotNull(Short i)
void	assumeShortGreaterThanZero(short i)
void	assumeShortGreaterThanZero(Short i)
void	assumeShortGreaterThanZeroNotNull(Short i)
void	assumeShortLessThanMinusOne(Short i)
void	assumeShortLessThanOne(short i)
void	assumeShortLessThanOne(Short i)
void	assumeShortLessThanOneNotNull(Short i)
void	assumeShortLessThanOrEqualOne(short i)
void	assumeShortLessThanOrEqualOne(Short i)
void	assumeShortLessThanOrEqualOneNotNull(Short i)
void	assumeShortLessThanOrEqualZero(short i)
void	assumeShortLessThanOrEqualZero(Short i)
void	assumeShortLessThanOrEqualZeroNotNull(Short i)
void	assumeShortLessThanZero(short i)
void	assumeShortLessThanZero(Short i)
void	assumeShortLessThanZeroNotNull(Short i)
void	assumeShortNotOne(short i)
void	assumeShortNotZero(short i)
void	shouldFailForIllegalExpression(short i)
void	shouldFailForIllegalExpression2(short i)
void	splitAndExpression(short i)
void	splitAndExpression2(short i)

Methods inherited from class java.lang.Object

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

Field Detail

SOME_INTS

public static final Integer[] SOME_INTS

Constructor Detail

TwipAssumeTest

public TwipAssumeTest()

Method Detail

assertCallCount

public static void assertCallCount()

assumeAndValues

public void assumeAndValues(int i)

assumeByteGreaterThanOne

public void assumeByteGreaterThanOne(byte i)

assumeByteGreaterThanOne

public void assumeByteGreaterThanOne(Byte i)

assumeByteGreaterThanOneNotNull

public void assumeByteGreaterThanOneNotNull(Byte i)

assumeByteGreaterThanOrEqualOne

public void assumeByteGreaterThanOrEqualOne(byte i)

assumeByteGreaterThanOrEqualOne

public void assumeByteGreaterThanOrEqualOne(Byte i)

assumeByteGreaterThanOrEqualOneNotNull

public void assumeByteGreaterThanOrEqualOneNotNull(Byte i)

assumeByteGreaterThanOrEqualZero

public void assumeByteGreaterThanOrEqualZero(byte i)

assumeByteGreaterThanOrEqualZero

public void assumeByteGreaterThanOrEqualZero(Byte i)

assumeByteGreaterThanOrEqualZeroNotNull

public void assumeByteGreaterThanOrEqualZeroNotNull(Byte i)

assumeByteGreaterThanZero

public void assumeByteGreaterThanZero(byte i)

assumeByteGreaterThanZero

public void assumeByteGreaterThanZero(Byte i)

assumeByteGreaterThanZeroNotNull

public void assumeByteGreaterThanZeroNotNull(Byte i)

assumeByteLessThanMinusOne

public void assumeByteLessThanMinusOne(Byte i)

assumeByteLessThanOne

public void assumeByteLessThanOne(byte i)

assumeByteLessThanOne

public void assumeByteLessThanOne(Byte i)

assumeByteLessThanOneNotNull

public void assumeByteLessThanOneNotNull(Byte i)

assumeByteLessThanOrEqualOne

public void assumeByteLessThanOrEqualOne(byte i)

assumeByteLessThanOrEqualOne

public void assumeByteLessThanOrEqualOne(Byte i)

assumeByteLessThanOrEqualOneNotNull

public void assumeByteLessThanOrEqualOneNotNull(Byte i)

assumeByteLessThanOrEqualZero

public void assumeByteLessThanOrEqualZero(byte i)

assumeByteLessThanOrEqualZero

public void assumeByteLessThanOrEqualZero(Byte i)

assumeByteLessThanOrEqualZeroNotNull

public void assumeByteLessThanOrEqualZeroNotNull(Byte i)

assumeByteLessThanZero

public void assumeByteLessThanZero(byte i)

assumeByteLessThanZero

public void assumeByteLessThanZero(Byte i)

assumeByteLessThanZeroNotNull

public void assumeByteLessThanZeroNotNull(Byte i)

assumeByteNotOne

public void assumeByteNotOne(byte i)

assumeByteNotZero

public void assumeByteNotZero(byte i)

assumeDoubleGreaterThanOne

public void assumeDoubleGreaterThanOne(double i)

assumeDoubleGreaterThanOne

public void assumeDoubleGreaterThanOne(Double i)

assumeDoubleGreaterThanOneNotNull

public void assumeDoubleGreaterThanOneNotNull(Double i)

assumeDoubleGreaterThanOrEqualOne

public void assumeDoubleGreaterThanOrEqualOne(double i)

assumeDoubleGreaterThanOrEqualOne

public void assumeDoubleGreaterThanOrEqualOne(Double i)

assumeDoubleGreaterThanOrEqualOneNotNull

public void assumeDoubleGreaterThanOrEqualOneNotNull(Double i)

assumeDoubleGreaterThanOrEqualZero

public void assumeDoubleGreaterThanOrEqualZero(double i)

assumeDoubleGreaterThanOrEqualZero

public void assumeDoubleGreaterThanOrEqualZero(Double i)

assumeDoubleGreaterThanOrEqualZeroNotNull

public void assumeDoubleGreaterThanOrEqualZeroNotNull(Double i)

assumeDoubleGreaterThanZero

public void assumeDoubleGreaterThanZero(double i)

assumeDoubleGreaterThanZero

public void assumeDoubleGreaterThanZero(Double i)

assumeDoubleGreaterThanZeroNotNull

public void assumeDoubleGreaterThanZeroNotNull(Double i)

assumeDoubleLessThanMinusOne

public void assumeDoubleLessThanMinusOne(Double i)

assumeDoubleLessThanOne

public void assumeDoubleLessThanOne(double i)

assumeDoubleLessThanOne

public void assumeDoubleLessThanOne(Double i)

assumeDoubleLessThanOneNotNull

public void assumeDoubleLessThanOneNotNull(Double i)

assumeDoubleLessThanOrEqualOne

public void assumeDoubleLessThanOrEqualOne(double i)

assumeDoubleLessThanOrEqualOne

public void assumeDoubleLessThanOrEqualOne(Double i)

assumeDoubleLessThanOrEqualOneNotNull

public void assumeDoubleLessThanOrEqualOneNotNull(Double i)

assumeDoubleLessThanOrEqualZero

public void assumeDoubleLessThanOrEqualZero(double i)

assumeDoubleLessThanOrEqualZero

public void assumeDoubleLessThanOrEqualZero(Double i)

assumeDoubleLessThanOrEqualZeroNotNull

public void assumeDoubleLessThanOrEqualZeroNotNull(Double i)

assumeDoubleLessThanZero

public void assumeDoubleLessThanZero(double i)

assumeDoubleLessThanZero

public void assumeDoubleLessThanZero(Double i)

assumeDoubleLessThanZeroNotNull

public void assumeDoubleLessThanZeroNotNull(Double i)

assumeDoubleNotNaN

public void assumeDoubleNotNaN(double i)

assumeDoubleNotNegativeInfinity

public void assumeDoubleNotNegativeInfinity(double i)

assumeDoubleNotOne

public void assumeDoubleNotOne(double i)

assumeDoubleNotPositiveInfinity

public void assumeDoubleNotPositiveInfinity(double i)

assumeDoubleNotZero

public void assumeDoubleNotZero(double i)

assumeEnumGreater

public void assumeEnumGreater(TwipAssumeTest.OneTwoThree ott)

assumeEnumNotEqual

public void assumeEnumNotEqual(TwipAssumeTest.OneTwoThree ott)

assumeFloatGreaterThanOne

public void assumeFloatGreaterThanOne(float i)

assumeFloatGreaterThanOne

public void assumeFloatGreaterThanOne(Float i)

assumeFloatGreaterThanOneNotNull

public void assumeFloatGreaterThanOneNotNull(Float i)

assumeFloatGreaterThanOrEqualOne

public void assumeFloatGreaterThanOrEqualOne(float i)

assumeFloatGreaterThanOrEqualOne

public void assumeFloatGreaterThanOrEqualOne(Float i)

assumeFloatGreaterThanOrEqualOneNotNull

public void assumeFloatGreaterThanOrEqualOneNotNull(Float i)

assumeFloatGreaterThanOrEqualZero

public void assumeFloatGreaterThanOrEqualZero(float i)

assumeFloatGreaterThanOrEqualZero

public void assumeFloatGreaterThanOrEqualZero(Float i)

assumeFloatGreaterThanOrEqualZeroNotNull

public void assumeFloatGreaterThanOrEqualZeroNotNull(Float i)

assumeFloatGreaterThanZero

public void assumeFloatGreaterThanZero(float i)

assumeFloatGreaterThanZero

public void assumeFloatGreaterThanZero(Float i)

assumeFloatGreaterThanZeroNotNull

public void assumeFloatGreaterThanZeroNotNull(Float i)

assumeFloatLessThanMinusOne

public void assumeFloatLessThanMinusOne(Float i)

assumeFloatLessThanOne

public void assumeFloatLessThanOne(float i)

assumeFloatLessThanOne

public void assumeFloatLessThanOne(Float i)

assumeFloatLessThanOneNotNull

public void assumeFloatLessThanOneNotNull(Float i)

assumeFloatLessThanOrEqualOne

public void assumeFloatLessThanOrEqualOne(float i)

assumeFloatLessThanOrEqualOne

public void assumeFloatLessThanOrEqualOne(Float i)

assumeFloatLessThanOrEqualOneNotNull

public void assumeFloatLessThanOrEqualOneNotNull(Float i)

assumeFloatLessThanOrEqualZero

public void assumeFloatLessThanOrEqualZero(float i)

assumeFloatLessThanOrEqualZero

public void assumeFloatLessThanOrEqualZero(Float i)

assumeFloatLessThanOrEqualZeroNotNull

public void assumeFloatLessThanOrEqualZeroNotNull(Float i)

assumeFloatLessThanZero

public void assumeFloatLessThanZero(float i)

assumeFloatLessThanZero

public void assumeFloatLessThanZero(Float i)

assumeFloatLessThanZeroNotNull

public void assumeFloatLessThanZeroNotNull(Float i)

assumeFloatNotNaN

public void assumeFloatNotNaN(float i)

assumeFloatNotNegativeInfinity

public void assumeFloatNotNegativeInfinity(float i)

assumeFloatNotOne

public void assumeFloatNotOne(float i)

assumeFloatNotPositiveInfinity

public void assumeFloatNotPositiveInfinity(float i)

assumeFloatNotZero

public void assumeFloatNotZero(float i)

assumeIntegerGreaterThanOne

public void assumeIntegerGreaterThanOne(Integer i)

assumeIntegerGreaterThanOneNotNull

public void assumeIntegerGreaterThanOneNotNull(Integer i)

assumeIntegerGreaterThanOrEqualOne

public void assumeIntegerGreaterThanOrEqualOne(Integer i)

assumeIntegerGreaterThanOrEqualOneNotNull

public void assumeIntegerGreaterThanOrEqualOneNotNull(Integer i)

assumeIntegerGreaterThanOrEqualZero

public void assumeIntegerGreaterThanOrEqualZero(Integer i)

assumeIntegerGreaterThanOrEqualZeroNotNull

public void assumeIntegerGreaterThanOrEqualZeroNotNull(Integer i)

assumeIntegerGreaterThanZero

public void assumeIntegerGreaterThanZero(Integer i)

assumeIntegerGreaterThanZeroNotNull

public void assumeIntegerGreaterThanZeroNotNull(Integer i)

assumeIntegerLessThanMinusOne

public void assumeIntegerLessThanMinusOne(Integer i)

assumeIntegerLessThanOne

public void assumeIntegerLessThanOne(Integer i)

assumeIntegerLessThanOneNotNull

public void assumeIntegerLessThanOneNotNull(Integer i)

assumeIntegerLessThanOrEqualOne

public void assumeIntegerLessThanOrEqualOne(Integer i)

assumeIntegerLessThanOrEqualOneNotNull

public void assumeIntegerLessThanOrEqualOneNotNull(Integer i)

assumeIntegerLessThanOrEqualZero

public void assumeIntegerLessThanOrEqualZero(Integer i)

assumeIntegerLessThanOrEqualZeroNotNull

public void assumeIntegerLessThanOrEqualZeroNotNull(Integer i)

assumeIntegerLessThanZero

public void assumeIntegerLessThanZero(Integer i)

assumeIntegerLessThanZeroNotNull

public void assumeIntegerLessThanZeroNotNull(Integer i)

assumeIntGreaterThanOne

public void assumeIntGreaterThanOne(int i)

assumeIntGreaterThanOneHundred

public void assumeIntGreaterThanOneHundred(int i)

assumeIntGreaterThanOneThousand

public void assumeIntGreaterThanOneThousand(int i)

assumeIntGreaterThanOrEqualOne

public void assumeIntGreaterThanOrEqualOne(int i)

assumeIntGreaterThanOrEqualZero

public void assumeIntGreaterThanOrEqualZero(int i)

assumeIntGreaterThanTen

public void assumeIntGreaterThanTen(int i)

assumeIntGreaterThanZero

public void assumeIntGreaterThanZero(int i)

assumeIntLessThanOne

public void assumeIntLessThanOne(int i)

assumeIntLessThanOrEqualOne

public void assumeIntLessThanOrEqualOne(int i)

assumeIntLessThanOrEqualZero

public void assumeIntLessThanOrEqualZero(int i)

assumeIntLessThanZero

public void assumeIntLessThanZero(int i)

assumeIntNotOne

public void assumeIntNotOne(int i)

assumeIntNotZero

public void assumeIntNotZero(int i)

assumeLongGreaterThanOne

public void assumeLongGreaterThanOne(long i)

assumeLongGreaterThanOne

public void assumeLongGreaterThanOne(Long i)

assumeLongGreaterThanOneNotNull

public void assumeLongGreaterThanOneNotNull(Long i)

assumeLongGreaterThanOrEqualOne

public void assumeLongGreaterThanOrEqualOne(long i)

assumeLongGreaterThanOrEqualOne

public void assumeLongGreaterThanOrEqualOne(Long i)

assumeLongGreaterThanOrEqualOneNotNull

public void assumeLongGreaterThanOrEqualOneNotNull(Long i)

assumeLongGreaterThanOrEqualZero

public void assumeLongGreaterThanOrEqualZero(long i)

assumeLongGreaterThanOrEqualZero

public void assumeLongGreaterThanOrEqualZero(Long i)

assumeLongGreaterThanOrEqualZeroNotNull

public void assumeLongGreaterThanOrEqualZeroNotNull(Long i)

assumeLongGreaterThanZero

public void assumeLongGreaterThanZero(long i)

assumeLongGreaterThanZero

public void assumeLongGreaterThanZero(Long i)

assumeLongGreaterThanZeroNotNull

public void assumeLongGreaterThanZeroNotNull(Long i)

assumeLongLessThanMinusOne

public void assumeLongLessThanMinusOne(Long i)

assumeLongLessThanOne

public void assumeLongLessThanOne(long i)

assumeLongLessThanOne

public void assumeLongLessThanOne(Long i)

assumeLongLessThanOneNotNull

public void assumeLongLessThanOneNotNull(Long i)

assumeLongLessThanOrEqualOne

public void assumeLongLessThanOrEqualOne(long i)

assumeLongLessThanOrEqualOne

public void assumeLongLessThanOrEqualOne(Long i)

assumeLongLessThanOrEqualOneNotNull

public void assumeLongLessThanOrEqualOneNotNull(Long i)

assumeLongLessThanOrEqualZero

public void assumeLongLessThanOrEqualZero(long i)

assumeLongLessThanOrEqualZero

public void assumeLongLessThanOrEqualZero(Long i)

assumeLongLessThanOrEqualZeroNotNull

public void assumeLongLessThanOrEqualZeroNotNull(Long i)

assumeLongLessThanZero

public void assumeLongLessThanZero(long i)

assumeLongLessThanZero

public void assumeLongLessThanZero(Long i)

assumeLongLessThanZeroNotNull

public void assumeLongLessThanZeroNotNull(Long i)

assumeLongNotOne

public void assumeLongNotOne(long i)

assumeLongNotZero

public void assumeLongNotZero(long i)

assumeShortGreaterThanOne

public void assumeShortGreaterThanOne(short i)

assumeShortGreaterThanOne

public void assumeShortGreaterThanOne(Short i)

assumeShortGreaterThanOneNotNull

public void assumeShortGreaterThanOneNotNull(Short i)

assumeShortGreaterThanOrEqualOne

public void assumeShortGreaterThanOrEqualOne(short i)

assumeShortGreaterThanOrEqualOne

public void assumeShortGreaterThanOrEqualOne(Short i)

assumeShortGreaterThanOrEqualOneNotNull

public void assumeShortGreaterThanOrEqualOneNotNull(Short i)

assumeShortGreaterThanOrEqualZero

public void assumeShortGreaterThanOrEqualZero(short i)

assumeShortGreaterThanOrEqualZero

public void assumeShortGreaterThanOrEqualZero(Short i)

assumeShortGreaterThanOrEqualZeroNotNull

public void assumeShortGreaterThanOrEqualZeroNotNull(Short i)

assumeShortGreaterThanZero

public void assumeShortGreaterThanZero(short i)

assumeShortGreaterThanZero

public void assumeShortGreaterThanZero(Short i)

assumeShortGreaterThanZeroNotNull

public void assumeShortGreaterThanZeroNotNull(Short i)

assumeShortLessThanMinusOne

public void assumeShortLessThanMinusOne(Short i)

assumeShortLessThanOne

public void assumeShortLessThanOne(short i)

assumeShortLessThanOne

public void assumeShortLessThanOne(Short i)

assumeShortLessThanOneNotNull

public void assumeShortLessThanOneNotNull(Short i)

assumeShortLessThanOrEqualOne

public void assumeShortLessThanOrEqualOne(short i)

assumeShortLessThanOrEqualOne

public void assumeShortLessThanOrEqualOne(Short i)

assumeShortLessThanOrEqualOneNotNull

public void assumeShortLessThanOrEqualOneNotNull(Short i)

assumeShortLessThanOrEqualZero

public void assumeShortLessThanOrEqualZero(short i)

assumeShortLessThanOrEqualZero

public void assumeShortLessThanOrEqualZero(Short i)

assumeShortLessThanOrEqualZeroNotNull

public void assumeShortLessThanOrEqualZeroNotNull(Short i)

assumeShortLessThanZero

public void assumeShortLessThanZero(short i)

assumeShortLessThanZero

public void assumeShortLessThanZero(Short i)

assumeShortLessThanZeroNotNull

public void assumeShortLessThanZeroNotNull(Short i)

assumeShortNotOne

public void assumeShortNotOne(short i)

assumeShortNotZero

public void assumeShortNotZero(short i)

shouldFailForIllegalExpression

public void shouldFailForIllegalExpression(short i)

shouldFailForIllegalExpression2

public void shouldFailForIllegalExpression2(short i)

splitAndExpression

public void splitAndExpression(short i)

splitAndExpression2

public void splitAndExpression2(short i)