Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 123]

▶Ccz.muni.stanse.threadchecker.graph.AbstractDependencyRule
Ccz.muni.stanse.threadchecker.graph.DependencyRule
▶Ccz.muni.stanse.threadchecker.AbstractFunctionState
Ccz.muni.stanse.threadchecker.FunctionState
▶Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationJoinListener
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocation
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationSet
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.FunctionPointerType
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.TypeTable
Ccz.muni.stanse.codestructures.AliasResolver
Ccz.muni.stanse.codestructures.ArgumentPassingManager
Ccz.muni.stanse.threadchecker.locks.BackTrack
Ccz.muni.stanse.codestructures.builders.CallGraphBuilder
Ccz.muni.stanse.utils.CallGraphToDot
▶Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.CategorizationProvider
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.AndersenCategorizationProvider
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.SteensgaardCategorizationProvider
Ccz.muni.stanse.cparser.CFGEvaluator
Ccz.muni.stanse.threadchecker.graph.CFGGraphState
Ccz.muni.stanse.codestructures.CFGHandle
▶Ccz.muni.stanse.codestructures.CFGNode
Ccz.muni.stanse.codestructures.CFGBranchNode
Ccz.muni.stanse.codestructures.CFGBreakNode
Ccz.muni.stanse.codestructures.CFGJoinNode
Ccz.muni.stanse.codestructures.CFGNodeNumber
▶Ccz.muni.stanse.codestructures.CFGPart
Ccz.muni.stanse.codestructures.CFG
Ccz.muni.stanse.codestructures.traversal.CFGPathVisitor
▶Ccz.muni.stanse.codestructures.CFGsNavigator
Ccz.muni.stanse.codestructures.InterproceduralCFGsNavigator
Ccz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
Ccz.muni.stanse.threadchecker.CFGTransit	Algorithm description: if(node is marked as visited) -> stop process and ask for another from queue if(node has only one predecessor) { -> process node's element and mark it as visited } else { if(all node's predecessors are visited) { -> try to join all nodes with same CFGNode -> process actual node's element and mark it as visited } else { if(predecessor's is part of a cycle
Ccz.muni.stanse.codestructures.traversal.CFGTraversal
Ccz.muni.stanse.codestructures.traversal.CFGvisitor
▶Ccz.muni.stanse.checker.Checker
Ccz.muni.stanse.lockchecker.LockChecker
Ccz.muni.stanse.pointeranalyzer.PointerAnalyzer
Ccz.muni.stanse.threadchecker.ThreadChecker
Ccz.muni.stanse.configuration.CheckerConfiguration
▶Ccz.muni.stanse.checker.CheckerCreator
Ccz.muni.stanse.automatonchecker.AutomatonCheckerCreator
Ccz.muni.stanse.lockchecker.LockCheckerCreator
Ccz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator
Ccz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator
Ccz.muni.stanse.threadchecker.ThreadCheckerCreator
Ccz.muni.stanse.checker.CheckerErrorReceiver
Ccz.muni.stanse.statistics.CheckerErrorsGuiTracing
Ccz.muni.stanse.statistics.CheckerErrorsSorter
Ccz.muni.stanse.checker.CheckerErrorTrace
Ccz.muni.stanse.checker.CheckerErrorTraceLocation
Ccz.muni.stanse.checker.CheckerFactory
Ccz.muni.stanse.checker.CheckerProgressMonitor
Ccz.muni.stanse.threadchecker.CheckerSettings
▶Ccz.muni.stanse.checker.CheckingResult
Ccz.muni.stanse.checker.CheckingFailed
Ccz.muni.stanse.checker.CheckingSuccess
Ccz.muni.stanse.utils.ClassLocation
Ccz.muni.stanse.utils.ClassLogger
Ccz.muni.stanse.utils.ClassURL
▶CCloneable
Ccz.muni.stanse.threadchecker.Function
Ccz.muni.stanse.threadchecker.FunctionState
Ccz.muni.stanse.threadchecker.graph.DependencyRule
Ccz.muni.stanse.threadchecker.locks.JoinNode
▶Ccz.muni.stanse.threadchecker.locks.Lock
Ccz.muni.stanse.threadchecker.locks.SpinLock
Ccz.muni.stanse.threadchecker.locks.LockStack
Ccz.muni.stanse.threadchecker.locks.SpinLock
Ccz.muni.stanse.threadchecker.locks.UnlockSet
Ccz.muni.stanse.threadchecker.CodeAnalyzer
▶CComparable
Ccz.muni.stanse.checker.CheckerError	Represents output from checkers, which is the error found in the source file (represented by a set of CFGs)
Ccz.muni.stanse.configuration.Configuration
Ccz.muni.stanse.threadchecker.config.ConfigurationCreator
Ccz.muni.stanse.threadchecker.graph.Cycle
Ccz.muni.stanse.threadchecker.graph.DependencyCycleDetector
Ccz.muni.stanse.threadchecker.graph.DependencyGraph
Ccz.muni.stanse.statistics.DocumentToFileWriter
▶Ccz.muni.stanse.threadchecker.graph.Edge
Ccz.muni.stanse.threadchecker.graph.Assignment
Ccz.muni.stanse.threadchecker.graph.Request
Ccz.muni.stanse.codestructures.ElementCFGdictionary
Ccz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >
Ccz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< cz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType >
Ccz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< cz.muni.stanse.pointeranalyzer.steensgaard.LocationPointerType >
▶Ccz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClassJoinListener
Ccz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType
▶Ccz.muni.stanse.pointeranalyzer.steensgaard.PointerType
Ccz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType
Ccz.muni.stanse.pointeranalyzer.steensgaard.LocationPointerType
Ccz.muni.stanse.pointeranalyzer.steensgaard.TypeTable
Ccz.muni.stanse.statistics.ErrorMessagesStatsBuilder
▶Ccz.muni.stanse.statistics.EvaluationStatistic
Ccz.muni.stanse.statistics.BasicEvaluationStatistic
Ccz.muni.stanse.statistics.DummyEvaluationStatistic
▶CException
▶Ccz.muni.stanse.checker.CheckerException	Defines base class for all the exceptions which can be thrown in concrete checkers
Ccz.muni.stanse.automatonchecker.XMLAutomatonSyntaxErrorException	Describes a syntax error in XML file with automaton definition
Ccz.muni.stanse.codestructures.ParserException	Defines base class for all the exceptions which can be thrown in concrete checkers
Ccz.muni.stanse.configuration.source_enumeration.SourceCodeFilesException	Defines base class for all the exceptions which can be thrown in SourceCodeEnumerators
Ccz.muni.stanse.pointeranalyzer.InvalidPointerOperationException
Ccz.muni.stanse.threadchecker.exceptions.CycleException
Ccz.muni.stanse.threadchecker.exceptions.RAGException
Ccz.muni.stanse.threadchecker.locks.LockingException
Ccz.muni.stanse.utils.FileAlgo
CGNUCaLexer_Ctx_struct
CGNUCaParser_Ctx_struct
CGNUCaParser_Symbols_SCOPE_struct
CGNUCaParser_Typedef_SCOPE_struct
Ccz.muni.stanse.threadchecker.debug.GraphViz
▶CIterable
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationSet
▶CJFrame
Ccz.muni.stanse.gui.MainWindow
Ccz.muni.stanse.threadchecker.debug.GraphView
▶CJPanel
Ccz.muni.stanse.gui.ButtonTabComponent
▶Ccz.muni.stanse.codestructures.LazyInternalStructures
Ccz.muni.stanse.codestructures.LazyInternalStructuresInter
Ccz.muni.stanse.codestructures.LazyInternalStructuresIntra
▶CLexer
Ccz.muni.stanse.cparser.GNUCaLexer
Ccz.muni.stanse.codestructures.LinearCode
Ccz.muni.stanse.utils.Make
Ccz.muni.stanse.statistics.MergeDocuments
▶Ccz.muni.stanse.utils.msgformat.MessageFormatter
Ccz.muni.stanse.utils.msgformat.ColumnMessageFormatter
Ccz.muni.stanse.utils.msgformat.TimedMessageSequenceFormatter
Ccz.muni.stanse.codestructures.builders.NodeToCFGdictionaryBuilder
Ccz.muni.stanse.gui.OpenedFilesAccessor
Ccz.muni.stanse.codestructures.CFGNode.OperandType
Ccz.muni.stanse.utils.Pair< A, B >
Ccz.muni.stanse.utils.Pair< PerfRecord, PerfRecord >
▶CParser
Ccz.muni.stanse.cparser.GNUCaParser
Ccz.muni.stanse.codestructures.PassingSolver
Ccz.muni.stanse.statistics.PerformanceDataBuilder
▶Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.PointerType
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.FunctionPointerType
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType
▶Ccz.muni.stanse.pointeranalyzer.PointsToAnalyzer
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer
Ccz.muni.stanse.threadchecker.graph.RAG
Ccz.muni.stanse.codestructures.ReturnValuePassingManager
▶Ccz.muni.stanse.configuration.source_enumeration.SourceCodeFilesEnumerator
Ccz.muni.stanse.configuration.source_enumeration.AllOpenedFilesEnumerator
Ccz.muni.stanse.configuration.source_enumeration.FileListEnumerator
▶Ccz.muni.stanse.configuration.source_enumeration.ReferencedSourceCodeFileEnumerator
Ccz.muni.stanse.configuration.source_enumeration.BatchFileEnumerator
Ccz.muni.stanse.configuration.source_enumeration.DirectorySourceEnumerator
Ccz.muni.stanse.configuration.source_enumeration.MakefileSourceEnumerator
Ccz.muni.stanse.configuration.SourceConfiguration
Ccz.muni.stanse.gui.SourceConfigurationManager.SourceType
Ccz.muni.stanse.Stanse
Ccz.muni.stanse.codestructures.builders.StartFunctionsSetBuilder
Ccz.muni.stanse.statistics.StatisticalDatabaseBuilder
Ccz.muni.stanse.statistics.StatisticalDatabaseLoader
Ccz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer
Ccz.muni.stanse.utils.StreamAlgo
Ccz.muni.stanse.statistics.StringToFileWriter
Ccz.muni.stanse.statistics.TabbedStringStream
Ccz.muni.stanse.threadchecker.ThreadInfo
Ccz.muni.stanse.utils.TimeManager
▶CTreeParser
Ccz.muni.stanse.cparser.CFGEmitter
Ccz.muni.stanse.cparser.XMLEmitter
Ccz.muni.stanse.utils.Triple< A, B, C >
Ccz.muni.stanse.utils.Triple< String, Double, Double >
▶Ccz.muni.stanse.codestructures.Unit	Holds all the relevant data about the code in one compilation unit (usually a file)
Ccz.muni.stanse.cparser.CUnit
▶Ccz.muni.stanse.codestructures.UnitManager
Ccz.muni.stanse.codestructures.UnitManagerLRU
Ccz.muni.stanse.threadchecker.debug.Utils
Ccz.muni.stanse.pointeranalyzer.shapirohorwitz.VariableCounter
▶Ccz.muni.stanse.threadchecker.graph.Vertex
Ccz.muni.stanse.threadchecker.graph.ProcessVertex
Ccz.muni.stanse.threadchecker.graph.ResourceVertex
Ccz.muni.stanse.utils.xmlpatterns.XMLAlgo
Ccz.muni.stanse.codestructures.builders.XMLLinearizeASTElement
Ccz.muni.stanse.utils.xmlpatterns.XMLPattern
Ccz.muni.stanse.utils.xmlpatterns.XMLPatternVariablesAssignment
▶CCommonTree
▶Ccz.muni.stanse.cparser.StanseTree
Ccz.muni.stanse.cparser.StanseErrorNode
▶CCommonTreeAdaptor
Ccz.muni.stanse.cparser.StanseTreeAdaptor