@Test public void testToRealValue () { try { mValue.toRealValue (); fail ("no exception"); } catch (ExecutionException ee) { } }
RealValue toRealValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "real number"); }
Value { RealValue toRealValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "real number"); } }
Value { RealValue toRealValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "real number"); }  }
Value { RealValue toRealValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "real number"); }   }
Value { RealValue toRealValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "real number"); }    }