module jctreeprod;

import tree.Tree;

behavior TreeProductTester {

    void result(int res){
	standardOutput <- println(res);
    }

    void act( String[] args ) {

	Tree t = new Tree(new Tree(new Tree(5,6),new Tree(2)),
			  new Tree(3,4));

	Tree t1 = new Tree(1);

	Tree t2 = new Tree(2,3);

	System.out.println("T:"+ t + " T1:"+ t1 + " T2:"+ t2);

	TreeProduct tp = new TreeProduct();

	tp <- compute(t, self);
	tp <- compute(t2, self);
	tp <- compute(t1, self);
    }
}