/*
 *  This file is part of the X10 project (http://x10-lang.org).
 *
 *  This file is licensed to You under the Eclipse Public License (EPL);
 *  You may not use this file except in compliance with the License.
 *  You may obtain a copy of the License at
 *      http://www.opensource.org/licenses/eclipse-1.0.php
 *
 *  (C) Copyright IBM Corporation 2010.
 */

/**
 * Simple Example of a program that uses a 'finish' to ensure determinacy.
 */

public class Finish1 {
  var a : Int = 0;
  var b : Int = 1;
  def doit() {
    finish { 
       async { a = 10; }
       async { b = 20; }
    }
    Console.OUT.println("a=" + a + "; b=" + b);
  }
  public static def main(argv:Array[String](1)) {
    (new Finish1()).doit();
  }
}