randoop.contract Class Hierarchy (randoop 4.3.2 API)

Class Hierarchy

java.lang.Object
- randoop.contract.ObjectContract
  - randoop.contract.CheckRepContract
  - randoop.contract.CompareToAntiSymmetric
  - randoop.contract.CompareToEquals
  - randoop.contract.CompareToReflexive
  - randoop.contract.CompareToReturnsNormally
  - randoop.contract.CompareToSubs
  - randoop.contract.CompareToTransitive
  - randoop.contract.EnumValue
  - randoop.contract.EqualsHashcode
  - randoop.contract.EqualsReflexive
  - randoop.contract.EqualsReturnsNormally
  - randoop.contract.EqualsSymmetric
  - randoop.contract.EqualsToNullRetFalse
  - randoop.contract.EqualsTransitive
  - randoop.contract.HashCodeReturnsNormally
  - randoop.contract.IsNotNull
  - randoop.contract.IsNull
  - randoop.contract.ObserverEqValue
  - randoop.contract.PrimValue
  - randoop.contract.SizeToArrayLength
  - randoop.contract.ToStringReturnsNormally
- randoop.contract.ObjectContractUtils

Enum Class Hierarchy

java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
  - randoop.contract.PrimValue.EqualityMode