- IDENTIFIER - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- IdentifierExpression - Class in imop.ast.node.external
-
- IdentifierExpression() - Constructor for class imop.ast.node.external.IdentifierExpression
-
- IdentifierOrDeclarator - Class in imop.ast.node.external
-
Grammar production:
f0 ::=
| "(" Declarator() ")"
- IdentifierOrDeclarator(NodeChoice) - Constructor for class imop.ast.node.external.IdentifierOrDeclarator
-
- IdentifierOrDeclarator() - Method in class imop.parser.FrontEnd.CParser
-
- IdentifierRenamer - Class in imop.lib.transform
-
This class renames the occurrences of symbol oldSymbol with that of
newSymbol.
- IdentifierRenamer(Symbol, Symbol) - Constructor for class imop.lib.transform.IdentifierRenamer
-
- IDFAEdge - Class in imop.lib.analysis.dataflow.generic
-
Denotes an edge between nodes in the domain of this IDFA.
Note that these edges need not contain a reference to either source or
destination, but only one of them.
- IDFAEdge(Node, HashSet<Cell>) - Constructor for class imop.lib.analysis.dataflow.generic.IDFAEdge
-
- idList - Variable in class imop.ast.node.internal.DummyFlushDirective
-
Deprecated.
- idNumber - Variable in class imop.ast.info.NodeInfo
-
Saves hashCode of the original copy of the related node.
- IF - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- IfBeginLink - Class in imop.lib.cfg.link.node
-
- IfBeginLink(IfStatement, BeginNode) - Constructor for class imop.lib.cfg.link.node.IfBeginLink
-
- IfClause - Class in imop.ast.node.external
-
Grammar production:
f0 ::=
f1 ::= "("
f2 ::= Expression()
f3 ::= ")"
- IfClause(NodeToken, NodeToken, Expression, NodeToken) - Constructor for class imop.ast.node.external.IfClause
-
- IfClause(Expression) - Constructor for class imop.ast.node.external.IfClause
-
- IfClause() - Method in class imop.parser.FrontEnd.CParser
-
- IfClauseInfo - Class in imop.ast.info.cfgNodeInfo
-
- IfClauseInfo(Node) - Constructor for class imop.ast.info.cfgNodeInfo.IfClauseInfo
-
- IfElseBodyLink - Class in imop.lib.cfg.link.node
-
- IfElseBodyLink(IfStatement, Statement) - Constructor for class imop.lib.cfg.link.node.IfElseBodyLink
-
- IfEndLink - Class in imop.lib.cfg.link.node
-
- IfEndLink(IfStatement, EndNode) - Constructor for class imop.lib.cfg.link.node.IfEndLink
-
- IfPredicateLink - Class in imop.lib.cfg.link.node
-
- IfPredicateLink(IfStatement, Expression) - Constructor for class imop.lib.cfg.link.node.IfPredicateLink
-
- IfStatement - Class in imop.ast.node.external
-
Grammar production:
f0 ::=
f1 ::= "("
f2 ::= Expression()
f3 ::= ")"
f4 ::= Statement()
f5 ::= ( Statement() )?
- IfStatement(NodeToken, NodeToken, Expression, NodeToken, Statement, NodeOptional) - Constructor for class imop.ast.node.external.IfStatement
-
- IfStatement(Expression, Statement, NodeOptional) - Constructor for class imop.ast.node.external.IfStatement
-
- IfStatement() - Method in class imop.parser.FrontEnd.CParser
-
- IfStatementCFGInfo - Class in imop.lib.cfg.info
-
- IfStatementCFGInfo(Node) - Constructor for class imop.lib.cfg.info.IfStatementCFGInfo
-
- IfStatementInfo - Class in imop.ast.info.cfgNodeInfo
-
- IfStatementInfo(Node) - Constructor for class imop.ast.info.cfgNodeInfo.IfStatementInfo
-
- IfThenBodyLink - Class in imop.lib.cfg.link.node
-
- IfThenBodyLink(IfStatement, Statement) - Constructor for class imop.lib.cfg.link.node.IfThenBodyLink
-
- image - Variable in class imop.parser.CParserTokenManager
-
- image - Variable in class imop.parser.Token
-
The string image of the token.
- ImmediatePredecessorInserter(Node) - Constructor for class imop.lib.transform.updater.InsertOnTheEdge.ImmediatePredecessorInserter
-
- ImmediatePredecessorSimpleInserter(Node) - Constructor for class imop.lib.transform.updater.InsertImmediatePredecessor.ImmediatePredecessorSimpleInserter
-
- ImmediateSuccessorSimpleInserter(Node) - Constructor for class imop.lib.transform.updater.InsertImmediateSuccessor.ImmediateSuccessorSimpleInserter
-
- imop.ast - package imop.ast
-
This package contains classes that help represent the AST of input program,
and also information classes, where we store (links to) all analyses data.
- imop.ast.info - package imop.ast.info
-
This package contains classes that represent (a link to)
information,
of any
nature, about various types of
Node
objects.
- imop.ast.info.cfgNodeInfo - package imop.ast.info.cfgNodeInfo
-
This package contains specializations of
NodeInfo objects corresponding to those
Node that
are of CFG type.
- imop.ast.metadata - package imop.ast.metadata
-
This package contains classes that represent meta-information about
Node objects.
- imop.ast.node.external - package imop.ast.node.external
-
This package contains automatically generated classes, each
representing some non-terminal or terminal in the input grammar for C with
OpenMP.
- imop.ast.node.internal - package imop.ast.node.internal
-
This package contains classes for those AST objects which are created internally after the parsing step is complete.
- imop.baseVisitor - package imop.baseVisitor
-
These classes contain default visitors for various types of AST nodes.
- imop.baseVisitor.cfgTraversals - package imop.baseVisitor.cfgTraversals
-
These classes contain default visitors for various types of CFG nodes.
- imop.lib - package imop.lib
-
This package contains the core library of IMOP, excluding the parser, and
default visitors.
- imop.lib.analysis - package imop.lib.analysis
-
This package contains classes related to various types of analyses on the
input program.
- imop.lib.analysis.dataflow - package imop.lib.analysis.dataflow
-
This package contains classes that represent data-flow information for the
input program.
- imop.lib.analysis.dataflow.generic - package imop.lib.analysis.dataflow.generic
-
This package contains classes specific to generic passes to perform iterative
data flow analyses.
- imop.lib.analysis.dataflow.interprocedural - package imop.lib.analysis.dataflow.interprocedural
-
This package contains classes that are instantiations of various generic
passes for iterative data-flow analyses.
- imop.lib.analysis.dataflow.intraprocedural - package imop.lib.analysis.dataflow.intraprocedural
-
This package (currently deprecated; will be reinvigorated soon)
contains classes corresponding to intra-procedural IDFAs (along with their
generic passes).
- imop.lib.analysis.mhp - package imop.lib.analysis.mhp
-
This package contains classes that represent various concurrency-analysis
related information for the input OpenMP program.
- imop.lib.analysis.mhp.lock - package imop.lib.analysis.mhp.lock
-
This package contains classes that represent abstraction of various types of
locks that may be present in the input OpenMP program.
- imop.lib.analysis.typeSystem - package imop.lib.analysis.typeSystem
-
This package contains classes to represent various types of Types, as
specified in the ISO C standard.
- imop.lib.analysis.updater - package imop.lib.analysis.updater
-
This package contains classes that contain various modules that are used to
ensure consistency, under translations, among various data structures that
represent the syntax and semantics of an input program.
- imop.lib.builder - package imop.lib.builder
-
This package contains classes that are used to create various types of AST
nodes (apart from the way the parser does that).
- imop.lib.cfg - package imop.lib.cfg
-
This package is used to contain information related to serial and parallel
control-flow graphs.
- imop.lib.cfg.info - package imop.lib.cfg.info
-
This package contains classes that represent information about, and contain
update
methods for, various CFG components that a non-leaf CFG node may have.
- imop.lib.cfg.link - package imop.lib.cfg.link
-
This package is used to represent the notion of CFGLinks, which is mainly
used to know the immediate context in which an AST node appears.
- imop.lib.cfg.link.baseVisitor - package imop.lib.cfg.link.baseVisitor
-
This package provides various visitor methods that can be used to various
specific processing of different types of CFGLink (context in which an AST
node is present).
- imop.lib.cfg.link.node - package imop.lib.cfg.link.node
-
This package contains classes that represent various forms in which an AST
node may be present in the context of its AST parent.
- imop.lib.cfg.parallel - package imop.lib.cfg.parallel
-
This package is used to model flow of information among the different tasks.
- imop.lib.cg - package imop.lib.cg
-
This package is used to contain information about call graphs, and call
stacks.
- imop.lib.getter - package imop.lib.getter
-
The visitors present in this package are used to perform various types of
queries on the AST of the input program.
- imop.lib.transform - package imop.lib.transform
-
This package contains classes that deal with translations and optimizations
of the input program.
- imop.lib.transform.simplify - package imop.lib.transform.simplify
-
This package contains classes that are used to perform various
simplification/normalization passes on the input program (or on newly created
nodes).
- imop.lib.transform.updater - package imop.lib.transform.updater
-
This package contains classes that specify various types of CFG updates.
- imop.lib.util - package imop.lib.util
-
This package contains miscellaneous utility classes.
- imop.parser - package imop.parser
-
This package contains (mostly) automatically generated classes that form part
of the parser for the input program.
- ImplicitBarrierRemover - Class in imop.lib.transform.simplify
-
Replaces all the implicit barriers with explicit barriers.
- ImplicitBarrierRemover() - Constructor for class imop.lib.transform.simplify.ImplicitBarrierRemover
-
- inBuf - Variable in class imop.parser.SimpleCharStream
-
- InclusiveORExpression - Class in imop.ast.node.external
-
Grammar production:
f0 ::= ExclusiveORExpression()
f1 ::= ( "|" InclusiveORExpression() )?
- InclusiveORExpression(ExclusiveORExpression, NodeOptional) - Constructor for class imop.ast.node.external.InclusiveORExpression
-
- InclusiveORExpression() - Method in class imop.parser.FrontEnd.CParser
-
- incomingInterTaskEdges - Variable in class imop.ast.info.cfgNodeInfo.DummyFlushDirectiveInfo
-
- incomplete - Variable in class imop.ast.info.NodeInfo
-
- IncompleteEdge - Class in imop.ast.metadata
-
- IncompleteEdge(IncompleteEdge.TypeOfIncompleteness, Node) - Constructor for class imop.ast.metadata.IncompleteEdge
-
- IncompleteEdge(IncompleteEdge.TypeOfIncompleteness, Node, CaseLabel) - Constructor for class imop.ast.metadata.IncompleteEdge
-
- IncompleteEdge.TypeOfIncompleteness - Enum in imop.ast.metadata
-
- incompleteEdges - Variable in class imop.ast.metadata.IncompleteSemantics
-
- incompleteNode - Variable in class imop.ast.metadata.IncompleteEdge
-
- IncompleteSemantics - Class in imop.ast.metadata
-
This class represents the incomplete semantics associated with a newly
created AST node.
- IncompleteSemantics(Node) - Constructor for class imop.ast.metadata.IncompleteSemantics
-
- incrementLockCounter(AbstractLock) - Method in class imop.lib.analysis.dataflow.interprocedural.LockSetAnalysis.LockFlowFact
-
- index - Variable in class imop.lib.cfg.link.node.CompoundElementLink
-
- index - Variable in class imop.lib.cfg.link.node.FunctionParameterLink
-
- index - Variable in class imop.lib.cfg.link.node.SectionsSectionBodyLink
-
- index - Variable in class imop.lib.cfg.link.node.TaskClauseLink
-
- InfiExactASTNodesGetter - Class in imop.lib.getter
-
Populates the field astContents with all the internal AST nodes of type T
within the visited node.
- InfiExactASTNodesGetter(Class) - Constructor for class imop.lib.getter.InfiExactASTNodesGetter
-
- InfiInheritedASTNodeListGetter<T> - Class in imop.lib.getter
-
Populates the field astContents with all the internal AST nodes of any of the
types
present in astTypeList within the visited node, inclusively.
- InfiInheritedASTNodeListGetter(HashSet<Class<T>>) - Constructor for class imop.lib.getter.InfiInheritedASTNodeListGetter
-
- InfiInheritedASTNodesGetter - Class in imop.lib.getter
-
Populates the field astContents with all the internal AST nodes of type T
within the visited node.
- InfiInheritedASTNodesGetter(Class) - Constructor for class imop.lib.getter.InfiInheritedASTNodesGetter
-
- InfiParallelConstructGetter - Class in imop.lib.getter
-
This class adds to the list of parallel construct all the parallel
constructs,
including the nested ones.
- InfiParallelConstructGetter() - Constructor for class imop.lib.getter.InfiParallelConstructGetter
-
- info - Variable in class imop.ast.node.external.Node
-
- initAnalysis() - Method in class imop.lib.analysis.dataflow.Deprecated_InterProceduralCFGPass
-
Deprecated.
- InitDeclarator - Class in imop.ast.node.external
-
Grammar production:
f0 ::= Declarator()
f1 ::= ( "=" Initializer() )?
- InitDeclarator(Declarator, NodeOptional) - Constructor for class imop.ast.node.external.InitDeclarator
-
- InitDeclarator() - Method in class imop.parser.FrontEnd.CParser
-
- InitDeclaratorList - Class in imop.ast.node.external
-
Grammar production:
f0 ::= InitDeclarator()
f1 ::= ( "," InitDeclarator() )*
- InitDeclaratorList(InitDeclarator, NodeListOptional) - Constructor for class imop.ast.node.external.InitDeclaratorList
-
- InitDeclaratorList() - Method in class imop.parser.FrontEnd.CParser
-
- InitFunctionName - Class in imop.ast.info
-
Stores the functionName field of FunctionDefinitionInfo for
FunctionDefinition nodes
- InitFunctionName() - Constructor for class imop.ast.info.InitFunctionName
-
- initialise(Token, int[][], String[]) - Static method in exception imop.parser.ParseException
-
It uses "currentToken" and "expectedTokenSequences" to generate a parse
error message and returns it.
- initializeDummyFlushes() - Method in class imop.lib.cfg.info.CompoundStatementCFGInfo
-
Takes each element of this CompoundStatement, one-by-one, and ensures
that
missing dummy-flushes are inserted for all.
- Initializer - Class in imop.ast.node.external
-
Grammar production:
f0 ::= AssignmentExpression()
| ArrayInitializer()
- Initializer(NodeChoice) - Constructor for class imop.ast.node.external.Initializer
-
- INITIALIZER - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- Initializer() - Method in class imop.parser.FrontEnd.CParser
-
- InitializerClause - Class in imop.ast.node.external
-
Grammar production:
f0 ::= AssignInitializerClause()
| ArgumentInitializerClause()
- InitializerClause(NodeChoice) - Constructor for class imop.ast.node.external.InitializerClause
-
- InitializerClause() - Method in class imop.parser.FrontEnd.CParser
-
- InitializerList - Class in imop.ast.node.external
-
Grammar production:
f0 ::= Initializer()
f1 ::= ( "," Initializer() )*
- InitializerList(Initializer, NodeListOptional) - Constructor for class imop.ast.node.external.InitializerList
-
- InitializerList() - Method in class imop.parser.FrontEnd.CParser
-
- initMHP() - Method in class imop.lib.analysis.mhp.MHPAnalyzer
-
This method starts the MHP Analysis on parConstruct
- initParallelRegion(ParallelConstruct) - Method in class imop.lib.analysis.mhp.ParallelRegionMarker
-
Deprecated.
This method is used to call ParallelRegionMarker on internal regions.
- initProcess(Node) - Method in class imop.baseVisitor.cfgTraversals.DepthFirstCFG
-
- initProcess(Node, A) - Method in class imop.baseVisitor.cfgTraversals.GJDepthFirstCFG
-
- initProcess(Node) - Method in class imop.baseVisitor.cfgTraversals.GJNoArguDepthFirstCFG
-
- initProcess(Node, A) - Method in class imop.baseVisitor.cfgTraversals.GJVoidDepthFirstCFG
-
- initProcess(Node) - Method in class imop.baseVisitor.DepthFirstProcess
-
- initProcess(Node, A) - Method in class imop.baseVisitor.GJDepthFirstProcess
-
- initProcess(Node) - Method in class imop.baseVisitor.GJNoArguDepthFirstProcess
-
- initProcess(Node, A) - Method in class imop.baseVisitor.GJVoidDepthFirstProcess
-
- initProcess(Node, F) - Method in class imop.lib.analysis.dataflow.Deprecated_InterProceduralCFGPass
-
Deprecated.
- initProcess(Node, F) - Method in class imop.lib.analysis.dataflow.generic.InterThreadBackwardIDFA
-
- initProcess(Node, F) - Method in class imop.lib.analysis.dataflow.generic.InterThreadForwardIDFA
-
- initProcess(Node, DataDependenceBackward.DataDependenceBackwardFF) - Method in class imop.lib.analysis.dataflow.interprocedural.DataDependenceBackward
-
- initProcess(Node, DataDependenceForward.DataDependenceForwardFF) - Method in class imop.lib.analysis.dataflow.interprocedural.DataDependenceForward
-
- initProcess(Node, Deprecated_ReachingDefinitionMap) - Method in class imop.lib.analysis.dataflow.interprocedural.Deprecated_ReachingDefinitionAnalysis
-
Deprecated.
- initProcess(Node, LivenessAnalysis.LivenessFlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.LivenessAnalysis
-
- initProcess(Node, ReachingDefinitionAnalysis.ReachingDefinitionFlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.ReachingDefinitionAnalysis
-
- initProcess(Node) - Method in class imop.lib.analysis.dataflow.intraprocedural.Deprecated_AntiDefVisitor
-
- initProcess(Node) - Method in class imop.lib.analysis.dataflow.intraprocedural.Deprecated_AntiDependenceMarker
-
- initProcess(Node) - Method in class imop.lib.analysis.dataflow.intraprocedural.Deprecated_DefinitionReachabilityMarker
-
- initProcess(Node) - Method in class imop.lib.analysis.dataflow.intraprocedural.Deprecated_DUChainGenerator
-
- initProcess(Node) - Method in class imop.lib.analysis.dataflow.intraprocedural.Deprecated_FlowAndOutputDependenceMarker
-
- initProcess(Node) - Method in class imop.lib.analysis.dataflow.intraprocedural.Deprecated_TemporaryDataflowChecker
-
- initProcess(Node, ArrayList<OldLock>) - Method in class imop.lib.analysis.mhp.OldLocksetMarker
-
Deprecated.
This overridden method adds all the enclosing lock regions
to the set $lockSet$ of the traversed CFG node $n$.
- initProcess(Node) - Method in class imop.lib.analysis.mhp.ParallelPhaseDumper
-
- initProcess(Node, CallStack) - Method in class imop.lib.analysis.mhp.ParallelPhaseMarker
-
Processes (non-interesting) leaf nodes -- add phase, visit successors;
Processes non-leaf nodes == visit beginNode.
- initProcess(Node) - Method in class imop.lib.analysis.mhp.ParallelRegionDumper
-
- initProcess(Node, ParallelConstruct) - Method in class imop.lib.analysis.mhp.ParallelRegionMarker
-
Deprecated.
This overridden method marks n with "region".
- initProcess(Node, BufferedWriter) - Method in class imop.lib.cfg.DotEdgeWriter
-
In this overriding of initProcess(), we will be writing dot edges.
- initProcess(Node, BufferedWriter) - Method in class imop.lib.cfg.DotNodeWriter
-
In this overriding of initProcess(), we will be writing dot node
information.
- initProcess(CFGLink) - Method in class imop.lib.cfg.link.baseVisitor.CFGLinkVisitor
-
- initProcess(CFGLink, A) - Method in class imop.lib.cfg.link.baseVisitor.GJCFGLinkVisitor
-
- initProcess(CFGLink) - Method in class imop.lib.cfg.link.baseVisitor.GJNoArguCFGLinkVisitor
-
- initProcess(CFGLink, A) - Method in class imop.lib.cfg.link.baseVisitor.GJVoidCFGLinkVisitor
-
- initProcess(Node) - Method in class imop.lib.cfg.NonNestedCFGGenerator
-
Overridden to process all the CFG leaf nodes.
- initProcess(Node, BufferedWriter) - Method in class imop.lib.cfg.SimpleNodeEdgeWriter
-
- initProcess(Node) - Method in class imop.lib.getter.AllCFGNodeGetter
-
- initProcess(Node) - Method in class imop.lib.getter.AllDefinitionGetter
-
This overridden version puts n in the definitionList,
if n is a leaf CFG node with non-empty list of writes.
- initProcess(Node) - Method in class imop.lib.getter.BarrierGetter
-
- initProcess(Node) - Method in class imop.lib.getter.Deprecated_AllDefinitionGetter
-
This overridden version puts n in the definitionList,
if
a.) n is a leaf CFG node with non-empty list of writes.
- initProcess(Node) - Method in class imop.lib.getter.DummyExpressionNodeCounter
-
- initProcess(Node) - Method in class imop.lib.getter.InfiExactASTNodesGetter
-
- initProcess(Node) - Method in class imop.lib.getter.InfiInheritedASTNodeListGetter
-
- initProcess(Node) - Method in class imop.lib.getter.InfiInheritedASTNodesGetter
-
- initProcess(Node) - Method in class imop.lib.getter.OmpClauseGetter
-
- initProcess(Node) - Method in class imop.lib.getter.PostOrderExactCollector
-
- initProcess(Node) - Method in class imop.lib.getter.PostOrderInheritedCollector
-
- initProcess(CFGLink) - Method in class imop.lib.transform.updater.InsertOnTheEdge.ImmediatePredecessorInserter
-
- InitRunInParallel - Class in imop.ast.info
-
Needs to be verified (AND modified).
- InitRunInParallel() - Constructor for class imop.ast.info.InitRunInParallel
-
- INLINE - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- input_stream - Variable in class imop.parser.CParserTokenManager
-
- inputPhaseSet - Variable in class imop.ast.info.NodePhaseInfo
-
- inputStream - Variable in class imop.parser.SimpleCharStream
-
- insertDummyFlushDirective(Node) - Static method in class imop.lib.transform.simplify.InsertDummyFlushDirectives
-
- InsertDummyFlushDirectives - Class in imop.lib.transform.simplify
-
- InsertDummyFlushDirectives() - Constructor for class imop.lib.transform.simplify.InsertDummyFlushDirectives
-
- InsertImmediatePredecessor - Class in imop.lib.transform.updater
-
- InsertImmediatePredecessor() - Constructor for class imop.lib.transform.updater.InsertImmediatePredecessor
-
- insertImmediatePredecessor(Node, Node) - Static method in class imop.lib.transform.updater.InsertImmediatePredecessor
-
- InsertImmediatePredecessor.ImmediatePredecessorSimpleInserter - Class in imop.lib.transform.updater
-
- InsertImmediateSuccessor - Class in imop.lib.transform.updater
-
Insert a given targetNode before a baseNode
on all the paths, without any other major changes to the existing CFG.
- InsertImmediateSuccessor() - Constructor for class imop.lib.transform.updater.InsertImmediateSuccessor
-
- insertImmediateSuccessor(Node, Node) - Static method in class imop.lib.transform.updater.InsertImmediateSuccessor
-
- InsertImmediateSuccessor.ImmediateSuccessorSimpleInserter - Class in imop.lib.transform.updater
-
- insertNewDFDsWithNode(int, Node) - Method in class imop.lib.cfg.info.CompoundStatementCFGInfo
-
Used to insert the node, and its corresponding methods, at
specified location.
- insertNewDFDsWithoutNode(Node) - Method in class imop.lib.cfg.info.CompoundStatementCFGInfo
-
Used to insert the missing dummy-flushes around node, where
node is an element of this CompoundStatement.
- InsertOnTheEdge - Class in imop.lib.transform.updater
-
COPY of some intermediate state of InsertImmediatePredecessor.
- InsertOnTheEdge() - Constructor for class imop.lib.transform.updater.InsertOnTheEdge
-
- insertOnTheEdge(Node, Node) - Static method in class imop.lib.transform.updater.InsertOnTheEdge
-
- InsertOnTheEdge.ImmediatePredecessorInserter - Class in imop.lib.transform.updater
-
- INT - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- INTEGER_LITERAL - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- IntegerType - Class in imop.lib.analysis.typeSystem
-
- IntegerType() - Constructor for class imop.lib.analysis.typeSystem.IntegerType
-
- InternalCFGNodeGetter - Class in imop.lib.getter
-
This visitor takes an AST node n, and populates cfgNode
with the first AST node encountered in the depth-first visitor of n which
corresponds to a CFG leaf or non-leaf node.
- InternalCFGNodeGetter() - Constructor for class imop.lib.getter.InternalCFGNodeGetter
-
- InternalGetter() - Constructor for class imop.lib.getter.CallStatementGetter.InternalGetter
-
- InternalStringGetter() - Constructor for class imop.lib.getter.StringGetter.InternalStringGetter
-
- InternalStringGetter(ArrayList<StringGetter.Commentor>) - Constructor for class imop.lib.getter.StringGetter.InternalStringGetter
-
- InterProceduralNode - Class in imop.lib.analysis.dataflow
-
Deprecated.
- InterProceduralNode(Node) - Constructor for class imop.lib.analysis.dataflow.InterProceduralNode
-
Deprecated.
- InterProceduralNode(CallSite) - Constructor for class imop.lib.analysis.dataflow.InterProceduralNode
-
Deprecated.
- InterTaskEdge - Class in imop.lib.cfg.parallel
-
- InterTaskEdge(DummyFlushDirective, DummyFlushDirective) - Constructor for class imop.lib.cfg.parallel.InterTaskEdge
-
- InterThreadBackwardIDFA<F extends FlowFact> - Class in imop.lib.analysis.dataflow.generic
-
A generic class to implement an inter-thread interprocedural backward
iterative data-flow analysis.
- InterThreadBackwardIDFA(AnalysisName, AnalysisDimension) - Constructor for class imop.lib.analysis.dataflow.generic.InterThreadBackwardIDFA
-
- InterThreadForwardIDFA<F extends FlowFact> - Class in imop.lib.analysis.dataflow.generic
-
A generic class to implement an inter-thread interprocedural forward
iterative data-flow analysis.
- InterThreadForwardIDFA(AnalysisName, AnalysisDimension) - Constructor for class imop.lib.analysis.dataflow.generic.InterThreadForwardIDFA
-
- intFound - Variable in class imop.lib.getter.HasIntType
-
- INVALID_LEXICAL_STATE - Static variable in error imop.parser.TokenMgrError
-
Tried to change to an invalid lexical state.
- invalidateAccessLists() - Method in class imop.ast.info.NodeInfo
-
- invalidatePositionForStatementInsertion(Statement) - Method in class imop.lib.cfg.info.AtomicConstructCFGInfo
-
- invalidateReadAfterCellsInPredecessorDummyFlushesOf(HashSet<Node>) - Static method in class imop.lib.analysis.updater.AutomatedUpdater
-
This method traverses backward in the inter-procedural CFG, and
invalidates the read-after symbol set of first encountered DummyFlushes
on all paths.
- invalidateSymbolsInNode(Node) - Static method in class imop.lib.analysis.updater.AutomatedUpdater
-
- invalidateWriteBeforeCellsInSuccessorDummyFlushesOf(HashSet<Node>) - Static method in class imop.lib.analysis.updater.AutomatedUpdater
-
This method traverses forward in the inter-procedural CFG, and
invalidates the written-before symbol set of first encountered
DummyFlushes
on all paths.
- invalidReadCellSet - Variable in class imop.ast.node.internal.DummyFlushDirective
-
- invalidWrittenCellSet - Variable in class imop.ast.node.internal.DummyFlushDirective
-
- IsACall - Class in imop.lib.getter
-
Returns true if the visited expression directly represents a call-site.
- IsACall() - Constructor for class imop.lib.getter.IsACall
-
- isACall(StringBuilder) - Static method in class imop.lib.util.Misc
-
Checks whether inExp directly represents a function-call.
- isACall(Expression) - Static method in class imop.lib.util.Misc
-
Checks whether inExp directly represents a function-call.
- isACallByFunctionPointer() - Method in class imop.ast.info.cfgNodeInfo.CallStatementInfo
-
- isAConstant() - Method in class imop.ast.node.internal.SimplePrimaryExpression
-
- isADefinition - Variable in class imop.lib.analysis.typeSystem.StructUnionOrEnumInfoGetter
-
- isAFunction() - Method in class imop.lib.analysis.dataflow.Symbol
-
- isAggregateType() - Method in class imop.lib.analysis.typeSystem.Type
-
Note that unions are not aggregate types.
- isALockModifyRoutine() - Method in class imop.ast.info.cfgNodeInfo.CallStatementInfo
-
- isALockReleasingRoutine() - Method in class imop.ast.info.cfgNodeInfo.CallStatementInfo
-
- isALockSettingRoutine() - Method in class imop.ast.info.cfgNodeInfo.CallStatementInfo
-
- isALockWriteRoutine() - Method in class imop.ast.info.cfgNodeInfo.CallStatementInfo
-
- isAnIdentifier() - Method in class imop.ast.node.internal.SimplePrimaryExpression
-
- isAPredicate(Expression) - Static method in class imop.lib.util.Misc
-
Checks whether exp is a predicate (CFG expression), or not.
- isAtomicityRacePair(Node, Node) - Static method in class imop.lib.util.Misc
-
- isAVariable() - Method in class imop.lib.analysis.dataflow.Symbol
-
- isBasicType() - Method in class imop.lib.analysis.typeSystem.CharType
-
- isBasicType() - Method in class imop.lib.analysis.typeSystem.FloatingType
-
- isBasicType() - Method in class imop.lib.analysis.typeSystem.SignedIntegerType
-
- isBasicType() - Method in class imop.lib.analysis.typeSystem.Type
-
This method is overridden at appropriate subclasses
to return true.
- isBasicType() - Method in class imop.lib.analysis.typeSystem.UnsignedIntegerType
-
- isBitField() - Method in class imop.lib.analysis.typeSystem.StructOrUnionMember
-
- isCallSite() - Method in class imop.lib.analysis.dataflow.InterProceduralNode
-
Deprecated.
- isCFGLeafNode(Node) - Static method in class imop.lib.util.Misc
-
Returns true if node n is a type of leaf CFG node
- isCFGNode(Node) - Static method in class imop.lib.util.Misc
-
This method returns true if n is a CFG node
- isCFGNonLeafNode(Node) - Static method in class imop.lib.util.Misc
-
Returns true if node n is a type of non-leaf CFG node
- isCharacterType() - Method in class imop.lib.analysis.typeSystem.CharType
-
- isCharacterType() - Method in class imop.lib.analysis.typeSystem.SignedCharType
-
- isCharacterType() - Method in class imop.lib.analysis.typeSystem.Type
-
This method is overridden at appropriate subclasses
to return true.
- isCharacterType() - Method in class imop.lib.analysis.typeSystem.UnsignedCharType
-
- isComplete() - Method in class imop.lib.analysis.typeSystem.ArrayType
-
- isComplete() - Method in class imop.lib.analysis.typeSystem.CharType
-
- isComplete() - Method in class imop.lib.analysis.typeSystem.EnumType
-
- isComplete() - Method in class imop.lib.analysis.typeSystem.FloatingType
-
- isComplete() - Method in class imop.lib.analysis.typeSystem.SignedIntegerType
-
- isComplete() - Method in class imop.lib.analysis.typeSystem.StructType
-
- isComplete() - Method in class imop.lib.analysis.typeSystem.Type
-
This method is overridden at appropriate subclasses
to return true.
- isComplete() - Method in class imop.lib.analysis.typeSystem.UnionType
-
- isComplete() - Method in class imop.lib.analysis.typeSystem.UnsignedIntegerType
-
- isComplete() - Method in class imop.lib.analysis.typeSystem.VoidType
-
- isContextSensitiveStack() - Method in class imop.lib.cg.CallStack
-
Informs whether this call stack object is context-sensitive in nature.
- isControlConfined() - Method in class imop.ast.info.NodeInfo
-
Find whether the control can flow in and out of this AST node except from
the beginning and end of it, respectively.
- isDerivedDeclaratorType() - Method in class imop.lib.analysis.typeSystem.Type
-
- isElementaryRWNodeParent(Node) - Static method in class imop.lib.util.Misc
-
- isEmptyCallSite() - Method in class imop.lib.cg.CallSite
-
Deprecated.
- isEndReachable(Node) - Method in class imop.lib.cfg.Deprecated_ImmediatePredecessorInserter
-
Deprecated.
This method returns true if control entering to the node n
"via any point within the block" may flow out of the end of the node.
- isEndReachable() - Method in class imop.lib.cfg.info.CFGInfo
-
This method returns true if control entering to the node node
"via any point within the block" may flow out of the end of the node.
- isEnum - Variable in class imop.lib.analysis.typeSystem.StructUnionOrEnumInfoGetter
-
- isEqual(CallSite) - Method in class imop.lib.cg.CallSite
-
Deprecated.
- isEqualTo(FlowFact) - Method in class imop.lib.analysis.dataflow.generic.FlowFact
-
Returns true if other is semantically
same as this object.
- isEqualTo(FlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.DataDependenceBackward.DataDependenceBackwardFF
-
- isEqualTo(FlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.DataDependenceForward.DataDependenceForwardFF
-
- isEqualTo(Deprecated_FlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.Deprecated_ReachingDefinitionMap
-
Deprecated.
- isEqualTo(FlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.LivenessAnalysis.LivenessFlowFact
-
- isEqualTo(FlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.LockSetAnalysis.LockFlowFact
-
- isEqualTo(FlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.ReachingDefinitionAnalysis.ReachingDefinitionFlowFact
-
- isEqualTo(Deprecated_FlowFact) - Method in class imop.lib.analysis.Deprecated_FlowFact
-
Deprecated.
Returns true if other is semantically
same as this object.
- isForShared - Variable in class imop.lib.getter.CellAccessGetter.AccessGetter
-
- isFromPointer() - Method in class imop.lib.analysis.typeSystem.PointerType
-
- isFunctionDesignator(Expression) - Static method in class imop.lib.util.Misc
-
- isJumpNode(Node) - Static method in class imop.lib.util.Misc
-
Checks whether the queried node is any of the jump statements - - return,
continue, break, goto;
- isKnownConstantSized() - Method in class imop.lib.analysis.typeSystem.Type
-
- isLValue(Expression) - Static method in class imop.lib.util.Misc
-
Returns true if exp is an expression of a type
that can hold an object type.
- isModifiableLValue(Expression) - Static method in class imop.lib.util.Misc
-
Returns true if the expression's value can be modified.
- isNode() - Method in class imop.lib.analysis.dataflow.InterProceduralNode
-
Deprecated.
- isPhantom() - Method in class imop.ast.node.internal.CallStatement
-
- isRealType() - Method in class imop.lib.analysis.typeSystem.IntegerType
-
- isRealType() - Method in class imop.lib.analysis.typeSystem.RealFloatingType
-
- isRealType() - Method in class imop.lib.analysis.typeSystem.Type
-
This method is overridden at appropriate subclasses
to return true.
- isRecursive() - Method in class imop.ast.info.cfgNodeInfo.FunctionDefinitionInfo
-
- isRecursive(FunctionDefinition, Vector<FunctionDefinition>) - Method in class imop.ast.info.cfgNodeInfo.FunctionDefinitionInfo
-
- isRunnableInParallel() - Method in class imop.ast.info.cfgNodeInfo.FunctionDefinitionInfo
-
- isRunnableInRegion(ParallelConstruct) - Method in class imop.ast.info.NodeInfo
-
- isScalarType() - Method in class imop.lib.analysis.typeSystem.Type
-
- IsSimplePrimaryExpression - Class in imop.lib.getter
-
Each visit in this class returns true if the visited expression is an
identifier/constant or bracketed form of identifier/constant.
- IsSimplePrimaryExpression() - Constructor for class imop.lib.getter.IsSimplePrimaryExpression
-
- isSimplePrimaryExpression(Expression) - Static method in class imop.lib.util.Misc
-
Checks whether inExp is an identifier/constant.
- isStatic() - Method in class imop.lib.analysis.dataflow.Symbol
-
- isStruct - Variable in class imop.lib.analysis.typeSystem.StructUnionOrEnumInfoGetter
-
- isType(String) - Method in class imop.parser.FrontEnd.CParser
-
- isTypedef(Declaration) - Static method in class imop.lib.util.Misc
-
- isTypedef(DeclarationSpecifiers) - Static method in class imop.lib.util.Misc
-
- isUnion - Variable in class imop.lib.analysis.typeSystem.StructUnionOrEnumInfoGetter
-
- isUnrollingFeasible(IterationStatement) - Static method in class imop.lib.transform.LoopTransformations
-
- isVariableLengthed() - Method in class imop.lib.analysis.typeSystem.ArrayType
-
- IterationStatement - Class in imop.ast.node.external
-
Grammar production:
f0 ::= WhileStatement()
| DoStatement()
| ForStatement()
- IterationStatement(NodeChoice) - Constructor for class imop.ast.node.external.IterationStatement
-
- IterationStatement() - Constructor for class imop.ast.node.external.IterationStatement
-
- IterationStatement() - Method in class imop.parser.FrontEnd.CParser
-
- IterationStatementInfo - Class in imop.ast.info
-
- IterationStatementInfo(Node) - Constructor for class imop.ast.info.IterationStatementInfo
-
- itStmtF0 - Variable in class imop.ast.node.external.IterationStatement
-