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