public synchronized void generalizeReturnValue(Value returnValue) { this.returnValue = this.returnValue != null ? this.returnValue.generalize(returnValue) : returnValue; }
public synchronized void generalizeParameterValue(int parameterIndex, Value parameter) { parameters[parameterIndex] = parameters[parameterIndex] != null ? parameters[parameterIndex].generalize(parameter) : parameter; }
public synchronized void generalizeReturnValue(Value returnValue) { this.returnValue = this.returnValue != null ? this.returnValue.generalize(returnValue) : returnValue; }
public synchronized void generalizeValue(Value value) { this.value = this.value != null ? this.value.generalize(value) : value; }
public synchronized void generalizeReturnValue(Value returnValue) { this.returnValue = this.returnValue != null ? this.returnValue.generalize(returnValue) : returnValue; }
public synchronized void generalizeValue(Value value) { this.value = this.value != null ? this.value.generalize(value) : value; }
public void generalizeParameter(int parameterIndex, Value parameter) { parameters[parameterIndex] = parameters[parameterIndex] != null ? parameters[parameterIndex].generalize(parameter) : parameter; }
public synchronized void generalizeParameterValue(int parameterIndex, Value parameter) { parameters[parameterIndex] = parameters[parameterIndex] != null ? parameters[parameterIndex].generalize(parameter) : parameter; }
public synchronized void generalizeParameterValue(int parameterIndex, Value parameter) { parameters[parameterIndex] = parameters[parameterIndex] != null ? parameters[parameterIndex].generalize(parameter) : parameter; }
public void generalizeValue(Value value) { this.value = this.value != null ? this.value.generalize(value) : value; }
public void generalizeReturnValue(Value returnValue) { this.returnValue = this.returnValue != null ? this.returnValue.generalize(returnValue) : returnValue; }
public synchronized void generalizeValue(Value value) { this.value = this.value != null ? this.value.generalize(value) : value; }
/** * Returns the generalization of this TracingValue and the given other * TracingValue. */ public final TracingValue generalize(TracingValue other) { return this.equals(other) ? this : new TracingValue(this.traceValue.generalize(other.traceValue), this.value .generalize(other.value)); }
/** * Returns the generalization of this TracingValue and the given other * TracingValue. */ public final TracingValue generalize(TracingValue other) { return this.equals(other) ? this : new TracingValue(this.traceValue.generalize(other.traceValue), this.value .generalize(other.value)); }
/** * Returns the generalization of this TracingValue and the given other * TracingValue. */ public final TracingValue generalize(TracingValue other) { return this.equals(other) ? this : new TracingValue(this.traceValue.generalize(other.traceValue), this.value .generalize(other.value)); }
public final Value generalize(Value other) { return other instanceof TracingValue ? generalize((TracingValue)other) : value.equals(other) ? this : new TracingValue(traceValue, value.generalize(other)); }
public final Value generalize(Value other) { return other instanceof TracingValue ? generalize((TracingValue)other) : value.equals(other) ? this : new TracingValue(traceValue, value.generalize(other)); }
public final Value generalize(Value other) { return other instanceof TracingValue ? generalize((TracingValue)other) : value.equals(other) ? this : new TracingValue(traceValue, value.generalize(other)); }
public ReferenceValue generalize(TracedReferenceValue other) { if (this.equals(other)) { return this; } return new TracedReferenceValue(this.referenceValue.generalize(other.referenceValue), this.traceValue .generalize(other.traceValue)); }
public ReferenceValue generalize(TracedReferenceValue other) { if (this.equals(other)) { return this; } return new TracedReferenceValue(this.referenceValue.generalize(other.referenceValue), this.traceValue .generalize(other.traceValue)); }