Hierarchy For All Packages

Package Hierarchies:

• uk.ac.sheffield.vtts,
• uk.ac.sheffield.vtts.client.pojo,
• uk.ac.sheffield.vtts.client.rs,
• uk.ac.sheffield.vtts.client.ws,
• uk.ac.sheffield.vtts.ground,
• uk.ac.sheffield.vtts.gui,
• uk.ac.sheffield.vtts.model,
• uk.ac.sheffield.vtts.web

Class Hierarchy

• java.lang.Object
  • uk.ac.sheffield.vtts.ground.AbstractFactory (implements uk.ac.sheffield.vtts.ground.Factory)
    • uk.ac.sheffield.vtts.ground.JavaFactory
    • uk.ac.sheffield.vtts.ground.ModelFactory
  • uk.ac.sheffield.vtts.ground.AbstractGrounding (implements uk.ac.sheffield.vtts.ground.Grounding)
    • uk.ac.sheffield.vtts.ground.JavaGrounding
    • uk.ac.sheffield.vtts.ground.JaxRsGrounding
    • uk.ac.sheffield.vtts.ground.JaxWsGrounding
  • java.util.AbstractMap.SimpleEntry<K,V> (implements java.util.Map.Entry<K,V>, java.io.Serializable)
    • uk.ac.sheffield.vtts.ground.SimpleEntry<K,V>
  • uk.ac.sheffield.vtts.client.pojo.Account
  • java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
    • java.awt.Container
      • java.awt.Window (implements javax.accessibility.Accessible)
        • java.awt.Frame (implements java.awt.MenuContainer)
          • javax.swing.JFrame (implements javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants)
            • uk.ac.sheffield.vtts.gui.BrokerAtCloudVTTS
  • uk.ac.sheffield.vtts.client.pojo.ContactList
  • uk.ac.sheffield.vtts.client.ws.Document
  • uk.ac.sheffield.vtts.client.rs.Document
  • uk.ac.sheffield.vtts.client.pojo.Document
  • uk.ac.sheffield.vtts.client.pojo.DocumentStore
  • uk.ac.sheffield.vtts.client.ws.DocumentStoreService
  • uk.ac.sheffield.vtts.client.ws.Dvd
  • uk.ac.sheffield.vtts.client.rs.Dvd
  • uk.ac.sheffield.vtts.client.pojo.Dvd
  • uk.ac.sheffield.vtts.model.Element
    • uk.ac.sheffield.vtts.model.Alphabet
    • uk.ac.sheffield.vtts.model.Binding
      • uk.ac.sheffield.vtts.model.Effect
    • uk.ac.sheffield.vtts.model.Condition
    • uk.ac.sheffield.vtts.model.Language
    • uk.ac.sheffield.vtts.model.Named
      • uk.ac.sheffield.vtts.model.Annotated
        • uk.ac.sheffield.vtts.model.Coverable
          • uk.ac.sheffield.vtts.model.State
          • uk.ac.sheffield.vtts.model.Transition
        • uk.ac.sheffield.vtts.model.Machine
        • uk.ac.sheffield.vtts.model.Protocol
        • uk.ac.sheffield.vtts.model.Scope
          • uk.ac.sheffield.vtts.model.Memory
          • uk.ac.sheffield.vtts.model.Operation
        • uk.ac.sheffield.vtts.model.Specification
          • uk.ac.sheffield.vtts.model.Service
          • uk.ac.sheffield.vtts.model.TestSuite
      • uk.ac.sheffield.vtts.model.Entity
      • uk.ac.sheffield.vtts.model.Event
        • uk.ac.sheffield.vtts.model.Scenario
        • uk.ac.sheffield.vtts.model.TestStep
      • uk.ac.sheffield.vtts.model.Expression
        • uk.ac.sheffield.vtts.model.Function
          • uk.ac.sheffield.vtts.model.Arithmetic
          • uk.ac.sheffield.vtts.model.Assignment
          • uk.ac.sheffield.vtts.model.Manipulation
          • uk.ac.sheffield.vtts.model.Predicate
            • uk.ac.sheffield.vtts.model.Atomic
            • uk.ac.sheffield.vtts.model.Comparison
            • uk.ac.sheffield.vtts.model.Membership
            • uk.ac.sheffield.vtts.model.Proposition
          • uk.ac.sheffield.vtts.model.Projection
        • uk.ac.sheffield.vtts.model.Parameter
          • uk.ac.sheffield.vtts.model.Constant
          • uk.ac.sheffield.vtts.model.Failure
          • uk.ac.sheffield.vtts.model.Input
          • uk.ac.sheffield.vtts.model.Output
          • uk.ac.sheffield.vtts.model.Variable
    • uk.ac.sheffield.vtts.model.Notice
      • uk.ac.sheffield.vtts.model.Analysis
      • uk.ac.sheffield.vtts.model.Warning
    • uk.ac.sheffield.vtts.model.Sequence
      • uk.ac.sheffield.vtts.model.TestSequence (implements java.lang.Comparable<T>)
  • uk.ac.sheffield.vtts.GenerateTests
  • uk.ac.sheffield.vtts.GroundTests
  • uk.ac.sheffield.vtts.client.pojo.HolidayBooking
  • uk.ac.sheffield.vtts.ground.JavaDependency
  • uk.ac.sheffield.vtts.client.pojo.Login
  • uk.ac.sheffield.vtts.client.pojo.ShoppingCart
  • uk.ac.sheffield.vtts.client.ws.ShoppingCartService
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Error
      • uk.ac.sheffield.vtts.model.SemanticError
    • java.lang.Exception
      • java.lang.RuntimeException
        • uk.ac.sheffield.vtts.client.ws.BadDocumentIdentifier
        • uk.ac.sheffield.vtts.client.rs.BadDocumentIdentifier
        • uk.ac.sheffield.vtts.client.pojo.BadDocumentIdentifier
        • uk.ac.sheffield.vtts.client.ws.BadVersionIdentifier
        • uk.ac.sheffield.vtts.client.rs.BadVersionIdentifier
        • uk.ac.sheffield.vtts.client.pojo.BadVersionIdentifier
  • uk.ac.sheffield.vtts.ValidateMachine
  • uk.ac.sheffield.vtts.VerifyProtocol
  • uk.ac.sheffield.vtts.web.WebGenerateTests
  • uk.ac.sheffield.vtts.web.WebGroundTests
  • uk.ac.sheffield.vtts.web.WebValidateMachine
  • uk.ac.sheffield.vtts.web.WebVerifyProtocol

Interface Hierarchy

• uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
• uk.ac.sheffield.vtts.ground.Factory
• uk.ac.sheffield.vtts.ground.Grounding
• uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface