Lines Matching refs:equal
66 public int equal(ReferenceValue other)
68 return other.equal(this);
81 // public int equal(IdentifiedReferenceValue other)
83 // return equal((TypedReferenceValue)other);
103 public int equal(ArrayReferenceValue other)
105 if (this.arrayLength.equal(other.arrayLength) == NEVER)
110 return equal((TypedReferenceValue)other);
123 // public int equal(IdentifiedArrayReferenceValue other)
125 // return equal((ArrayReferenceValue)other);
138 // public int equal(DetailedArrayReferenceValue other)
140 // return equal((IdentifiedArrayReferenceValue)other);
