Lines Matching refs:generalize
60 public ReferenceValue generalize(ReferenceValue other)
62 return other.generalize(this);
75 // public ReferenceValue generalize(IdentifiedReferenceValue other)
77 // return generalize((TypedReferenceValue)other);
90 public ReferenceValue generalize(ArrayReferenceValue other)
98 this.arrayLength.generalize(other.arrayLength)) :
99 generalize((TypedReferenceValue)other);
117 // public ReferenceValue generalize(IdentifiedArrayReferenceValue other)
119 // return generalize((ArrayReferenceValue)other);
132 // public ReferenceValue generalize(DetailedArrayReferenceValue other)
134 // return generalize((IdentifiedArrayReferenceValue)other);
