3 import Analysis.OwnershipAnalysis.*;
10 protected static void test( String test,
14 String outcome = "...\tFAILED";
15 if( expected == result ) {
16 outcome = "...\tpassed";
19 System.out.println( test+" expected "+expected+outcome );
22 public static void main(String args[]) throws Exception {
24 // example test to know the testing routine is correct!
25 test( "4 == 5?", false, 4 == 5 );
26 test( "3 == 3?", true, 3 == 3 );
29 TokenTuple tt0 = new TokenTuple( new Integer( 1 ),
31 TokenTuple.ARITY_ONE );
33 TokenTuple tt1 = tt0.copy();
35 TokenTuple tt2 = new TokenTuple( new Integer( 2 ),
37 TokenTuple.ARITY_ONE );
39 TokenTuple tt3 = new TokenTuple( new Integer( 1 ),
41 TokenTuple.ARITY_MANY );
43 test( "tt0 equals tt1?", true, tt0.equals( tt1 ) );
44 test( "tt1 equals tt0?", true, tt1.equals( tt0 ) );
46 test( "tt0 equals tt2?", false, tt0.equals( tt2 ) );
47 test( "tt2 equals tt0?", false, tt2.equals( tt0 ) );
49 test( "tt0 equals tt3?", false, tt0.equals( tt3 ) );
50 test( "tt3 equals tt0?", false, tt3.equals( tt0 ) );
52 test( "tt2 equals tt3?", false, tt2.equals( tt3 ) );
53 test( "tt3 equals tt2?", false, tt3.equals( tt2 ) );
57 test( "tt1 equals tt2?", false, tt1.equals( tt2 ) );
58 test( "tt2 equals tt1?", false, tt2.equals( tt1 ) );
60 test( "tt1 equals tt3?", true, tt1.equals( tt3 ) );
61 test( "tt3 equals tt1?", true, tt3.equals( tt1 ) );
64 TokenTupleSet tts0 = new TokenTupleSet( tt0 );
65 TokenTupleSet tts1 = new TokenTupleSet( tt1 );
66 TokenTupleSet tts2 = new TokenTupleSet( tt2 );
67 TokenTupleSet tts3 = new TokenTupleSet( tt3 );
68 TokenTupleSet tts4 = tts1.union( tts3 );
69 TokenTupleSet tts5 = tts0.union( tts2 );
70 TokenTupleSet tts6 = tts1.union( tts1 );
72 System.out.println( "tts4 is "+tts4 );
73 System.out.println( "tts5 is "+tts5 );
74 System.out.println( "tts6 is "+tts6 );