/** * Creates a new ParameterEscapeMarker. */ public ParameterEscapeMarker(MutableBoolean repeatTrigger, ValueFactory valueFactory) { this(repeatTrigger, valueFactory, new ReferenceTracingValueFactory(valueFactory)); }
public ReferenceValue cast(String type, Clazz referencedClass, ValueFactory valueFactory, boolean alwaysCast) { // We're letting the value factory do the cast (either preserving the // trace value or setting a new one). return ((ReferenceTracingValueFactory)valueFactory).cast(this, type, referencedClass, alwaysCast); }
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); }
/** * Creates a new EscapingClassMarker. */ public EscapingClassMarker(ValueFactory valueFactory) { this(valueFactory, new ReferenceTracingValueFactory(valueFactory)); }
public ReferenceValue cast(String type, Clazz referencedClass, ValueFactory valueFactory, boolean alwaysCast) { // We're letting the value factory do the cast (either preserving the // trace value or setting a new one). return ((ReferenceTracingValueFactory)valueFactory).cast(this, type, referencedClass, alwaysCast); }
public ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength) { return trace(valueFactory.createArrayReferenceValue(type, referencedClass, arrayLength)); }
/** * Creates a new EscapingClassMarker. */ public EscapingClassMarker(ValueFactory valueFactory) { this(valueFactory, new ReferenceTracingValueFactory(valueFactory)); }
public ReferenceValue cast(String type, Clazz referencedClass, ValueFactory valueFactory, boolean alwaysCast) { // We're letting the value factory do the cast (either preserving the // trace value or setting a new one). return ((ReferenceTracingValueFactory)valueFactory).cast(this, type, referencedClass, alwaysCast); }
/** * 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 EscapingClassMarker. */ public EscapingClassMarker(ValueFactory valueFactory) { this(valueFactory, new ReferenceTracingValueFactory(valueFactory)); }
/** * 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 ParameterEscapeMarker. */ public ParameterEscapeMarker(MutableBoolean repeatTrigger, ValueFactory valueFactory) { this(repeatTrigger, valueFactory, new ReferenceTracingValueFactory(valueFactory)); }
public Value createValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull) { return trace(valueFactory.createValue(type, referencedClass, mayBeExtension, mayBeNull)); }
/** * Creates a new ParameterEscapeMarker. */ public ParameterEscapeMarker(MutableBoolean repeatTrigger, ValueFactory valueFactory) { this(repeatTrigger, valueFactory, new ReferenceTracingValueFactory(valueFactory)); }
public ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull) { return trace(valueFactory.createReferenceValue(type, referencedClass, mayBeExtension, mayBeNull)); }
/** * Creates a new InitializationFinder. */ public InitializationFinder() { this(new ReferenceTracingValueFactory(new BasicValueFactory())); }
public ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength) { return trace(valueFactory.createArrayReferenceValue(type, referencedClass, arrayLength)); }
/** * Creates a new ReferenceEscapeChecker. */ public ReferenceEscapeChecker() { this(new ReferenceTracingValueFactory(new BasicValueFactory())); }
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); }