Hierarchy For All Packages

Package Hierarchies:

sofya, sofya.apps, sofya.apps.atomicity, sofya.apps.dejavu, sofya.base, sofya.base.exceptions, sofya.ed, sofya.ed.semantic, sofya.ed.structural, sofya.ed.structural.processors, sofya.graphs, sofya.graphs.cfg, sofya.graphs.irg, sofya.mutator, sofya.mutator.operators, sofya.mutator.selectors, sofya.mutator.verifier, sofya.tools, sofya.tools.th, sofya.viewers

Class Hierarchy

• java.lang.Object
  • sofya.ed.structural.AbstractEventDispatcher
    • sofya.ed.structural.JUnitEventDispatcher
    • sofya.ed.structural.ProgramEventDispatcher
  • sofya.ed.semantic.AbstractEventSpecification (implements sofya.ed.semantic.EventSpecification)
    • sofya.ed.semantic.AllEvents
    • sofya.ed.semantic.AllModuleEvents
      • sofya.apps.atomicity.AtomicityEvents
    • sofya.ed.semantic.ModuleDescription
  • sofya.ed.structural.processors.AbstractProcessingStrategy
    • sofya.ed.structural.processors.AbstractJUnitProcessingStrategy (implements sofya.ed.structural.JUnitProcessingStrategy)
      • sofya.ed.structural.processors.JUnitBlockCoverageProcessingStrategy (implements sofya.ed.structural.BlockInstrumentationStrategy)
      • sofya.ed.structural.processors.JUnitBlockSequenceProcessingStrategy (implements sofya.ed.structural.BlockInstrumentationStrategy)
      • sofya.ed.structural.processors.JUnitBranchCoverageProcessingStrategy (implements sofya.ed.structural.BranchInstrumentationStrategy)
      • sofya.ed.structural.processors.JUnitBranchSequenceProcessingStrategy (implements sofya.ed.structural.BranchInstrumentationStrategy)
    • sofya.ed.structural.processors.AbstractSocketProcessingStrategy (implements sofya.ed.structural.SocketProcessingStrategy)
      • sofya.ed.structural.processors.BlockCoverageProcessingStrategy (implements sofya.ed.structural.BlockInstrumentationStrategy)
      • sofya.ed.structural.processors.BlockSequenceProcessingStrategy (implements sofya.ed.structural.BlockInstrumentationStrategy)
      • sofya.ed.structural.processors.BranchCoverageProcessingStrategy (implements sofya.ed.structural.BranchInstrumentationStrategy)
      • sofya.ed.structural.processors.BranchSequenceProcessingStrategy (implements sofya.ed.structural.BranchInstrumentationStrategy)
  • sofya.mutator.operators.AFC (implements org.apache.bcel.Constants, sofya.mutator.MutationOperator)
  • sofya.mutator.operators.AFC.AFCVariant (implements sofya.mutator.Mutation.Variant)
  • sofya.mutator.operators.AOC (implements org.apache.bcel.Constants, sofya.mutator.MutationOperator)
  • sofya.mutator.operators.AOP (implements org.apache.bcel.Constants, sofya.mutator.MutationOperator)
  • sofya.mutator.operators.AOP.AOPVariant (implements sofya.mutator.Mutation.Variant)
  • sofya.apps.AtomicityChecker
  • sofya.ed.BatchStructuralTracer
  • sofya.ed.BBSequenceTracer
  • sofya.ed.BBTracer
  • sofya.ed.structural.BlockInstrumentationConfiguration (implements sofya.ed.structural.ActiveComponent)
  • sofya.graphs.cfg.BranchFlowProcessor (implements sofya.graphs.cfg.CFGTransformer, sofya.base.SConstants)
  • sofya.ed.structural.BranchInstrumentationConfiguration (implements sofya.ed.structural.ActiveComponent)
  • sofya.ed.BranchSequenceTracer
  • sofya.ed.BranchTracer
  • sofya.base.CacheHandle
  • sofya.graphs.cfg.CFEdge.BranchID (implements java.lang.Comparable<T>)
  • sofya.graphs.cfg.CFGBuilder (implements sofya.base.SConstants)
  • sofya.apps.dejavu.CFGLoader (implements sofya.apps.dejavu.GraphLoader)
  • sofya.ed.cfInstrumentor (implements sofya.base.SConstants)
  • sofya.apps.dejavu.ClassPair
  • sofya.ed.semantic.ConsoleTarget (implements sofya.ed.semantic.EventListener)
  • sofya.ed.structural.ControlData
  • sofya.tools.Coverage
  • sofya.ed.structural.CoverageTrace
    • sofya.ed.structural.BlockCoverageTrace (implements sofya.ed.BlockCoverageListener)
    • sofya.ed.structural.BranchCoverageTrace (implements sofya.ed.BranchCoverageListener)
  • sofya.mutator.DefaultMutationSelector (implements sofya.mutator.MutationSelector)
  • sofya.apps.DejaVu
  • sofya.graphs.Edge
    • sofya.graphs.cfg.CFEdge (implements sofya.base.SConstants)
  • sofya.apps.dejavu.EdgeSelector
    • sofya.apps.dejavu.CFEdgeSelector (implements sofya.base.SConstants)
  • sofya.apps.dejavu.EdgeSelector.EdgeMatchData
  • sofya.apps.dejavu.EdgeSelector.EdgeTraversal
  • sofya.ed.semantic.EDProbe
  • sofya.apps.atomicity.EventClassifier.EventClass
  • sofya.ed.structural.EventDispatcherConfiguration
  • sofya.ed.semantic.EventFilter (implements sofya.ed.semantic.EventListener)
    • sofya.ed.semantic.EventSelectionFilter
      • sofya.apps.atomicity.AutomataController (implements sofya.ed.semantic.ChainedEventListener)
      • sofya.apps.atomicity.DynamicEscapeDetector
      • sofya.apps.atomicity.EventClassifier
        • sofya.apps.atomicity.DefaultEventClassifier
      • sofya.apps.atomicity.HappenBeforeChecker
      • sofya.apps.atomicity.MultiLocksetRaceDetector
      • sofya.ed.semantic.ObjectFilter (implements sofya.ed.semantic.ChainedEventListener, sofya.ed.semantic.ErrorRecorder)
      • sofya.ed.semantic.ThreadFilter (implements sofya.ed.semantic.ChainedEventListener, sofya.ed.semantic.ErrorRecorder)
  • sofya.ed.semantic.EventListener.Arguments
  • sofya.ed.semantic.EventListener.CallData
  • sofya.ed.semantic.EventListener.ExceptionData
  • sofya.ed.semantic.EventListener.FieldData
  • sofya.ed.semantic.EventListener.MethodData
  • sofya.ed.semantic.EventListener.MonitorData
  • sofya.ed.semantic.EventListener.NewAllocationData
  • sofya.ed.semantic.EventListener.ObjectData
  • sofya.ed.semantic.EventListener.ThreadData
  • sofya.ed.semantic.EventListener.ThreadStatus
  • sofya.ed.semantic.EventSpecification.CallType
  • sofya.ed.semantic.EventSpecification.FieldType
  • sofya.ed.semantic.EventSpecification.MethodAction
  • sofya.ed.semantic.EventSpecification.MonitorType
  • sofya.graphs.Graph
    • sofya.graphs.cfg.CFG (implements sofya.base.SConstants)
  • sofya.graphs.GraphCache
    • sofya.graphs.cfg.CFGCache
  • sofya.graphs.GraphCache.CachedGraph
  • sofya.apps.dejavu.GraphTraverser (implements sofya.base.SConstants)
  • sofya.base.Handler
    • sofya.base.ByteSourceHandler
    • sofya.graphs.cfg.CFHandler
    • sofya.graphs.irg.IRGHandler
    • sofya.graphs.cfg.MapHandler
    • sofya.mutator.MutationHandler
    • sofya.ed.semantic.SemanticDataHandler
    • sofya.base.SourceHandler
    • sofya.tools.th.TestHistoryHandler (implements sofya.base.SConstants)
    • sofya.apps.dejavu.TestSelectionHandler (implements sofya.base.SConstants)
    • sofya.ed.structural.TraceHandler (implements sofya.ed.structural.ActiveComponent, sofya.ed.CoverageListenerManager, sofya.base.SConstants)
  • sofya.mutator.operators.HFA (implements org.apache.bcel.Constants, sofya.mutator.MutationOperator)
  • sofya.mutator.operators.HFR (implements org.apache.bcel.Constants, sofya.mutator.MutationOperator)
  • sofya.mutator.selectors.IDMutationSelector (implements sofya.mutator.MutationSelector)
  • sofya.mutator.selectors.IDMutationSelector.ID
  • sofya.apps.dejavu.InputParser
  • sofya.ed.Instrumentor (implements org.apache.bcel.generic.InstructionConstants, sofya.base.SConstants)
    • sofya.ed.structural.BlockInstrumentor
    • sofya.ed.structural.BranchInstrumentor
    • sofya.ed.semantic.SemanticInstrumentor
  • sofya.mutator.operators.IOD (implements org.apache.bcel.Constants, sofya.mutator.MutationOperator)
  • sofya.graphs.irg.IRG
  • sofya.graphs.irg.IRG.ClassNode
  • sofya.graphs.cfg.jCFG
  • sofya.graphs.irg.jIRG
  • sofya.ed.structural.JUnitEventDispatcher.InstrumentationMode
  • sofya.mutator.verifier.JustIceVerifier (implements sofya.mutator.verifier.Verifier)
  • sofya.base.JVMStackReverser (implements org.apache.bcel.Constants)
  • sofya.mutator.operators.LCC (implements org.apache.bcel.Constants, sofya.mutator.MutationOperator)
  • sofya.mutator.operators.LCC.LCCVariant (implements sofya.mutator.Mutation.Variant)
  • sofya.mutator.selectors.MethodMutationSelector (implements sofya.mutator.MutationSelector)
    • sofya.mutator.selectors.RandomMethodMutationSelector
  • sofya.mutator.selectors.MethodMutationSelector.TypeSignature
  • sofya.apps.dejavu.MethodPair
  • sofya.base.MethodSignature (implements java.io.Serializable)
  • sofya.base.MethodSignature.NameComparator (implements java.util.Comparator<T>)
  • sofya.mutator.MutationFileReader (implements java.io.DataInput)
  • sofya.mutator.MutationFileWriter (implements java.io.DataOutput)
  • sofya.mutator.MutationGenerator (implements org.apache.bcel.Constants)
  • sofya.mutator.MutationGroup (implements sofya.mutator.Mutation)
  • sofya.mutator.MutationID
  • sofya.mutator.MutationImpl (implements sofya.mutator.Mutation)
    • sofya.mutator.ClassMutation
      • sofya.mutator.operators.AFC.AFCMutation
      • sofya.mutator.operators.HFA.HFAMutation
      • sofya.mutator.operators.HFR.HFRMutation
      • sofya.mutator.operators.IOD.IODMutation
    • sofya.mutator.MethodMutation
      • sofya.mutator.operators.AOC.AOCMutation (implements sofya.mutator.GroupableMutation)
      • sofya.mutator.operators.AOP.AOPMutation (implements sofya.mutator.GroupableMutation)
      • sofya.mutator.operators.LCC.LCCMutation (implements sofya.mutator.GroupableMutation)
      • sofya.mutator.operators.ROP.ROPMutation (implements sofya.mutator.GroupableMutation)
  • sofya.mutator.MutationIterator (implements java.util.Iterator<E>)
  • sofya.mutator.MutationTable
    • sofya.mutator.FileWriterMutationTable
    • sofya.mutator.StandardMutationTable
  • sofya.mutator.Mutator (implements org.apache.bcel.Constants)
  • sofya.mutator.MutatorConfiguration
  • sofya.graphs.Node (implements sofya.base.SConstants)
    • sofya.graphs.cfg.Block
  • sofya.apps.dejavu.NodeComparer
    • sofya.apps.dejavu.BytecodeNodeComparer
  • sofya.mutator.selectors.OperatorMutationSelector (implements sofya.mutator.MutationSelector)
  • sofya.apps.dejavu.OutputAdapter
  • java.io.OutputStream (implements java.io.Closeable, java.io.Flushable)
    • java.io.FilterOutputStream
      • java.util.zip.DeflaterOutputStream
        • java.util.zip.ZipOutputStream
          • java.util.jar.JarOutputStream
            • sofya.base.ProtectedJarOutputStream
  • sofya.mutator.verifier.PlatformJVMVerifier (implements sofya.mutator.verifier.Verifier)
  • sofya.base.ProgramUnit
  • sofya.base.ProjectDescription
  • sofya.mutator.selectors.RandomIDMutationSelector (implements sofya.mutator.MutationSelector)
  • sofya.mutator.selectors.RandomOperatorMutationSelector (implements sofya.mutator.MutationSelector)
  • sofya.apps.atomicity.RBAutomata (implements sofya.ed.semantic.EventListener)
    • sofya.apps.atomicity.RBAutomataExt52
  • sofya.apps.atomicity.ResultCollector
  • sofya.mutator.operators.ROP (implements org.apache.bcel.Constants, sofya.mutator.MutationOperator)
  • sofya.mutator.operators.ROP.ROPVariant (implements sofya.mutator.Mutation.Variant)
  • sofya.base.SConstants.BlockLabel
  • sofya.base.SConstants.BlockSubType
  • sofya.base.SConstants.BlockType
  • sofya.base.SConstants.BranchType
  • sofya.base.SConstants.TraceObjectType
    • sofya.base.SConstants.BlockObjectType
    • sofya.base.SConstants.BranchObjectType
    • sofya.base.SConstants.EDObjectType
  • sofya.ed.semantic.SemanticConstants
  • sofya.ed.semantic.SemanticEventData
  • sofya.ed.semantic.SemanticEventDispatcher
  • sofya.ed.SemanticEventTracer
  • sofya.ed.structural.SequenceTraceWriter (implements sofya.ed.structural.ActiveComponent, sofya.ed.BlockEventListener, sofya.ed.BranchEventListener)
  • sofya.ed.structural.SocketProbe (implements java.lang.Runnable, sofya.base.SConstants)
  • sofya.tools.Statistics (implements sofya.base.SConstants)
  • sofya.base.StreamRedirector (implements java.lang.Runnable)
  • sofya.mutator.StringTable
  • sofya.tools.th.TestHistory
  • sofya.tools.TestHistoryBuilder (implements sofya.base.SConstants)
  • sofya.apps.dejavu.TestMapper
    • sofya.apps.dejavu.BlockTestMapper
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Error
      • sofya.base.exceptions.SofyaError
        • sofya.base.exceptions.ConfigurationError
    • java.lang.Exception
      • sofya.graphs.cfg.CFGBuilder.LoadException
      • sofya.ed.semantic.FactoryException
      • java.io.IOException
        • sofya.base.exceptions.BadFileFormatException
          • sofya.base.exceptions.DatabaseEOFException
          • sofya.base.exceptions.InterfaceClassfileException
          • sofya.base.exceptions.LocatableFileException
            • sofya.base.exceptions.DataTypeException
            • sofya.base.exceptions.EOLException
        • sofya.base.exceptions.EmptyFileException
        • sofya.viewers.SameFileNameException
      • sofya.base.exceptions.MethodNotFoundException
      • sofya.mutator.MutationException
      • java.lang.RuntimeException
        • sofya.ed.structural.AbstractEventDispatcher.CreateException
        • sofya.ed.structural.AbstractEventDispatcher.ExecException
        • sofya.ed.structural.AbstractEventDispatcher.SetupException
        • sofya.ed.structural.AbstractEventDispatcher.TraceFileException
        • sofya.ed.BadParameterValueException
        • sofya.base.exceptions.CacheException
        • sofya.base.exceptions.IncompleteClasspathException
        • sofya.ed.ParameterValueAbsentException
      • sofya.ed.semantic.SemanticEventDispatcher.InternalException
      • sofya.graphs.cfg.TransformationException
      • sofya.graphs.cfg.TypeInferenceException
      • sofya.mutator.verifier.VerifierException
  • sofya.ed.semantic.TraceFileTarget (implements sofya.ed.semantic.ChainedEventListener, sofya.ed.semantic.ErrorRecorder)
  • sofya.base.Utility
  • sofya.mutator.verifier.Verifier.Pass
  • sofya.mutator.verifier.VerifierFactory
  • sofya.viewers.Viewer
    • sofya.viewers.ByteSourceViewer
    • sofya.viewers.CFViewer
    • sofya.viewers.MapViewer
    • sofya.viewers.MutationTableViewer
    • sofya.viewers.SourceViewer
    • sofya.viewers.TestHistoryViewer
    • sofya.viewers.TestSelectionViewer
    • sofya.viewers.TraceViewer

Interface Hierarchy

• sofya.ed.structural.ActiveComponent
  • sofya.ed.structural.JUnitProcessingStrategy
  • sofya.ed.structural.SocketProcessingStrategy
• sofya.ed.BlockCoverageListener
• sofya.ed.BlockEventListener
• sofya.ed.structural.BlockInstrumentationStrategy
• sofya.ed.BranchCoverageListener
• sofya.ed.BranchEventListener
• sofya.ed.structural.BranchInstrumentationStrategy
• sofya.graphs.cfg.CFGTransformer
• sofya.ed.semantic.ChainedEventListenerFactory
• sofya.ed.CoverageListenerManager
• sofya.ed.semantic.ErrorRecorder
• sofya.ed.semantic.EventListener
  • sofya.ed.semantic.ChainedEventListener
• sofya.ed.semantic.EventListenerFactory
• sofya.ed.semantic.EventSpecification
• sofya.apps.dejavu.GraphLoader
• sofya.mutator.selectors.IntSequenceIterator
• sofya.mutator.Mutation
  • sofya.mutator.GroupableMutation
• sofya.mutator.Mutation.Variant
• sofya.mutator.MutationOperator
• sofya.mutator.MutationSelector
• sofya.mutator.MutationVisitor
• sofya.base.SConstants
• sofya.mutator.verifier.VerificationResult
• sofya.mutator.verifier.Verifier