- t -
- TabbedStringStream()
: cz.muni.stanse.statistics.TabbedStringStream
- ThreadInfo()
: cz.muni.stanse.threadchecker.ThreadInfo
- TimedMessageSequenceFormatter()
: cz.muni.stanse.utils.msgformat.TimedMessageSequenceFormatter
- TimeManager()
: cz.muni.stanse.utils.TimeManager
- toDocument()
: cz.muni.stanse.utils.xmlpatterns.XMLAlgo
- toDot()
: cz.muni.stanse.codestructures.CFGHandle
, cz.muni.stanse.codestructures.CFGPart
, cz.muni.stanse.threadchecker.graph.Assignment
, cz.muni.stanse.threadchecker.graph.Edge
, cz.muni.stanse.threadchecker.graph.ProcessVertex
, cz.muni.stanse.threadchecker.graph.RAG
, cz.muni.stanse.threadchecker.graph.Request
, cz.muni.stanse.threadchecker.graph.ResourceVertex
, cz.muni.stanse.threadchecker.graph.Vertex
- toDotFile()
: cz.muni.stanse.pointeranalyzer.shapirohorwitz.TypeTable
, cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable
- toElement()
: cz.muni.stanse.utils.xmlpatterns.XMLAlgo
- toElements()
: cz.muni.stanse.statistics.StatisticalDatabaseBuilder
- toString()
: cz.muni.stanse.checker.Checker
, cz.muni.stanse.checker.CheckerError
, cz.muni.stanse.checker.CheckerErrorTrace
, cz.muni.stanse.checker.CheckerErrorTraceLocation
, cz.muni.stanse.codestructures.CFG
, cz.muni.stanse.codestructures.CFGBranchNode
, cz.muni.stanse.codestructures.CFGBreakNode
, cz.muni.stanse.codestructures.CFGHandle
, cz.muni.stanse.codestructures.CFGJoinNode
, cz.muni.stanse.codestructures.CFGNode
, cz.muni.stanse.codestructures.CFGPart
, cz.muni.stanse.cparser.StanseErrorNode
, cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocation
, cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >
, cz.muni.stanse.threadchecker.AbstractFunctionState
, cz.muni.stanse.threadchecker.Function
, cz.muni.stanse.threadchecker.graph.AbstractDependencyRule
, cz.muni.stanse.threadchecker.graph.Assignment
, cz.muni.stanse.threadchecker.graph.Cycle
, cz.muni.stanse.threadchecker.graph.DependencyGraph
, cz.muni.stanse.threadchecker.graph.DependencyRule
, cz.muni.stanse.threadchecker.graph.ProcessVertex
, cz.muni.stanse.threadchecker.graph.Request
, cz.muni.stanse.threadchecker.graph.ResourceVertex
, cz.muni.stanse.threadchecker.locks.JoinNode
, cz.muni.stanse.threadchecker.locks.Lock
, cz.muni.stanse.threadchecker.locks.LockStack
, cz.muni.stanse.threadchecker.locks.SpinLock
, cz.muni.stanse.threadchecker.locks.UnlockSet
, cz.muni.stanse.threadchecker.ThreadInfo
, cz.muni.stanse.utils.Pair< A, B >
- toStringGraph()
: cz.muni.stanse.codestructures.CFGPart
- touchUnit()
: cz.muni.stanse.codestructures.UnitManager
, cz.muni.stanse.codestructures.UnitManagerLRU
- translationUnit()
: cz.muni.stanse.cparser.CFGEmitter
, cz.muni.stanse.cparser.GNUCaParser
, cz.muni.stanse.cparser.XMLEmitter
- traverseCFGPathsBackward()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- traverseCFGPathsBackwardInterprocedural()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- traverseCFGPathsForward()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- traverseCFGPathsForwardInterprocedural()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- traverseCFGToBreadthBackward()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- traverseCFGToBreadthForward()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- traverseCFGToDepthBackward()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- traverseCFGToDepthForward()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- traverseFunctionBackward()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- traverseFunctionForward()
: cz.muni.stanse.codestructures.traversal.CFGTraversal
- Triple()
: cz.muni.stanse.utils.Triple< A, B, C >
- typedefName()
: cz.muni.stanse.cparser.CFGEmitter
, cz.muni.stanse.cparser.GNUCaParser
, cz.muni.stanse.cparser.XMLEmitter
- typeName()
: cz.muni.stanse.cparser.CFGEmitter
, cz.muni.stanse.cparser.GNUCaParser
, cz.muni.stanse.cparser.XMLEmitter
- typeofSpecifier()
: cz.muni.stanse.cparser.CFGEmitter
, cz.muni.stanse.cparser.GNUCaParser
, cz.muni.stanse.cparser.XMLEmitter
- typeQualifier()
: cz.muni.stanse.cparser.CFGEmitter
, cz.muni.stanse.cparser.GNUCaParser
, cz.muni.stanse.cparser.XMLEmitter
- typeSpecifier()
: cz.muni.stanse.cparser.CFGEmitter
, cz.muni.stanse.cparser.GNUCaParser
, cz.muni.stanse.cparser.XMLEmitter
- TypeTable()
: cz.muni.stanse.pointeranalyzer.shapirohorwitz.TypeTable