/** * Casts a given traced reference value to the given type, either keeping * its trace value or setting a new one. */ public TracedReferenceValue cast(TracedReferenceValue referenceValue, String type, Clazz referencedClass, boolean alwaysCast) { // Cast the value. ReferenceValue castValue = referenceValue.getReferenceValue().cast(type, referencedClass, valueFactory, alwaysCast); // Trace it. return new TracedReferenceValue(castValue, preserveTraceValueOnCasts ? referenceValue.getTraceValue() : traceValue); }
/** * Casts a given traced reference value to the given type, either keeping * its trace value or setting a new one. */ public TracedReferenceValue cast(TracedReferenceValue referenceValue, String type, Clazz referencedClass, boolean alwaysCast) { // Cast the value. ReferenceValue castValue = referenceValue.getReferenceValue().cast(type, referencedClass, valueFactory, alwaysCast); // Trace it. return new TracedReferenceValue(castValue, preserveTraceValueOnCasts ? referenceValue.getTraceValue() : traceValue); }
/** * Casts a given traced reference value to the given type, either keeping * its trace value or setting a new one. */ public TracedReferenceValue cast(TracedReferenceValue referenceValue, String type, Clazz referencedClass, boolean alwaysCast) { // Cast the value. ReferenceValue castValue = referenceValue.getReferenceValue().cast(type, referencedClass, valueFactory, alwaysCast); // Trace it. return new TracedReferenceValue(castValue, preserveTraceValueOnCasts ? referenceValue.getTraceValue() : traceValue); }
stack.push(stack.apop().cast(type.getType(), type.getReferencedClass(), valueFactory,
stack.push(stack.apop().cast(type.getType(), type.getReferencedClass(), valueFactory,
stack.push(stack.apop().cast(type.getType(), type.getReferencedClass(), valueFactory,