/*

  * The contents of this file are subject to the terms of the Common Development

  * and Distribution License (the License). You may not use this file except in

  * compliance with the License.

  *

  * You can obtain a copy of the License at http://www.netbeans.org/cddl.html

  * or http://www.netbeans.org/cddl.txt.

  *

  * When distributing Covered Code, include this CDDL Header Notice in each file

  * and include the License file at http://www.netbeans.org/cddl.txt.

  * If applicable, add the following below the CDDL Header, with the fields

  * enclosed by brackets [] replaced by your own identifying information:

  * "Portions Copyrighted [year] [name of copyright owner]"

  *

  * The Original Software is NetBeans. The Initial Developer of the Original

  * Software is Sun Microsystems, Inc. Portions Copyright 1997-2006 Sun

  * Microsystems, Inc. All Rights Reserved.

  */

 package org.netbeans.apifest.boolcircuit;

 import java.security.CodeSource;

 import java.security.Permission;

 import java.security.PermissionCollection;

 import java.security.Policy;

 import java.util.Collection;

 import java.util.Collections;

 import java.util.Enumeration;

 import junit.framework.TestCase;

 import junit.framework.*;

 /** The initial quest for this APIFest is to create an API for boolean 

  * circuits. Such API shall be able to compose a boolean circuit from

  * basic elements and evaluate the result given initial values for 

  * input variables.

  * <p>

  * The basic elements include:

  * <ul>

  *   <li>negation - has one input and one output and changes 0 on input to 

  *          on output 1 and 1 to 0

  *   <li>and - has two inputs and one output. The output is 1 only if both 

  *          inputs are 1, otherwise it is 0

  *   <li>or - has two inputs and one output. The output is 1 always, except

  *          in the case when both inputs are 0

  * </ul>

  *

  * <p>

  * The boolean circuit can be used to represent boolean formulas and compute

  * the results for certain values of its inputs. The individual tasks described

  * as tests bellow.

  *

  * <p>

  * Links of interest:

  * <ul>

  *   <li><a href="http://en.wikipedia.org/wiki/Truth_table">Truth table</a>

  *   <li><a href="http://en.wikipedia.org/wiki/Tautology_(logic)">Taugology</a>

  * </ul>

  */

 public class CircuitTest extends TestCase {

     static {

         // your code shall run without any permissions

     }

     Input inTrue;

     Input inFalse;

     public CircuitTest(String testName) {

         super(testName);

     }

     // BEGIN: apifest.day1.inputandoperation.CircuitTest

     /** 

      * Create a circuit to evaluate x1 and x2 and then

      * verify that its result is false for input (false, true) and

      * it is true for input (true, true).

      */

     public void testX1andX2() {

         inTrue = Factory.createSimpleBooleanInput(true);

         inFalse = Factory.createSimpleBooleanInput(false);

         Operation op1 = Factory.createAndOperation(inFalse, inTrue);

         assertFalse(Circuit.evaluateBooleanOperation(op1));

         Operation op2 = Factory.createAndOperation(inTrue, inTrue);

         assertTrue(Circuit.evaluateBooleanOperation(op2));

     }

     /** 

      * Create a circuit to evaluate (x1 and x2) or x3 and then

      * verify that its result is false for input (false, true, false) and

      * it is true for input (false, false, true).

      */

     public void testX1andX2orX3() {

         inTrue = Factory.createSimpleBooleanInput(true);

         inFalse = Factory.createSimpleBooleanInput(false);

         Operation op1 = Factory.createAndOperation(inFalse, inTrue);

         Operation op2 = Factory.createOrOperation(Factory.createOperationBasedBooleanInput(op1), inFalse);

         assertFalse(Circuit.evaluateBooleanOperation(op2));

         op1 = Factory.createAndOperation(inFalse, inFalse);

         op2 = Factory.createOrOperation(Factory.createOperationBasedBooleanInput(op1), inTrue);

         assertTrue(Circuit.evaluateBooleanOperation(op2));

     }

     /** 

      * Create a circuit to evaluate (x1 or not(x1)) and then

      * verify that its result is true for all values of x1.

      */

     public void testAlwaysTrue() {

         inTrue = Factory.createSimpleBooleanInput(true);

         inFalse = Factory.createSimpleBooleanInput(false);

         Operation not = Factory.createNotOperation(inTrue);

         Operation or = Factory.createOrOperation(Factory.createOperationBasedBooleanInput(not), inTrue);

         assertTrue(Circuit.evaluateBooleanOperation(or));

         not = Factory.createNotOperation(inFalse);

         or = Factory.createOrOperation(Factory.createOperationBasedBooleanInput(not), inFalse);

         assertTrue(Circuit.evaluateBooleanOperation(or));

     }

     // END: apifest.day1.inputandoperation.CircuitTest

 }