Lines Matching defs:referenceValue
30 public abstract class ReferenceValue extends Category1Value
59 * Returns a generalization of this ReferenceValue that may be null,
62 public abstract ReferenceValue generalizeMayBeNull(boolean mayBeNull);
118 public abstract ReferenceValue referenceArrayLoad(IntegerValue indexValue, ValueFactory valueFactory);
133 * Returns the generalization of this ReferenceValue and the given other
134 * ReferenceValue.
136 public abstract ReferenceValue generalize(ReferenceValue other);
140 * Returns whether this ReferenceValue is equal to the given other
141 * ReferenceValue.
144 public abstract int equal(ReferenceValue other);
150 * Returns whether this ReferenceValue is not <code>null</code>.
162 * Returns whether this ReferenceValue and the given ReferenceValue are different.
165 public final int notEqual(ReferenceValue other)
174 * Returns the generalization of this ReferenceValue and the given other
177 public ReferenceValue generalize(TypedReferenceValue other)
179 return generalize((ReferenceValue)other);
184 * Returns whether this ReferenceValue is equal to the given other
190 return equal((ReferenceValue)other);
198 * Returns the generalization of this ReferenceValue and the given other
201 public ReferenceValue generalize(IdentifiedReferenceValue other)
208 * Returns whether this ReferenceValue is equal to the given other
221 * Returns the generalization of this ReferenceValue and the given other
224 public ReferenceValue generalize(ArrayReferenceValue other)
231 * Returns whether this ReferenceValue is equal to the given other
245 * Returns the generalization of this ReferenceValue and the given other
248 public ReferenceValue generalize(IdentifiedArrayReferenceValue other)
255 * Returns whether this ReferenceValue is equal to the given other
269 * Returns the generalization of this ReferenceValue and the given other
272 public ReferenceValue generalize(DetailedArrayReferenceValue other)
279 * Returns whether this ReferenceValue is equal to the given other
291 public final ReferenceValue referenceValue()
298 return this.generalize(other.referenceValue());
