Hierarchy For All Packages

Package Hierarchies:

de.ewand.typestate.jerify.verifier.base.typestatemodel, de.unisaarland.cs.st.jerify.verifier, de.unisaarland.cs.st.jerify.verifier.alias, de.unisaarland.cs.st.jerify.verifier.cfg.flownodes, de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias, de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate, de.unisaarland.cs.st.jerify.verifier.dataflow, de.unisaarland.cs.st.jerify.verifier.helpers, de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors, de.unisaarland.cs.st.jerify.verifier.quals, de.unisaarland.cs.st.jerify.verifier.tools.gui, de.unisaarland.cs.st.jerify.verifier.typestate

Class Hierarchy

• java.lang.Object
  • javax.lang.model.util.AbstractAnnotationValueVisitor6<R,P> (implements javax.lang.model.element.AnnotationValueVisitor<R,P>)
    • javax.lang.model.util.SimpleAnnotationValueVisitor6<R,P>
      • de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors.GetAnnotationMirrorList
      • de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors.GetInt
      • de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors.GetIntList
      • de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors.GetString
      • de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors.GetStringList
  • javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
    • checkers.source.SourceChecker
      • de.unisaarland.cs.st.jerify.verifier.Checker
  • de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSource
    • de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSourceFixed
    • de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSourceNew
    • de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSourceVar
  • de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisVarHandle
    • de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisFieldHandle
  • checkers.types.AnnotatedTypeFactory
    • de.unisaarland.cs.st.jerify.verifier.TypestateAnnotatedTypeFactory
  • de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors.AnnotationHelper
  • de.unisaarland.cs.st.jerify.verifier.helpers.CheckerTools
  • de.unisaarland.cs.st.jerify.verifier.alias.ClassCFGAliasAnalysis
  • de.unisaarland.cs.st.jerify.verifier.typestate.ClassCFGData
  • 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)
            • de.unisaarland.cs.st.jerify.verifier.tools.gui.gui
  • de.unisaarland.cs.st.jerify.verifier.dataflow.DataFlowCFGAnalysis
  • de.unisaarland.cs.st.jerify.verifier.helpers.Debug
  • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.FlowNode<AnalysisData>
    • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSFlowNode
      • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias.TSAliasAnalysisAssignmentFlowNode
      • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias.TSAliasAnalysisEndOfScope
      • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSDummyFlowNode
      • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSFixpointerIterationFlowNode
      • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSStateChangingFlowNode
        • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSStateFilterNode
        • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSStateSetFlowNode
        • de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSTransitionFlowNode
  • de.unisaarland.cs.st.jerify.verifier.tools.gui.GuiClassTreeNode (implements de.unisaarland.cs.st.jerify.verifier.tools.gui.GuiTreeNode)
  • de.unisaarland.cs.st.jerify.verifier.tools.gui.GuiPackageTreeNode (implements de.unisaarland.cs.st.jerify.verifier.tools.gui.GuiTreeNode)
  • de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGData
  • de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGThrowsWorkData
  • de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGWorkData
  • de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateAnalysis (implements de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.CFGAnalysis<AnalysisData>)
  • de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateInformation
  • de.unisaarland.cs.st.jerify.verifier.tools.gui.OverviewGui
  • de.unisaarland.cs.st.jerify.verifier.helpers.Pair<A,B>
  • de.unisaarland.cs.st.jerify.verifier.typestate.State
  • de.unisaarland.cs.st.jerify.verifier.typestate.StateChangeTransition (implements de.unisaarland.cs.st.jerify.verifier.typestate.StateChanges)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • de.unisaarland.cs.st.jerify.verifier.TypestateException
  • com.sun.source.util.TreeScanner<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisExpressionVisitor
    • de.unisaarland.cs.st.jerify.verifier.typestate.ClassCFG
    • com.sun.source.util.TreePathScanner<R,P>
      • de.unisaarland.cs.st.jerify.verifier.tools.gui.OverviewVisitor
      • checkers.source.SourceVisitor<R,P>
        • de.unisaarland.cs.st.jerify.verifier.typestate.CompilationUnitCFG
  • de.unisaarland.cs.st.jerify.verifier.helpers.Triple<A,B,C>
  • de.unisaarland.cs.st.jerify.verifier.TSConfig
  • de.unisaarland.cs.st.jerify.verifier.TSError

Interface Hierarchy

• de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.CFGAnalysis<AnalysisData>
• de.unisaarland.cs.st.jerify.verifier.tools.gui.GuiTreeNode
• de.ewand.typestate.jerify.verifier.base.typestatemodel.IState
• de.unisaarland.cs.st.jerify.verifier.typestate.StateChanges

Annotation Type Hierarchy

• de.unisaarland.cs.st.jerify.verifier.quals.RequireState (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.TS (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.ReturnValue (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.TypestateChecked (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.NoStateChanges (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.RecieverTypestate (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.ScopeEndStates (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.SetState (implements java.lang.annotation.Annotation)
• de.unisaarland.cs.st.jerify.verifier.quals.ChangeState (implements java.lang.annotation.Annotation)