@Test public void testToIntegerValue () { try { mValue.toIntegerValue (); fail ("no exception"); } catch (ExecutionException ee) { } }
IntegerValue toIntegerValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "integer number"); }
Value { IntegerValue toIntegerValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "integer number"); } }
Value { IntegerValue toIntegerValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "integer number"); }  }
Value { IntegerValue toIntegerValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "integer number"); }   }
Value { IntegerValue toIntegerValue () { throw new ExecutionException (INVALID_CONVERSION_MESSAGE, getType (), "integer number"); }    }