package cmu.defect4j.lang3;
import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;
public class ValidateTest extends TestJPF {
private final String[] config = {"+nhandler.delegateUnhandledNative", "+classpath+=${jpf-core}/lib/junit-4.11.jar,${jpf-core}/lib/commons-lang3-3.2-SNAPSHOT.jar,${jpf-core}/lib/easymock.jar,${jpf-core}/lib/commons-io.jar"};
public static void main(String[] testMethods){
runTestsOfThisClass(testMethods);
}
@Test(timeout=120000)
public void testConstructor() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testConstructor();
}
}
@Test(timeout=120000)
public void testNotEmptyString1() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotEmptyString1();
}
}
@Test(timeout=120000)
public void testNotEmptyString2() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotEmptyString2();
}
}
@Test(timeout=120000)
public void testNotBlankNullStringShouldThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankNullStringShouldThrow();
}
}
@Test(timeout=120000)
public void testNotBlankMsgNullStringShouldThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankMsgNullStringShouldThrow();
}
}
@Test(timeout=120000)
public void testNotBlankEmptyStringShouldThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankEmptyStringShouldThrow();
}
}
@Test(timeout=120000)
public void testNotBlankBlankStringWithWhitespacesShouldThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankBlankStringWithWhitespacesShouldThrow();
}
}
@Test(timeout=120000)
public void testNotBlankBlankStringWithNewlinesShouldThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankBlankStringWithNewlinesShouldThrow();
}
}
@Test(timeout=120000)
public void testNotBlankMsgBlankStringShouldThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankMsgBlankStringShouldThrow();
}
}
@Test(timeout=120000)
public void testNotBlankMsgBlankStringWithWhitespacesShouldThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankMsgBlankStringWithWhitespacesShouldThrow();
}
}
@Test(timeout=120000)
public void testNotBlankMsgEmptyStringShouldThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankMsgEmptyStringShouldThrow();
}
}
@Test(timeout=120000)
public void testNotBlankNotBlankStringShouldNotThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankNotBlankStringShouldNotThrow();
}
}
@Test(timeout=120000)
public void testNotBlankNotBlankStringWithNewlinesShouldNotThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankNotBlankStringWithNewlinesShouldNotThrow();
}
}
@Test(timeout=120000)
public void testNotBlankMsgNotBlankStringShouldNotThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankMsgNotBlankStringShouldNotThrow();
}
}
@Test(timeout=120000)
public void testNotBlankMsgNotBlankStringWithWhitespacesShouldNotThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankMsgNotBlankStringWithWhitespacesShouldNotThrow();
}
}
@Test(timeout=120000)
public void testNotBlankMsgNotBlankStringWithNewlinesShouldNotThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankMsgNotBlankStringWithNewlinesShouldNotThrow();
}
}
@Test(timeout=120000)
public void testNotBlankReturnValues1() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankReturnValues1();
}
}
@Test(timeout=120000)
public void testNotBlankReturnValues2() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankReturnValues2();
}
}
@Test(timeout=120000)
public void testNoNullElementsArray1() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNoNullElementsArray1();
}
}
@Test(timeout=120000)
public void testNoNullElementsArray2() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNoNullElementsArray2();
}
}
@Test(timeout=120000)
public void testNoNullElementsCollection1() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNoNullElementsCollection1();
}
}
@Test(timeout=120000)
public void testNoNullElementsCollection2() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNoNullElementsCollection2();
}
}
@Test(timeout=120000)
public void testValidIndex_withMessage_array() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testValidIndex_withMessage_array();
}
}
@Test(timeout=120000)
public void testValidIndex_array() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testValidIndex_array();
}
}
@Test(timeout=120000)
public void testValidIndex_withMessage_collection() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testValidIndex_withMessage_collection();
}
}
@Test(timeout=120000)
public void testValidIndex_collection() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testValidIndex_collection();
}
}
@Test(timeout=120000)
public void testValidIndex_withMessage_charSequence() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testValidIndex_withMessage_charSequence();
}
}
@Test(timeout=120000)
public void testValidIndex_charSequence() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testValidIndex_charSequence();
}
}
@Test(timeout=120000)
public void testMatchesPattern() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testMatchesPattern();
}
}
@Test(timeout=120000)
public void testMatchesPattern_withMessage() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testMatchesPattern_withMessage();
}
}
@Test(timeout=120000)
public void testInclusiveBetween() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testInclusiveBetween();
}
}
@Test(timeout=120000)
public void testInclusiveBetween_withMessage() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testInclusiveBetween_withMessage();
}
}
@Test(timeout=120000)
public void testExclusiveBetween() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testExclusiveBetween();
}
}
@Test(timeout=120000)
public void testExclusiveBetween_withMessage() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testExclusiveBetween_withMessage();
}
}
@Test(timeout=120000)
public void testIsInstanceOf() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsInstanceOf();
}
}
@Test(timeout=120000)
public void testIsInstanceOfExceptionMessage() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsInstanceOfExceptionMessage();
}
}
@Test(timeout=120000)
public void testIsInstanceOf_withMessage() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsInstanceOf_withMessage();
}
}
@Test(timeout=120000)
public void testIsAssignableExceptionMessage() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsAssignableExceptionMessage();
}
}
@Test(timeout=120000)
public void testIsAssignable_withMessage() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsAssignable_withMessage();
}
}
@Test(timeout=120000)
public void testIsTrue4() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsTrue4();
}
}
@Test(timeout=120000)
public void testIsTrue5() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsTrue5();
}
}
@Test(timeout=120000)
public void testNotNull1() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotNull1();
}
}
@Test(timeout=120000)
public void testNotNull2() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotNull2();
}
}
@Test(timeout=120000)
public void testNotEmptyArray1() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotEmptyArray1();
}
}
@Test(timeout=120000)
public void testNotEmptyArray2() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotEmptyArray2();
}
}
@Test(timeout=120000)
public void testNotEmptyCollection1() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotEmptyCollection1();
}
}
@Test(timeout=120000)
public void testNotEmptyCollection2() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotEmptyCollection2();
}
}
@Test(timeout=120000)
public void testNotEmptyMap1() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotEmptyMap1();
}
}
@Test(timeout=120000)
public void testNotEmptyMap2() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotEmptyMap2();
}
}
@Test(timeout=120000)
public void testIsTrue1() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsTrue1();
}
}
@Test(timeout=120000)
public void testIsTrue2() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsTrue2();
}
}
@Test(timeout=120000)
public void testIsTrue3() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsTrue3();
}
}
@Test(timeout=120000)
public void testNotBlankNotBlankStringWithWhitespacesShouldNotThrow() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testNotBlankNotBlankStringWithWhitespacesShouldNotThrow();
}
}
@Test(timeout=120000)
public void testIsAssignable() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.ValidateTest object = new org.apache.commons.lang3.ValidateTest();
object.testIsAssignable();
}
}
}