Hierarchy For All Packages

Package Hierarchies:

• com.uppaal.engine,
• com.uppaal.model,
• com.uppaal.model.core2,
• com.uppaal.model.core2.lsc,
• com.uppaal.model.io2,
• com.uppaal.model.lscsystem,
• com.uppaal.model.system,
• com.uppaal.model.system.concrete,
• com.uppaal.model.system.symbolic

Class Hierarchy

• java.lang.Object
  • com.uppaal.model.core2.AbstractCommand (implements com.uppaal.model.core2.Command)
    • com.uppaal.model.core2.AbstractTransaction
      • com.uppaal.model.core2.lsc.AddAnchorCommand
      • com.uppaal.model.core2.lsc.ChangeAnchorCommand (implements com.uppaal.model.core2.lsc.LscConstants)
      • com.uppaal.model.core2.lsc.ChangeMessageEndCommand (implements com.uppaal.model.core2.lsc.LscConstants)
      • com.uppaal.model.core2.InsertEdgeCommand
      • com.uppaal.model.core2.InsertElementCommand
        • com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
        • com.uppaal.model.core2.lsc.InsertInstanceCommand
      • com.uppaal.model.core2.lsc.InsertMessageCommand
      • com.uppaal.model.core2.lsc.RemoveAnchorCommand
      • com.uppaal.model.core2.SetEndPointCommand
        • com.uppaal.model.core2.SetSourceCommand
        • com.uppaal.model.core2.SetTargetCommand
      • com.uppaal.model.core2.lsc.SetLengthCommand (implements com.uppaal.model.core2.lsc.LscConstants)
      • com.uppaal.model.core2.TranslationCommand
        • com.uppaal.model.core2.lsc.TranslationMessageLabelCommand (implements com.uppaal.model.core2.lsc.LscConstants)
        • com.uppaal.model.core2.lsc.TranslationXCommand
        • com.uppaal.model.core2.lsc.TranslationYCommand (implements com.uppaal.model.core2.lsc.LscConstants)
    • com.uppaal.model.core2.AppendQueriesCommand
    • com.uppaal.model.core2.CompoundCommand
    • com.uppaal.model.core2.InsertQueryCommand
    • com.uppaal.model.core2.InsertTemplateCommand
    • com.uppaal.model.core2.MoveTemplateCommand
    • com.uppaal.model.core2.RemoveElementCommand
    • com.uppaal.model.core2.lsc.RemoveLscElementCommand
    • com.uppaal.model.core2.RemoveQueryCommand
    • com.uppaal.model.core2.RemoveTemplateCommand
    • com.uppaal.model.core2.SetPropertyCommand
      • com.uppaal.model.core2.SetPropertyWithPositionCommand
    • com.uppaal.model.core2.SetQueryCommand
    • com.uppaal.model.core2.SnapCommand
  • com.uppaal.model.core2.AbstractEventListener (implements com.uppaal.model.core2.EventListener)
  • com.uppaal.model.AbstractProcess
    • com.uppaal.model.lscsystem.LscProcess
    • com.uppaal.model.system.Process
  • com.uppaal.model.AbstractSystem
    • com.uppaal.model.lscsystem.UppaalLscSystem
    • com.uppaal.model.system.UppaalSystem
  • com.uppaal.model.AbstractSystemLocation
    • com.uppaal.model.system.SystemLocation
    • com.uppaal.model.lscsystem.SystemSimregion
  • com.uppaal.model.AbstractSystemState
    • com.uppaal.model.lscsystem.SystemCut
  • com.uppaal.model.system.AbstractTrace<Transition> (implements java.lang.Iterable<T>)
    • com.uppaal.model.system.concrete.ConcreteTrace
    • com.uppaal.model.system.symbolic.SymbolicTrace
  • com.uppaal.model.system.AbstractTransition
    • com.uppaal.model.system.concrete.ConcreteTransition
    • com.uppaal.model.system.concrete.ConcreteTransitionRecord
    • com.uppaal.model.system.symbolic.SymbolicTransition
  • com.uppaal.model.core2.AbstractVisitor (implements com.uppaal.model.core2.Visitor)
    • com.uppaal.model.io2.BoundCalc
    • com.uppaal.model.ConvertSyntaxVisitor
    • com.uppaal.model.LayoutVisitor
    • com.uppaal.model.core2.PrintVisitor
    • com.uppaal.model.core2.PrototypeVisitor
    • com.uppaal.model.io2.RelToAbsVisitor
    • com.uppaal.model.io2.UGIWriter
    • com.uppaal.model.io2.XMLWriter
    • com.uppaal.model.io2.XTAWriter
  • com.uppaal.model.core2.CommandManager
  • com.uppaal.model.system.concrete.ConcreteSuccessor
  • com.uppaal.model.system.concrete.ConcreteVariable
  • com.uppaal.model.core2.Data2D (implements java.lang.Iterable<T>)
  • com.uppaal.model.core2.DataSet2D (implements java.lang.Iterable<T>)
  • com.uppaal.engine.DotProtocol (implements com.uppaal.engine.Protocol)
  • com.uppaal.model.core2.Element (implements java.lang.Cloneable, java.io.Serializable)
    • com.uppaal.model.core2.Node
      • com.uppaal.model.core2.AbstractLocation
        • com.uppaal.model.core2.BranchPoint
        • com.uppaal.model.core2.Location
      • com.uppaal.model.core2.AbstractTemplate
        • com.uppaal.model.core2.lsc.LscTemplate (implements com.uppaal.model.core2.lsc.LscConstants)
        • com.uppaal.model.core2.Template
      • com.uppaal.model.core2.Document
      • com.uppaal.model.core2.Edge
      • com.uppaal.model.core2.lsc.LscElement (implements com.uppaal.model.core2.lsc.LscConstants)
        • com.uppaal.model.core2.lsc.AnchoredElement
          • com.uppaal.model.core2.lsc.Condition
          • com.uppaal.model.core2.lsc.Update
        • com.uppaal.model.core2.lsc.Cut
        • com.uppaal.model.core2.lsc.InstanceLine (implements com.uppaal.model.core2.lsc.LscConstants)
        • com.uppaal.model.core2.lsc.Message
        • com.uppaal.model.core2.lsc.Prechart
        • com.uppaal.model.core2.lsc.Simregion
      • com.uppaal.model.core2.Nail
      • com.uppaal.model.core2.Query
      • com.uppaal.model.core2.QueryList (implements java.lang.Iterable<T>)
    • com.uppaal.model.core2.Property
    • com.uppaal.model.core2.PrototypeDocument (implements com.uppaal.model.core2.Constants, com.uppaal.model.core2.lsc.LscConstants)
  • com.uppaal.model.system.EmptyTranslator (implements com.uppaal.model.Translator)
  • com.uppaal.engine.Engine
  • com.uppaal.engine.EngineStub
  • com.uppaal.model.system.GanttBar (implements java.lang.Cloneable)
  • com.uppaal.model.system.GanttChart (implements java.lang.Cloneable)
  • com.uppaal.model.system.GanttRow (implements java.lang.Cloneable)
  • com.uppaal.model.system.IdentifierTranslator (implements com.uppaal.model.Translator)
  • com.uppaal.engine.KeyValueProtocol (implements com.uppaal.engine.Protocol)
  • com.uppaal.engine.LexicalAnalyser
    • com.uppaal.engine.Parser
  • com.uppaal.model.system.concrete.Limit (implements java.lang.Cloneable)
  • com.uppaal.model.core2.LogIterator (implements java.util.Iterator<E>)
  • java.util.Observable
    • com.uppaal.model.core2.QueryData
  • java.io.OutputStream (implements java.io.Closeable, java.io.Flushable)
    • java.io.FilterOutputStream
      • java.io.BufferedOutputStream
        • com.uppaal.model.io2.CachedOutputStream
  • java.awt.geom.Point2D (implements java.lang.Cloneable)
    • java.awt.Point (implements java.io.Serializable)
      • com.uppaal.model.io2.IntPoint
    • java.awt.geom.Point2D.Float (implements java.io.Serializable)
      • com.uppaal.model.io2.FloatPoint
  • com.uppaal.model.system.Polyhedron
  • com.uppaal.engine.Problem
  • com.uppaal.model.io2.QueryListStreamWriter
  • com.uppaal.model.io2.QueryListURLReader
  • com.uppaal.engine.QueryResult
  • com.uppaal.model.io2.SimpleCharStream
  • com.uppaal.model.lscsystem.SystemCondition
  • com.uppaal.model.system.SystemEdge
    • com.uppaal.model.system.SystemEdgeSelect
  • com.uppaal.model.lscsystem.SystemInstanceLine
  • com.uppaal.model.lscsystem.SystemMessage
  • com.uppaal.model.lscsystem.SystemPrechart
  • com.uppaal.model.system.SystemState
    • com.uppaal.model.system.concrete.ConcreteState
    • com.uppaal.model.system.symbolic.SymbolicState
  • com.uppaal.model.lscsystem.SystemUpdate
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Error
      • com.uppaal.model.io2.TokenMgrError
    • java.lang.Exception
      • com.uppaal.engine.CannotEvaluateException
      • com.uppaal.model.core2.CannotRedoException
      • com.uppaal.model.core2.CannotUndoException
      • com.uppaal.engine.EngineException
        • com.uppaal.engine.ProtocolException
        • com.uppaal.engine.ServerException
      • com.uppaal.model.io2.ParseException
  • com.uppaal.model.io2.Token (implements java.io.Serializable)
  • com.uppaal.model.system.Trace
  • com.uppaal.model.system.Transition
  • com.uppaal.model.io2.UGIReader (implements com.uppaal.model.io2.UGIReaderConstants)
  • com.uppaal.model.io2.UGIReaderTokenManager (implements com.uppaal.model.io2.UGIReaderConstants)
  • com.uppaal.model.io2.UXMLResolver (implements javax.xml.stream.XMLResolver)
  • com.uppaal.model.io2.XMLReader
  • com.uppaal.model.io2.XTAReader (implements com.uppaal.model.io2.XTAReaderConstants)
  • com.uppaal.model.io2.XTAReaderTokenManager (implements com.uppaal.model.io2.XTAReaderConstants)

Interface Hierarchy

• com.uppaal.model.core2.Command
• com.uppaal.model.core2.CommandListener
• com.uppaal.model.core2.CommonConstants
  • com.uppaal.model.core2.Constants
  • com.uppaal.model.core2.lsc.LscConstants
• com.uppaal.model.core2.EventListener
• com.uppaal.engine.Job
• com.uppaal.engine.Protocol
• com.uppaal.engine.QueryFeedback
• com.uppaal.model.core2.QueryListener
• com.uppaal.model.core2.QueryListListener
• com.uppaal.model.system.TraceListener<Transition>
• com.uppaal.model.system.Translator
• com.uppaal.model.Translator
• com.uppaal.model.io2.UGIReaderConstants
• com.uppaal.model.core2.lsc.ViewWorkAround
• com.uppaal.model.core2.Visitor
• com.uppaal.model.io2.XTAReaderConstants

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • com.uppaal.engine.KeyValueProtocol.Service