@Test public void toDateValue () { try { mValue.toDateValue (); fail ("no exception"); } catch (ExecutionException ee) { } }
DateValue toDateValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "date"); }
Value { DateValue toDateValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "date"); } }
Value { DateValue toDateValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "date"); }  }
Value { DateValue toDateValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "date"); }   }
Value { DateValue toDateValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "date"); }    }