Examples of Data Structures Verified in Jahob

  • ArrayList (screen shot), ArrayList Spec Only, compare to analogous Sun Java Library Interface
  • AssociationList (screen shot)
  • BinarySearchTree (screen shot)
  • CircularList (screen shot)
  • CursorList (screen shot)
  • HashTable (screen shot)
  • PriorityQueue (screen shot)
  • SinglyLinkedList (screen shot)
  • SpaceSubdivisionTree (screen shot)
  • SpanningTree (screen shot)