IRFactoryTest.java

package cmu.defect4j.google.javascript.jscomp.parsing;

import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;
import junit.framework.TestCase;
public class IRFactoryTest 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 testStrictScript() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.parsing.IRFactoryTest() {
				public void runTest() throws Exception {
					testStrictScript();
				}
			};
			testcase.run();
		}
	}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

}