/*                     __                                               *\
**     ________ ___   / /  ___     Scala API                            **
**    / __/ __// _ | / /  / _ |    (c) 2003, LAMP/EPFL                  **
**  __\ \/ /__/ __ |/ /__/ __ |                                         **
** /____/\___/_/ |_/____/_/ | |                                         **
**                          |/                                          **
** $Id: parallelOr.scala 5359 2005-12-16 15:33:49 +0000 (Fri, 16 Dec 2005) dubochet $
\*                                                                  */

package examples.jolib;
/*
import concurrent.jolib._;
import concurrent.SyncVar;

/** Implementation in the join-calculus of a parallel OR. */
object or extends Join {
  
  object res extends Synchr[boolean](this) { case class C() extends SyncVar[boolean] };
  object res1 extends Asynchr(this) { case class C(b: boolean); }
  object res2 extends Asynchr(this) { case class C(b: boolean); }
  object res1False extends Synchr[boolean](this) { case class C() extends SyncVar[boolean] };
  object res2False extends Synchr[boolean](this) { case class C() extends SyncVar[boolean] };
  
  rules(
    Pair(List(res, res1), { case List(r @ res.C(), res1.C(b)) =>
      if (b) r.set(b) else r.set(res1False(res1False.C())) }),
    
    Pair(List(res, res2), { case List(r @ res.C(), res2.C(b)) =>
      if (b) r.set(b) else r.set(res2False(res2False.C())) }),
    
    Pair(List(res1False, res2),  { case List(r @ res1False.C(), res2.C(b)) =>
      r.set(b) }),
    
    Pair(List(res2False, res1),  { case List(r @ res2False.C(), res1.C(b)) =>
      r.set(b) })
  );
  
  def apply(b1: => boolean, b2: => boolean): boolean = {
    concurrent.ops.spawn(res1(res1.C(b1)));
    concurrent.ops.spawn(res2(res2.C(b2)));
    res(res.C())
  }
}
*/
object parallelOr {
  
  def main(args: Array[String]): unit = {
    def loop: boolean = { while (true) {}; true };
/*
    System.out.println("true || true = " + or(true, true));
    System.out.println("false || false = " + or(false, false));
    System.out.println("false || true = " + or(false, true));
    System.out.println("true || false = " + or(true, false));
    System.out.println("true || loop = " + or(true, loop));
    System.out.println("loop || true = " + or(loop, true));
*/
  }

}
