void ckDoubleValue(Value retValue) {
Field theValueField = targetClass.fieldByName("edoubleValue");
DoubleValue theValue = (DoubleValue) targetClass.getValue(theValueField);
double vv = theValue.value();
double rv = ((DoubleValue) retValue).value();
if (vv != rv) {
failure("failure: double: expected " + vv + ", got " + rv);
} else {
System.out.println("Passed: double " + rv);
earlyReturns++;
}
}
