Skip to content
Snippets Groups Projects
Select Git revision
  • 8c7b7027e50b7e5b14c9c28aef31553d668118fb
  • dev default protected
  • main protected
  • feature/better-placeholders
  • 0.3.0
  • 0.2.5
  • 0.2.4
  • 0.2.3
  • 0.2.1
  • 0.2
  • 0.1
11 results

Test.java

Blame
  • 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);