Stanse  -1
Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 123]
oCcz.muni.stanse.threadchecker.graph.AbstractDependencyRule
oCcz.muni.stanse.threadchecker.AbstractFunctionState
oCcz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationJoinListener
oCcz.muni.stanse.codestructures.AliasResolver
oCcz.muni.stanse.codestructures.ArgumentPassingManager
oCcz.muni.stanse.threadchecker.locks.BackTrack
oCcz.muni.stanse.codestructures.builders.CallGraphBuilder
oCcz.muni.stanse.utils.CallGraphToDot
oCcz.muni.stanse.pointeranalyzer.shapirohorwitz.CategorizationProvider
oCcz.muni.stanse.cparser.CFGEvaluator
oCcz.muni.stanse.threadchecker.graph.CFGGraphState
oCcz.muni.stanse.codestructures.CFGHandle
oCcz.muni.stanse.codestructures.CFGNode
oCcz.muni.stanse.codestructures.CFGNodeNumber
oCcz.muni.stanse.codestructures.CFGPart
oCcz.muni.stanse.codestructures.traversal.CFGPathVisitor
oCcz.muni.stanse.codestructures.CFGsNavigator
oCcz.muni.stanse.threadchecker.CFGTransitAlgorithm 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
oCcz.muni.stanse.codestructures.traversal.CFGTraversal
oCcz.muni.stanse.codestructures.traversal.CFGvisitor
oCcz.muni.stanse.checker.Checker
oCcz.muni.stanse.configuration.CheckerConfiguration
oCcz.muni.stanse.checker.CheckerCreator
oCcz.muni.stanse.checker.CheckerErrorReceiver
oCcz.muni.stanse.statistics.CheckerErrorsGuiTracing
oCcz.muni.stanse.statistics.CheckerErrorsSorter
oCcz.muni.stanse.checker.CheckerErrorTrace
oCcz.muni.stanse.checker.CheckerErrorTraceLocation
oCcz.muni.stanse.checker.CheckerFactory
oCcz.muni.stanse.checker.CheckerProgressMonitor
oCcz.muni.stanse.threadchecker.CheckerSettings
oCcz.muni.stanse.checker.CheckingResult
oCcz.muni.stanse.utils.ClassLocation
oCcz.muni.stanse.utils.ClassLogger
oCcz.muni.stanse.utils.ClassURL
oCCloneable
oCcz.muni.stanse.threadchecker.CodeAnalyzer
oCComparable
oCcz.muni.stanse.configuration.Configuration
oCcz.muni.stanse.threadchecker.config.ConfigurationCreator
oCcz.muni.stanse.threadchecker.graph.Cycle
oCcz.muni.stanse.threadchecker.graph.DependencyCycleDetector
oCcz.muni.stanse.threadchecker.graph.DependencyGraph
oCcz.muni.stanse.statistics.DocumentToFileWriter
oCcz.muni.stanse.threadchecker.graph.Edge
oCcz.muni.stanse.codestructures.ElementCFGdictionary
oCcz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >
oCcz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClassJoinListener
oCcz.muni.stanse.statistics.ErrorMessagesStatsBuilder
oCcz.muni.stanse.statistics.EvaluationStatistic
oCException
oCcz.muni.stanse.utils.FileAlgo
oCGNUCaLexer_Ctx_struct
oCGNUCaParser_Ctx_struct
oCGNUCaParser_Symbols_SCOPE_struct
oCGNUCaParser_Typedef_SCOPE_struct
oCcz.muni.stanse.threadchecker.debug.GraphViz
oCIterable
oCJFrame
oCJPanel
oCcz.muni.stanse.codestructures.LazyInternalStructures
oCLexer
oCcz.muni.stanse.codestructures.LinearCode
oCcz.muni.stanse.utils.Make
oCcz.muni.stanse.statistics.MergeDocuments
oCcz.muni.stanse.utils.msgformat.MessageFormatter
oCcz.muni.stanse.codestructures.builders.NodeToCFGdictionaryBuilder
oCcz.muni.stanse.gui.OpenedFilesAccessor
oCcz.muni.stanse.codestructures.CFGNode.OperandType
oCcz.muni.stanse.utils.Pair< A, B >
oCParser
oCcz.muni.stanse.codestructures.PassingSolver
oCcz.muni.stanse.statistics.PerformanceDataBuilder
oCcz.muni.stanse.pointeranalyzer.shapirohorwitz.PointerType
oCcz.muni.stanse.pointeranalyzer.PointsToAnalyzer
oCcz.muni.stanse.threadchecker.graph.RAG
oCcz.muni.stanse.codestructures.ReturnValuePassingManager
oCcz.muni.stanse.configuration.source_enumeration.SourceCodeFilesEnumerator
oCcz.muni.stanse.configuration.SourceConfiguration
oCcz.muni.stanse.gui.SourceConfigurationManager.SourceType
oCcz.muni.stanse.Stanse
oCcz.muni.stanse.codestructures.builders.StartFunctionsSetBuilder
oCcz.muni.stanse.statistics.StatisticalDatabaseBuilder
oCcz.muni.stanse.statistics.StatisticalDatabaseLoader
oCcz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer
oCcz.muni.stanse.utils.StreamAlgo
oCcz.muni.stanse.statistics.StringToFileWriter
oCcz.muni.stanse.statistics.TabbedStringStream
oCcz.muni.stanse.threadchecker.ThreadInfo
oCcz.muni.stanse.utils.TimeManager
oCTreeParser
oCcz.muni.stanse.utils.Triple< A, B, C >
oCcz.muni.stanse.codestructures.UnitHolds all the relevant data about the code in one compilation unit (usually a file)
oCcz.muni.stanse.codestructures.UnitManager
oCcz.muni.stanse.threadchecker.debug.Utils
oCcz.muni.stanse.pointeranalyzer.shapirohorwitz.VariableCounter
oCcz.muni.stanse.threadchecker.graph.Vertex
oCcz.muni.stanse.utils.xmlpatterns.XMLAlgo
oCcz.muni.stanse.codestructures.builders.XMLLinearizeASTElement
oCcz.muni.stanse.utils.xmlpatterns.XMLPattern
oCcz.muni.stanse.utils.xmlpatterns.XMLPatternVariablesAssignment
oCCommonTree
\CCommonTreeAdaptor
Generated by   doxygen 1.8.6