ToStringBuilderTest.java example

Explorer
VarexJ-master
package cmu.defect4j.lang3.builder;

import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;

public class ToStringBuilderTest 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 testAppendSuper() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testAppendSuper();
        }
    }

    @Test(timeout=120000)
    public void testObject() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testObject();
        }
    }

    @Test(timeout=120000)
    public void testObjectBuild() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testObjectBuild();
        }
    }

    @Test(timeout=120000)
    public void testLong() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testLong();
        }
    }

    @Test(timeout=120000)
    public void testInt() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testInt();
        }
    }

    @Test(timeout=120000)
    public void testShort() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testShort();
        }
    }

    @Test(timeout=120000)
    public void testChar() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testChar();
        }
    }

    @Test(timeout=120000)
    public void testDouble() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testDouble();
        }
    }

    @Test(timeout=120000)
    public void testFloat() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testFloat();
        }
    }

    @Test(timeout=120000)
    public void testBoolean() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testBoolean();
        }
    }

    @Test(timeout=120000)
    public void testObjectArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testObjectArray();
        }
    }

    @Test(timeout=120000)
    public void testLongArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testLongArray();
        }
    }

    @Test(timeout=120000)
    public void testIntArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testIntArray();
        }
    }

    @Test(timeout=120000)
    public void testShortArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testShortArray();
        }
    }

    @Test(timeout=120000)
    public void testCharArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testCharArray();
        }
    }

    @Test(timeout=120000)
    public void testByteArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testByteArray();
        }
    }

    @Test(timeout=120000)
    public void testDoubleArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testDoubleArray();
        }
    }

    @Test(timeout=120000)
    public void testFloatArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testFloatArray();
        }
    }

    @Test(timeout=120000)
    public void testBooleanArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testBooleanArray();
        }
    }

    @Test(timeout=120000)
    public void testBlank() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testBlank();
        }
    }

    @Test(timeout=120000)
    public void testLongArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testLongArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testConstructorEx3() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testConstructorEx3();
        }
    }

    @Test(timeout=120000)
    public void testGetSetDefault() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testGetSetDefault();
        }
    }

    @Test(timeout=120000)
    public void testSetDefaultEx() throws Exception {
        if (verifyUnhandledException("java.lang.IllegalArgumentException", config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testSetDefaultEx();
        }
    }

    @Test(timeout=120000)
    public void testReflectionInteger() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionInteger();
        }
    }

    @Test(timeout=120000)
    public void testReflectionCharacter() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionCharacter();
        }
    }

    @Test(timeout=120000)
    public void testReflectionBoolean() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionBoolean();
        }
    }

    @Test(timeout=120000)
    public void testReflectionObjectArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionObjectArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionLongArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionLongArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionIntArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionIntArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionShortArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionShortArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionyteArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionyteArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionCharArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionCharArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionDoubleArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionDoubleArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionFloatArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionFloatArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionBooleanArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionBooleanArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionFloatArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionFloatArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionLongArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionLongArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionIntArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionIntArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionhortArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionhortArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionByteArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionByteArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionCharArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionCharArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionDoubleArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionDoubleArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionBooleanArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionBooleanArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testReflectionHierarchyArrayList() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionHierarchyArrayList();
        }
    }

    @Test(timeout=120000)
    public void testReflectionHierarchy() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionHierarchy();
        }
    }

    @Test(timeout=120000)
    public void testInnerClassReflection() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testInnerClassReflection();
        }
    }

    @Test(timeout=120000)
    public void testReflectionArrayCycle() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionArrayCycle();
        }
    }

    @Test(timeout=120000)
    public void testReflectionArrayCycleLevel2() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionArrayCycleLevel2();
        }
    }

    @Test(timeout=120000)
    public void testReflectionArrayArrayCycle() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionArrayArrayCycle();
        }
    }

    @Test(timeout=120000)
    public void testSimpleReflectionObjectCycle() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testSimpleReflectionObjectCycle();
        }
    }

    @Test(timeout=120000)
    public void testSelfInstanceVarReflectionObjectCycle() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testSelfInstanceVarReflectionObjectCycle();
        }
    }

    @Test(timeout=120000)
    public void testSelfInstanceTwoVarsReflectionObjectCycle() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testSelfInstanceTwoVarsReflectionObjectCycle();
        }
    }

    @Test(timeout=120000)
    public void testReflectionArrayAndObjectCycle() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionArrayAndObjectCycle();
        }
    }

    @Test(timeout=120000)
    public void testAppendToString() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testAppendToString();
        }
    }

    @Test(timeout=120000)
    public void testIntArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testIntArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testShortArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testShortArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testByteArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testByteArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testCharArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testCharArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testDoubleArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testDoubleArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testFloatArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testFloatArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testBooleanArrayArray() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testBooleanArrayArray();
        }
    }

    @Test(timeout=120000)
    public void testObjectCycle() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testObjectCycle();
        }
    }

    @Test(timeout=120000)
    public void testSimpleReflectionStatics() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testSimpleReflectionStatics();
        }
    }

    @Test(timeout=120000)
    public void testReflectionStatics() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionStatics();
        }
    }

    @Test(timeout=120000)
    public void testInheritedReflectionStatics() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testInheritedReflectionStatics();
        }
    }

    @Test(timeout=120000)
    public void test_setUpToClass_valid() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.test_setUpToClass_valid();
        }
    }

    @Test(timeout=120000)
    public void test_setUpToClass_invalid() throws Exception {
        if (verifyUnhandledException("java.lang.IllegalArgumentException", config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.test_setUpToClass_invalid();
        }
    }

    @Test(timeout=120000)
    public void testReflectionNull() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionNull();
        }
    }

    @Test(timeout=120000)
    public void testAppendToStringUsingMultiLineStyle() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testAppendToStringUsingMultiLineStyle();
        }
    }

    @Test(timeout=120000)
    public void testByte() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testByte();
        }
    }

    @Test(timeout=120000)
    public void testConstructorEx1() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testConstructorEx1();
        }
    }

    @Test(timeout=120000)
    public void testConstructorEx2() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testConstructorEx2();
        }
    }

    @Test(timeout=120000)
    public void testReflectionObjectCycle() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.builder.ToStringBuilderTest object = new org.apache.commons.lang3.builder.ToStringBuilderTest();
               object.testReflectionObjectCycle();
        }
    }

}