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