package cmu.defect4j.google.javascript.jscomp;
import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;
import junit.framework.TestCase;
public class ExternExportsPassTest 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 testExportSymbol() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportSymbol();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportSymbolDefinedInVar() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportSymbolDefinedInVar();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportProperty() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportProperty();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportMultiple() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportMultiple();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportMultiple2() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportMultiple2();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportMultiple3() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportMultiple3();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportNonStaticSymbol() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportNonStaticSymbol();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportNonStaticSymbol2() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportNonStaticSymbol2();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportNonexistentProperty() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportNonexistentProperty();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportSymbolWithTypeAnnotation() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportSymbolWithTypeAnnotation();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportSymbolWithoutTypeCheck() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportSymbolWithoutTypeCheck();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportSymbolWithConstructor() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportSymbolWithConstructor();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportSymbolWithConstructorWithoutTypeCheck() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportSymbolWithConstructorWithoutTypeCheck();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportFunctionWithOptionalArguments() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportFunctionWithOptionalArguments();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportFunctionWithVariableArguments() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportFunctionWithVariableArguments();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportEnum() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportEnum();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testExportDontEmitPrototypePathPrefix() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testExportDontEmitPrototypePathPrefix();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testUseExportsAsExterns() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testUseExportsAsExterns();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testWarnOnExportFunctionWithUnknownReturnType() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testWarnOnExportFunctionWithUnknownReturnType();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testDontWarnOnExportConstructorWithUnknownReturnType() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testDontWarnOnExportConstructorWithUnknownReturnType();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testTypedef() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testTypedef();
}
};
testcase.run();
}
}
@Test(timeout=120000)
public void testWarnOnExportFunctionWithUnknownParameterTypes() throws Exception {
if (verifyNoPropertyViolation(config)) {
TestCase testcase = new com.google.javascript.jscomp.ExternExportsPassTest() {
public void runTest() throws Exception {
testWarnOnExportFunctionWithUnknownParameterTypes();
}
};
testcase.run();
}
}
}