/*
    * Copyright (c) 2002-2003 The XDoclet Team.
    * All rights reserved.
    */
   
   package xdoclet.util.predicates;
   
   import junit.framework.TestCase;
   
  /***
   * @version $Revision: 1.4 $
   * @author <a href="mailto:mbo@jcs.be">Mathias Bogaert</a>
   */
  public class NotTest extends TestCase {
      public NotTest(String s) {
          super(s);
      }
  
      public void testNot() {
          Not notTrue = new Not();
          notTrue.add(new True());
          assertTrue(!notTrue.evaluate(null));
  
          Not notFalse = new Not();
          notFalse.add(new False());
          assertTrue(notFalse.evaluate(null));
      }
  
      /***
       * Test if Not is an Unary orperator
       */
      public void testUnarity() {
          try {
              Not notTest = new Not();
              notTest.add(new True());
              notTest.add(new False());
              notTest.evaluate(null);
              // Even a step above an exception should be thrown
              fail("Not is an unary operation and must not allow two children");
          } catch (Exception e) {
              // Good
          }
      }
  }