Lines Matching refs:other
55 public ReferenceValue generalize(ReferenceValue other)
57 return other.generalize(this);
61 public int equal(ReferenceValue other)
63 return other.equal(this);
70 // public ReferenceValue generalize(IdentifiedReferenceValue other)
72 // return generalize((TypedReferenceValue)other);
76 public int equal(IdentifiedReferenceValue other)
78 return this.equals(other) ? ALWAYS :
79 this.equal((TypedReferenceValue)other);
86 // public ReferenceValue generalize(ArrayReferenceValue other)
88 // return generalize((TypedReferenceValue)other);
92 // public int equal(ArrayReferenceValue other)
94 // return equal((TypedReferenceValue)other);
101 // public ReferenceValue generalize(IdentifiedArrayReferenceValue other)
103 // return generalize((ArrayReferenceValue)other);
107 // public int equal(IdentifiedArrayReferenceValue other)
109 // return equal((ArrayReferenceValue)other);
116 // public ReferenceValue generalize(DetailedArrayReferenceValue other)
118 // return generalize((IdentifiedArrayReferenceValue)other);
122 // public int equal(DetailedArrayReferenceValue other)
124 // return equal((IdentifiedArrayReferenceValue)other);
