- i -

• identifier() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.XMLEmitter
• identifierList() : cz.muni.stanse.cparser.GNUCaParser
• info() : cz.muni.stanse.utils.ClassLogger
• initDeclarator() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• initDeclaratorList() : cz.muni.stanse.cparser.GNUCaParser
• initializer() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• initializerList() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• internalsEnd() : cz.muni.stanse.statistics.BasicEvaluationStatistic , cz.muni.stanse.statistics.DummyEvaluationStatistic , cz.muni.stanse.statistics.EvaluationStatistic
• internalsStart() : cz.muni.stanse.statistics.BasicEvaluationStatistic , cz.muni.stanse.statistics.DummyEvaluationStatistic , cz.muni.stanse.statistics.EvaluationStatistic
• InterproceduralCFGsNavigator() : cz.muni.stanse.codestructures.InterproceduralCFGsNavigator
• interrupt() : cz.muni.stanse.utils.msgformat.TimedMessageSequenceFormatter
• IntraproceduralCFGsNavigator() : cz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
• InvalidPointerOperationException() : cz.muni.stanse.pointeranalyzer.InvalidPointerOperationException
• isCallNode() : cz.muni.stanse.codestructures.CFGsNavigator , cz.muni.stanse.codestructures.InterproceduralCFGsNavigator , cz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
• isConstructive() : cz.muni.stanse.utils.xmlpatterns.XMLPattern
• isContextLocation() : cz.muni.stanse.checker.CheckerErrorTraceLocation
• isEmpty() : cz.muni.stanse.codestructures.CFGPart , cz.muni.stanse.threadchecker.AbstractFunctionState , cz.muni.stanse.threadchecker.locks.LockStack , cz.muni.stanse.threadchecker.locks.UnlockSet
• isEndNode() : cz.muni.stanse.codestructures.CFGsNavigator , cz.muni.stanse.codestructures.InterproceduralCFGsNavigator , cz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
• isEqualWith() : cz.muni.stanse.checker.CheckerError , cz.muni.stanse.checker.CheckerErrorTrace , cz.muni.stanse.checker.CheckerErrorTraceLocation , cz.muni.stanse.utils.Pair< A, B > , cz.muni.stanse.utils.Triple< A, B, C > , cz.muni.stanse.utils.xmlpatterns.XMLPatternVariablesAssignment
• isGlobalAnalysisEnabled() : cz.muni.stanse.threadchecker.CheckerSettings
• isIdentityPass() : cz.muni.stanse.codestructures.ArgumentPassingManager , cz.muni.stanse.codestructures.ReturnValuePassingManager
• isInterprocedural() : cz.muni.stanse.configuration.CheckerConfiguration
• isNil() : cz.muni.stanse.cparser.StanseErrorNode
• isOnStack() : cz.muni.stanse.threadchecker.CheckerSettings
• isRunning() : cz.muni.stanse.gui.MainWindow
• isStartNode() : cz.muni.stanse.codestructures.CFGsNavigator , cz.muni.stanse.codestructures.InterproceduralCFGsNavigator , cz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
• isSubset() : cz.muni.stanse.threadchecker.FunctionState , cz.muni.stanse.threadchecker.graph.DependencyGraph
• isSymbolLocal() : cz.muni.stanse.codestructures.CFG , cz.muni.stanse.codestructures.CFGHandle
• isVisible() : cz.muni.stanse.codestructures.CFGNode
• iterationStatement() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• iterator() : cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationSet