StripCodeTest.java

package cmu.defect4j.google.javascript.jscomp;

import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;
import junit.framework.TestCase;
public class StripCodeTest extends TestJPF {

    private final String[] config = {"+nhandler.delegateUnhandledNative", "+classpath+=${jpf-core}/lib/junit-4.11.jar,lib/compiler.jar"};

    public static void main(String[] testMethods){
        runTestsOfThisClass(testMethods);
    }
	@Test(timeout=120000)
	public void testLoggerDefinedInConstructor() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInConstructor();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInPrototype1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInPrototype1();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInPrototype2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInPrototype2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInPrototype3() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInPrototype3();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInPrototype4() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInPrototype4();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInPrototype5() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInPrototype5();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedStatically() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedStatically();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInObjectLiteral1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInObjectLiteral1();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInObjectLiteral2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInObjectLiteral2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInObjectLiteral3() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInObjectLiteral3();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInObjectLiteral4() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInObjectLiteral4();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedInPrototypeAndUsedInConstructor() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedInPrototypeAndUsedInConstructor();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerDefinedStaticallyAndUsedInConstructor() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerDefinedStaticallyAndUsedInConstructor();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerVarDeclaration() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerVarDeclaration();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerMethodCallByVariableType() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerMethodCallByVariableType();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testSubPropertyAccessByVariableName() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testSubPropertyAccessByVariableName();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPrefixedVariableName() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testPrefixedVariableName();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPrefixedPropertyName() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testPrefixedPropertyName();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPrefixedClassName() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testPrefixedClassName();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLoggerClassDefinition() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testLoggerClassDefinition();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testStaticLoggerPropertyDefinition() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testStaticLoggerPropertyDefinition();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testStaticLoggerMethodDefinition() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testStaticLoggerMethodDefinition();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPrototypeFieldDefinition() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testPrototypeFieldDefinition();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPrototypeFieldDefinitionWithoutAssignment() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testPrototypeFieldDefinitionWithoutAssignment();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPrototypeMethodDefinition() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testPrototypeMethodDefinition();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPublicPropertyAssignment() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testPublicPropertyAssignment();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testGlobalCallWithStrippedType() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testGlobalCallWithStrippedType();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testClassDefiningCallWithStripType1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testClassDefiningCallWithStripType1();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testClassDefiningCallWithStripType2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testClassDefiningCallWithStripType2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testClassDefiningCallWithStripType3() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testClassDefiningCallWithStripType3();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testClassDefiningCallWithStripType4() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testClassDefiningCallWithStripType4();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testClassDefiningCallWithStripType5() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testClassDefiningCallWithStripType5();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testClassDefiningCallWithStripType6() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testClassDefiningCallWithStripType6();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testClassDefiningCallWithStripType7() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testClassDefiningCallWithStripType7();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testClassDefiningCallWithStripType8() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testClassDefiningCallWithStripType8();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyWithEmptyStringKey() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testPropertyWithEmptyStringKey();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testVarinIf() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testVarinIf();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testGetElemInIf() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testGetElemInIf();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testAssignInIf() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testAssignInIf();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testNamePrefix() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testNamePrefix();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testTypePrefix() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testTypePrefix();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testStripCallsToStrippedNames() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testStripCallsToStrippedNames();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testStripVarsInitializedFromStrippedNames() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testStripVarsInitializedFromStrippedNames();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testReportErrorOnStripInNestedAssignment() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testReportErrorOnStripInNestedAssignment();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testNewOperatior1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testNewOperatior1();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testNewOperatior2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testNewOperatior2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testCrazyNesting1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testCrazyNesting1();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testCrazyNesting2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testCrazyNesting2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testCrazyNesting3() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testCrazyNesting3();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testCrazyNesting4() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testCrazyNesting4();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testCrazyNesting5() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.StripCodeTest() {
				public void runTest() throws Exception {
					testCrazyNesting5();
				}
			};
			testcase.run();
		}
	}

}