- g -

• generateGraph() : cz.muni.stanse.threadchecker.FunctionState
• get() : cz.muni.stanse.codestructures.ElementCFGdictionary , cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationSet , cz.muni.stanse.utils.ClassLocation , cz.muni.stanse.utils.ClassURL
• getActualNode() : cz.muni.stanse.threadchecker.Function
• getAliases() : cz.muni.stanse.codestructures.Unit
• getAliasResolver() : cz.muni.stanse.codestructures.LazyInternalStructures
• getAllNodes() : cz.muni.stanse.codestructures.CFGHandle , cz.muni.stanse.codestructures.CFGPart
• getAllNodesOpt() : cz.muni.stanse.codestructures.CFGPart
• getAllNodesReverse() : cz.muni.stanse.codestructures.CFGHandle , cz.muni.stanse.codestructures.CFGPart
• getArgumentPassingManager() : cz.muni.stanse.codestructures.LazyInternalStructures
• getArguments() : cz.muni.stanse.configuration.source_enumeration.MakefileSourceEnumerator
• getBackTrack() : cz.muni.stanse.threadchecker.AbstractFunctionState , cz.muni.stanse.threadchecker.graph.DependencyRule
• getBugs() : cz.muni.stanse.gui.MainWindow
• getCalleeEnd() : cz.muni.stanse.codestructures.CFGsNavigator , cz.muni.stanse.codestructures.InterproceduralCFGsNavigator , cz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
• getCalleeStart() : cz.muni.stanse.codestructures.CFGsNavigator , cz.muni.stanse.codestructures.InterproceduralCFGsNavigator , cz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
• getCallersFromEnd() : cz.muni.stanse.codestructures.CFGsNavigator , cz.muni.stanse.codestructures.InterproceduralCFGsNavigator , cz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
• getCallersFromStart() : cz.muni.stanse.codestructures.CFGsNavigator , cz.muni.stanse.codestructures.InterproceduralCFGsNavigator , cz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
• getCallGraph() : cz.muni.stanse.codestructures.LazyInternalStructures
• getCategory() : cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocation
• getCauseLocation() : cz.muni.stanse.checker.CheckerError , cz.muni.stanse.checker.CheckerErrorTrace
• getCFG() : cz.muni.stanse.codestructures.Unit , cz.muni.stanse.threadchecker.CheckerSettings
• getCfg() : cz.muni.stanse.threadchecker.graph.CFGGraphState
• getCFGHandles() : cz.muni.stanse.codestructures.LazyInternalStructures , cz.muni.stanse.codestructures.Unit , cz.muni.stanse.codestructures.UnitManager , cz.muni.stanse.codestructures.UnitManagerLRU
• getCFGNodeID() : cz.muni.stanse.threadchecker.locks.BackTrack
• getChecker() : cz.muni.stanse.configuration.CheckerConfiguration
• getCheckerArgumentsList() : cz.muni.stanse.configuration.CheckerConfiguration
• getCheckerClassName() : cz.muni.stanse.configuration.CheckerConfiguration
• getCheckerConfigurations() : cz.muni.stanse.configuration.Configuration
• getCheckerCreationInfo() : cz.muni.stanse.automatonchecker.AutomatonCheckerCreator , cz.muni.stanse.checker.CheckerCreator , cz.muni.stanse.checker.CheckerFactory , cz.muni.stanse.lockchecker.LockCheckerCreator , cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator , cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator , cz.muni.stanse.threadchecker.ThreadCheckerCreator
• getCheckerFailures() : cz.muni.stanse.statistics.BasicEvaluationStatistic
• getCheckerName() : cz.muni.stanse.automatonchecker.AutomatonCheckerCreator , cz.muni.stanse.checker.CheckerCreator , cz.muni.stanse.checker.CheckerError , cz.muni.stanse.lockchecker.LockCheckerCreator , cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator , cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator , cz.muni.stanse.threadchecker.ThreadCheckerCreator
• getCheckers() : cz.muni.stanse.statistics.BasicEvaluationStatistic
• getCode() : cz.muni.stanse.codestructures.CFGNode
• getColumn() : cz.muni.stanse.codestructures.CFGNode , cz.muni.stanse.threadchecker.locks.BackTrack
• getColumnNumber() : cz.muni.stanse.checker.CheckerErrorTraceLocation
• getConfigDocument() : cz.muni.stanse.threadchecker.CheckerSettings
• getConfiguration() : cz.muni.stanse.Stanse
• getDataFilesExtensions() : cz.muni.stanse.automatonchecker.AutomatonCheckerCreator , cz.muni.stanse.checker.CheckerCreator , cz.muni.stanse.checker.CheckerFactory , cz.muni.stanse.lockchecker.LockCheckerCreator , cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator , cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator , cz.muni.stanse.threadchecker.ThreadCheckerCreator
• getDependencyGraphs() : cz.muni.stanse.threadchecker.ThreadInfo
• getDependentVars() : cz.muni.stanse.codestructures.CFGNode
• getDescription() : cz.muni.stanse.checker.CheckerErrorTrace , cz.muni.stanse.checker.CheckerErrorTraceLocation , cz.muni.stanse.threadchecker.locks.BackTrack
• getDotSource() : cz.muni.stanse.threadchecker.debug.GraphViz
• getEdgeLabel() : cz.muni.stanse.codestructures.CFGNode
• getElement() : cz.muni.stanse.codestructures.CFG , cz.muni.stanse.codestructures.CFGHandle , cz.muni.stanse.codestructures.CFGNode , cz.muni.stanse.cparser.StanseTree
• getElementToCFGdictionary() : cz.muni.stanse.codestructures.LazyInternalStructures
• getEndNode() : cz.muni.stanse.codestructures.CFGHandle , cz.muni.stanse.codestructures.CFGPart
• getErrorLocation() : cz.muni.stanse.checker.CheckerError , cz.muni.stanse.checker.CheckerErrorTrace
• getErrorMessage() : cz.muni.stanse.cparser.GNUCaParser
• getExtension() : cz.muni.stanse.utils.FileAlgo
• getFalsePositives() : cz.muni.stanse.gui.MainWindow
• getFile() : cz.muni.stanse.codestructures.CFGNode
• getFileName() : cz.muni.stanse.threadchecker.CheckerSettings , cz.muni.stanse.threadchecker.Function
• getFiles() : cz.muni.stanse.gui.OpenedFilesAccessor , cz.muni.stanse.statistics.BasicEvaluationStatistic
• getFirst() : cz.muni.stanse.utils.Pair< A, B > , cz.muni.stanse.utils.Triple< A, B, C >
• getFullDesc() : cz.muni.stanse.checker.CheckerError
• getFunction() : cz.muni.stanse.threadchecker.CheckerSettings , cz.muni.stanse.threadchecker.ThreadInfo
• getFunctionList() : cz.muni.stanse.threadchecker.CheckerSettings
• getFunctionMain() : cz.muni.stanse.codestructures.LazyInternalStructures
• getFunctionName() : cz.muni.stanse.codestructures.CFG , cz.muni.stanse.codestructures.CFGHandle , cz.muni.stanse.threadchecker.ThreadInfo
• getFunctionsOfName() : cz.muni.stanse.codestructures.LazyInternalStructures
• getFunctionStates() : cz.muni.stanse.threadchecker.Function
• getGrammarFileName() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaLexer , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• getGraph() : cz.muni.stanse.threadchecker.debug.GraphViz
• getId() : cz.muni.stanse.threadchecker.ThreadInfo
• getIdToNode() : cz.muni.stanse.threadchecker.graph.CFGGraphState
• getImportance() : cz.muni.stanse.checker.CheckerError
• getInstance() : cz.muni.stanse.gui.MainWindow , cz.muni.stanse.Stanse , cz.muni.stanse.threadchecker.CheckerSettings , cz.muni.stanse.threadchecker.graph.DependencyCycleDetector
• getInternals() : cz.muni.stanse.statistics.BasicEvaluationStatistic , cz.muni.stanse.threadchecker.CheckerSettings
• getJoins() : cz.muni.stanse.threadchecker.AbstractFunctionState
• getLambda() : cz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType , cz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType , cz.muni.stanse.pointeranalyzer.steensgaard.LocationPointerType
• getLastLock() : cz.muni.stanse.threadchecker.locks.LockStack
• getLazySourceInternals() : cz.muni.stanse.configuration.SourceConfiguration
• getLazySourceIntraproceduralInternals() : cz.muni.stanse.configuration.SourceConfiguration
• getLine() : cz.muni.stanse.codestructures.CFGNode , cz.muni.stanse.threadchecker.locks.BackTrack
• getLinearCode() : cz.muni.stanse.checker.CheckerErrorTrace
• getLineNumber() : cz.muni.stanse.checker.CheckerErrorTraceLocation
• getLocations() : cz.muni.stanse.checker.CheckerErrorTrace
• getLock() : cz.muni.stanse.threadchecker.AbstractFunctionState , cz.muni.stanse.threadchecker.locks.LockStack , cz.muni.stanse.threadchecker.locks.UnlockSet
• getLocks() : cz.muni.stanse.threadchecker.locks.LockStack , cz.muni.stanse.threadchecker.locks.UnlockSet
• getLockStack() : cz.muni.stanse.threadchecker.AbstractFunctionState , cz.muni.stanse.threadchecker.graph.DependencyRule , cz.muni.stanse.threadchecker.locks.JoinNode
• getMonitor() : cz.muni.stanse.threadchecker.ThreadChecker
• getName() : cz.muni.stanse.checker.Checker , cz.muni.stanse.codestructures.Unit , cz.muni.stanse.lockchecker.LockChecker , cz.muni.stanse.pointeranalyzer.PointerAnalyzer , cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocation , cz.muni.stanse.threadchecker.Function , cz.muni.stanse.threadchecker.graph.ProcessVertex , cz.muni.stanse.threadchecker.graph.ResourceVertex , cz.muni.stanse.threadchecker.graph.Vertex , cz.muni.stanse.threadchecker.locks.Lock , cz.muni.stanse.threadchecker.locks.SpinLock , cz.muni.stanse.threadchecker.ThreadChecker , cz.muni.stanse.utils.xmlpatterns.XMLPattern
• getNavigator() : cz.muni.stanse.codestructures.LazyInternalStructures
• getNext() : cz.muni.stanse.codestructures.CFGNodeNumber
• getNodeID() : cz.muni.stanse.threadchecker.graph.ResourceVertex
• getNodeNumber() : cz.muni.stanse.threadchecker.locks.Lock , cz.muni.stanse.threadchecker.locks.SpinLock
• getNodeToCFGdictionary() : cz.muni.stanse.codestructures.LazyInternalStructures
• getNodeType() : cz.muni.stanse.codestructures.CFGNode
• getNumber() : cz.muni.stanse.codestructures.CFGNode
• getNumberOfCategories() : cz.muni.stanse.pointeranalyzer.shapirohorwitz.AndersenCategorizationProvider , cz.muni.stanse.pointeranalyzer.shapirohorwitz.CategorizationProvider , cz.muni.stanse.pointeranalyzer.shapirohorwitz.SteensgaardCategorizationProvider
• getNumTabs() : cz.muni.stanse.utils.msgformat.ColumnMessageFormatter
• getOperands() : cz.muni.stanse.codestructures.CFGNode
• getOptPredecessors() : cz.muni.stanse.codestructures.CFGNode
• getOptSuccessors() : cz.muni.stanse.codestructures.CFGNode
• getOutputDirectory() : cz.muni.stanse.Stanse
• getParameterTypes() : cz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType
• getParams() : cz.muni.stanse.codestructures.CFG , cz.muni.stanse.codestructures.CFGHandle
• getPatternXMLelement() : cz.muni.stanse.utils.xmlpatterns.XMLPattern
• getPointsToSetOf() : cz.muni.stanse.pointeranalyzer.PointsToAnalyzer , cz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer , cz.muni.stanse.pointeranalyzer.shapirohorwitz.TypeTable , cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable
• getPredecessors() : cz.muni.stanse.codestructures.CFGNode
• getProcess() : cz.muni.stanse.threadchecker.graph.Assignment , cz.muni.stanse.threadchecker.graph.Edge , cz.muni.stanse.threadchecker.graph.Request
• getReachableNodes() : cz.muni.stanse.threadchecker.graph.CFGGraphState
• getReferenceFile() : cz.muni.stanse.configuration.source_enumeration.ReferencedSourceCodeFileEnumerator
• getRegisteredCheckers() : cz.muni.stanse.checker.CheckerFactory
• getResource() : cz.muni.stanse.threadchecker.graph.Assignment , cz.muni.stanse.threadchecker.graph.Edge , cz.muni.stanse.threadchecker.graph.Request
• getResourceNames() : cz.muni.stanse.threadchecker.graph.Cycle
• getResources() : cz.muni.stanse.threadchecker.graph.Cycle
• getReturnType() : cz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType
• getReturnValuePassingManager() : cz.muni.stanse.codestructures.LazyInternalStructures
• getRetVar() : cz.muni.stanse.codestructures.CFG , cz.muni.stanse.codestructures.CFGHandle
• getRootDirectory() : cz.muni.stanse.Stanse
• getRules() : cz.muni.stanse.threadchecker.AbstractFunctionState , cz.muni.stanse.threadchecker.graph.Cycle , cz.muni.stanse.threadchecker.graph.DependencyGraph
• getRulesBySourceNode() : cz.muni.stanse.threadchecker.AbstractFunctionState , cz.muni.stanse.threadchecker.graph.Cycle
• getRulesByTargetNode() : cz.muni.stanse.threadchecker.AbstractFunctionState , cz.muni.stanse.threadchecker.graph.Cycle
• getRulesByThread() : cz.muni.stanse.threadchecker.graph.Cycle
• getScope() : cz.muni.stanse.threadchecker.AbstractFunctionState
• getSearchSubdirectories() : cz.muni.stanse.configuration.source_enumeration.DirectorySourceEnumerator
• getSecond() : cz.muni.stanse.utils.Pair< A, B > , cz.muni.stanse.utils.Triple< A, B, C >
• getShortDesc() : cz.muni.stanse.checker.CheckerError
• getSource() : cz.muni.stanse.threadchecker.graph.AbstractDependencyRule
• getSourceCodeFiles() : cz.muni.stanse.configuration.source_enumeration.AllOpenedFilesEnumerator , cz.muni.stanse.configuration.source_enumeration.BatchFileEnumerator , cz.muni.stanse.configuration.source_enumeration.DirectorySourceEnumerator , cz.muni.stanse.configuration.source_enumeration.FileListEnumerator , cz.muni.stanse.configuration.source_enumeration.MakefileSourceEnumerator , cz.muni.stanse.configuration.source_enumeration.SourceCodeFilesEnumerator
• getSourceConfiguration() : cz.muni.stanse.configuration.Configuration
• getSourceEnumerator() : cz.muni.stanse.configuration.SourceConfiguration
• getStartFunctions() : cz.muni.stanse.codestructures.LazyInternalStructures , cz.muni.stanse.threadchecker.CheckerSettings
• getStartNode() : cz.muni.stanse.codestructures.CFGHandle , cz.muni.stanse.codestructures.CFGPart
• getState() : cz.muni.stanse.threadchecker.locks.Lock , cz.muni.stanse.threadchecker.locks.SpinLock
• getString() : cz.muni.stanse.statistics.TabbedStringStream
• getSuccessors() : cz.muni.stanse.codestructures.CFGNode
• getSymbols() : cz.muni.stanse.codestructures.CFG , cz.muni.stanse.codestructures.CFGHandle
• getTabPattern() : cz.muni.stanse.utils.msgformat.ColumnMessageFormatter
• getTarget() : cz.muni.stanse.threadchecker.graph.AbstractDependencyRule
• getTau() : cz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType , cz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType , cz.muni.stanse.pointeranalyzer.steensgaard.LocationPointerType
• getText() : cz.muni.stanse.cparser.StanseErrorNode
• getThird() : cz.muni.stanse.utils.Triple< A, B, C >
• getThread() : cz.muni.stanse.threadchecker.CheckerSettings , cz.muni.stanse.threadchecker.graph.DependencyRule
• getThreads() : cz.muni.stanse.threadchecker.CheckerSettings
• getTokenErrorDisplay() : cz.muni.stanse.cparser.GNUCaParser
• getTokenNames() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• getTraces() : cz.muni.stanse.checker.CheckerError
• getTreeAdaptor() : cz.muni.stanse.cparser.GNUCaParser
• getType() : cz.muni.stanse.cparser.StanseErrorNode , cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocation , cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >
• getTypeOf() : cz.muni.stanse.pointeranalyzer.shapirohorwitz.TypeTable , cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable
• getUnchecked() : cz.muni.stanse.gui.MainWindow
• getUnit() : cz.muni.stanse.codestructures.CFGHandle
• getUnitFilename() : cz.muni.stanse.threadchecker.locks.BackTrack
• getUnitManager() : cz.muni.stanse.Stanse
• getUnitName() : cz.muni.stanse.checker.CheckerErrorTraceLocation , cz.muni.stanse.codestructures.UnitManager , cz.muni.stanse.codestructures.UnitManagerLRU
• getUnits() : cz.muni.stanse.codestructures.LazyInternalStructures
• getUnlockSet() : cz.muni.stanse.threadchecker.AbstractFunctionState , cz.muni.stanse.threadchecker.graph.DependencyRule , cz.muni.stanse.threadchecker.locks.JoinNode
• getValue() : cz.muni.stanse.gui.SourceConfigurationManager.SourceType
• getVarsMap() : cz.muni.stanse.utils.xmlpatterns.XMLPatternVariablesAssignment
• getVertex() : cz.muni.stanse.threadchecker.locks.JoinNode
• getVisitedNodes() : cz.muni.stanse.threadchecker.graph.CFGGraphState
• getXMLDocument() : cz.muni.stanse.codestructures.Unit , cz.muni.stanse.codestructures.UnitManager , cz.muni.stanse.codestructures.UnitManagerLRU
• GNUCaLexer() : cz.muni.stanse.cparser.GNUCaLexer
• GNUCaParser() : cz.muni.stanse.cparser.GNUCaParser
• GraphView() : cz.muni.stanse.threadchecker.debug.GraphView
• GraphViz() : cz.muni.stanse.threadchecker.debug.GraphViz