JsDocTokenStreamTest.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 JsDocTokenStreamTest 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 testJsDocTokenization1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.parsing.JsDocTokenStreamTest() {
				public void runTest() throws Exception {
					testJsDocTokenization1();
				}
			};
			testcase.run();
		}
	}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

}