Hierarchy For All Packages

Package Hierarchies:

• randomunit

Class Hierarchy

• java.lang.Object
  • junit.framework.Assert
    • junit.framework.TestCase (implements junit.framework.Test)
      • randomunit.RandomizedTestCase
  • randomunit.DetailedLogStrategy (implements randomunit.LogStrategy)
  • randomunit.MethodInvocationLog
  • randomunit.MethodInvocationLog.PooledObject
  • randomunit.SimpleLogStrategy (implements randomunit.LogStrategy)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • randomunit.InvariantFailedException
        • randomunit.PostconditionFailedException
        • randomunit.PreconditionFailedException
        • randomunit.TestFailedException

Interface Hierarchy

• randomunit.LogStrategy

Annotation Type Hierarchy

• randomunit.Prob (implements java.lang.annotation.Annotation)
• randomunit.Params (implements java.lang.annotation.Annotation)
• randomunit.Invariant (implements java.lang.annotation.Annotation)
• randomunit.Creates (implements java.lang.annotation.Annotation)