@Test public void testNot () { try { mValue.not (); fail ("no exception"); } catch (ExecutionException ee) { } }
Value not () { throw newOperandException ("not"); }
Value { Value not () { throw newOperandException ("not"); } }
Value { Value not () { throw newOperandException ("not"); }  }
Value { Value not () { throw newOperandException ("not"); }   }
Value { Value not () { throw newOperandException ("not"); }    }