Select Git revision
Test.java 7.94 KiB
import AST.*;
import java.util.*;
public class Test {
private Root r;
private A a1;
private A a2;
private A a3;
private B b1;
private B b2;
private B b3;
public static void main(String args[]) {
new Test().test();
}
public void test() {
testDi1();
testDi2();
testDi3();
testBi1();
testBi2();
testBi3();
testBi4();
testBi5();
testBi6();
testBi7();
testBi8();
testBi9();
}
/**
* rel A.di1 -> B;
*/
private void testDi1() {
setup();
a1.setDi1(b2);
a2.setDi1(b1);
assertSame(a1.di1(), b2);
assertSame(a2.di1(), b1);
a2.setDi1(b2);
assertSame(a1.di1(), b2);
assertSame(a2.di1(), b2);
try {
a3.setDi1(null);
check(false, "should throw exception");
} catch (Exception e) {
// OK
}
}
/**
* rel A.di2? -> B;
*/
private void testDi2() {
setup();
a1.setDi2(b2);
a2.setDi2(b1);
assertSame(a1.di2(), b2);
assertSame(a2.di2(), b1);
a2.setDi2(b2);