StrBuilderAppendInsertTest.java example

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    @Test(timeout=120000)// FIXME
    public void testAppend_FormattedString() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.text.StrBuilderAppendInsertTest object = new org.apache.commons.lang3.text.StrBuilderAppendInsertTest();
               object.testAppend_FormattedString();
        }
    }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

}