public ReferenceValue referenceArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { ReferenceValue value = referenceValue.referenceArrayLoad(indexValue, valueFactory); // We're keeping the existing trace value, if any, or attaching a new // one otherwise. return value instanceof TracedReferenceValue ? value : ((ReferenceTracingValueFactory)valueFactory).trace(value); }
public ReferenceValue referenceArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { ReferenceValue value = referenceValue.referenceArrayLoad(indexValue, valueFactory); // We're keeping the existing trace value, if any, or attaching a new // one otherwise. return value instanceof TracedReferenceValue ? value : ((ReferenceTracingValueFactory)valueFactory).trace(value); }
public ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength) { return trace(valueFactory.createArrayReferenceValue(type, referencedClass, arrayLength)); }
/** * Creates a new ReferenceValue that represents an array with elements of * the given type, with the given length and initial element values. */ public ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength, Value elementValue) { return trace(valueFactory.createArrayReferenceValue(type, referencedClass, arrayLength, elementValue)); }
/** * Creates a new ReferenceValue that represents an array with elements of * the given type, with the given length and initial element values. */ public ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength, Value elementValue) { return trace(valueFactory.createArrayReferenceValue(type, referencedClass, arrayLength, elementValue)); }
public ReferenceValue referenceArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) { ReferenceValue value = referenceValue.referenceArrayLoad(indexValue, valueFactory); // We're keeping the existing trace value, if any, or attaching a new // one otherwise. return value instanceof TracedReferenceValue ? value : ((ReferenceTracingValueFactory)valueFactory).trace(value); }
public ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength) { return trace(valueFactory.createArrayReferenceValue(type, referencedClass, arrayLength)); }
/** * Creates a new ReferenceValue that represents an array with elements of * the given type, with the given length and initial element values. */ public ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength, Value elementValue) { return trace(valueFactory.createArrayReferenceValue(type, referencedClass, arrayLength, elementValue)); }
public Value createValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull) { return trace(valueFactory.createValue(type, referencedClass, mayBeExtension, mayBeNull)); }
public ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull) { return trace(valueFactory.createReferenceValue(type, referencedClass, mayBeExtension, mayBeNull)); }
public ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength) { return trace(valueFactory.createArrayReferenceValue(type, referencedClass, arrayLength)); }
public ReferenceValue createReferenceValue() { return trace(valueFactory.createReferenceValue()); }
public Value createValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull) { return trace(valueFactory.createValue(type, referencedClass, mayBeExtension, mayBeNull)); }
public ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull) { return trace(valueFactory.createReferenceValue(type, referencedClass, mayBeExtension, mayBeNull)); }
public Value createValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull) { return trace(valueFactory.createValue(type, referencedClass, mayBeExtension, mayBeNull)); }
public ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull) { return trace(valueFactory.createReferenceValue(type, referencedClass, mayBeExtension, mayBeNull)); }
public ReferenceValue createReferenceValueNull() { return trace(valueFactory.createReferenceValueNull()); }
/** * Attaches the current trace value to given value, if it is a reference * value. */ public Value trace(Value value) { return value.computationalType() == Value.TYPE_REFERENCE ? trace(value.referenceValue()) : value; }
/** * Attaches the current trace value to given value, if it is a reference * value. */ public Value trace(Value value) { return value.computationalType() == Value.TYPE_REFERENCE ? trace(value.referenceValue()) : value; }
/** * Attaches the current trace value to given value, if it is a reference * value. */ public Value trace(Value value) { return value.computationalType() == Value.TYPE_REFERENCE ? trace(value.referenceValue()) : value; }