/** * Returns the generalization of this IntegerValue and the given other * UnknownIntegerValue. */ public IntegerValue generalize(UnknownIntegerValue other) { return generalize((IntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * SpecificIntegerValue. */ public IntegerValue generalize(SpecificIntegerValue other) { return generalize((IntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * ParticularIntegerValue. */ public IntegerValue generalize(ParticularIntegerValue other) { return generalize((SpecificIntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * UnknownIntegerValue. */ public IntegerValue generalize(UnknownIntegerValue other) { return generalize((IntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * SpecificIntegerValue. */ public IntegerValue generalize(SpecificIntegerValue other) { return generalize((IntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * ParticularIntegerValue. */ public IntegerValue generalize(ParticularIntegerValue other) { return generalize((SpecificIntegerValue)other); }
public IntegerValue generalize(IntegerValue other) { return other.generalize(this); }
/** * Returns the generalization of this IntegerValue and the given other * SpecificIntegerValue. */ public IntegerValue generalize(SpecificIntegerValue other) { return generalize((IntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * ParticularIntegerValue. */ public IntegerValue generalize(ParticularIntegerValue other) { return generalize((SpecificIntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * UnknownIntegerValue. */ public IntegerValue generalize(UnknownIntegerValue other) { return generalize((IntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * UnknownIntegerValue. */ public IntegerValue generalize(UnknownIntegerValue other) { return generalize((IntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * ParticularIntegerValue. */ public IntegerValue generalize(ParticularIntegerValue other) { return generalize((SpecificIntegerValue)other); }
/** * Returns the generalization of this IntegerValue and the given other * SpecificIntegerValue. */ public IntegerValue generalize(SpecificIntegerValue other) { return generalize((IntegerValue)other); }
public IntegerValue generalize(IntegerValue other) { return other.generalize(this); }
public IntegerValue generalize(IntegerValue other) { return other.generalize(this); }
public final Value generalize(Value other) { return this.generalize(other.integerValue()); }
public final Value generalize(Value other) { return this.generalize(other.integerValue()); }
public ReferenceValue generalize(ArrayReferenceValue other) { return this.equals(other) ? this : this.type != null && this.type.equals(other.type) && this.referencedClass == other.referencedClass ? new ArrayReferenceValue(this.type, this.referencedClass, this.mayBeExtension || other.mayBeExtension, this.arrayLength.generalize(other.arrayLength)) : generalize((TypedReferenceValue)other); }
public ReferenceValue generalize(ArrayReferenceValue other) { return this.equals(other) ? this : this.type != null && this.type.equals(other.type) && this.referencedClass == other.referencedClass ? new ArrayReferenceValue(this.type, this.referencedClass, this.mayBeExtension || other.mayBeExtension, this.arrayLength.generalize(other.arrayLength)) : generalize((TypedReferenceValue)other); }
public ReferenceValue generalize(ArrayReferenceValue other) { return this.equals(other) ? this : this.type != null && this.type.equals(other.type) && this.referencedClass == other.referencedClass ? new ArrayReferenceValue(this.type, this.referencedClass, this.mayBeExtension || other.mayBeExtension, this.arrayLength.generalize(other.arrayLength)) : generalize((TypedReferenceValue)other); }