- CallBeginLink - Class in imop.lib.cfg.link.node
-
- CallBeginLink(CallStatement, BeginNode) - Constructor for class imop.lib.cfg.link.node.CallBeginLink
-
- calledFunctions_old - Variable in class imop.ast.info.NodeInfo
-
Deprecated.
- calleeDefinition - Variable in class imop.lib.cg.CallSite
-
Deprecated.
- calleeDefinitions - Variable in class imop.ast.info.cfgNodeInfo.CallStatementInfo
-
- calleeName - Variable in class imop.lib.cg.CallSite
-
Deprecated.
- calleeSymbols - Variable in class imop.ast.info.cfgNodeInfo.CallStatementInfo
-
- CallEndLink - Class in imop.lib.cfg.link.node
-
- CallEndLink(CallStatement, EndNode) - Constructor for class imop.lib.cfg.link.node.CallEndLink
-
- callerCFGNode - Variable in class imop.lib.cg.CallSite
-
Deprecated.
- callerExp - Variable in class imop.lib.cg.CallSite
-
Deprecated.
- CallPostLink - Class in imop.lib.cfg.link.node
-
- CallPostLink(CallStatement, PostCallNode) - Constructor for class imop.lib.cfg.link.node.CallPostLink
-
- CallPreLink - Class in imop.lib.cfg.link.node
-
- CallPreLink(CallStatement, PreCallNode) - Constructor for class imop.lib.cfg.link.node.CallPreLink
-
- callSite - Variable in class imop.lib.analysis.dataflow.InterProceduralNode
-
Deprecated.
- CallSite - Class in imop.lib.cg
-
Deprecated.
- CallSite(String, FunctionDefinition, PostfixExpression) - Constructor for class imop.lib.cg.CallSite
-
Deprecated.
- CallSiteGetter - Class in imop.lib.getter
-
Populates callSiteList with the call sites within the visited node's AST
subtree.
- CallSiteGetter() - Constructor for class imop.lib.getter.CallSiteGetter
-
- callSiteList - Variable in class imop.lib.getter.CallSiteGetter
-
- callSiteStack - Variable in class imop.lib.analysis.mhp.PhasePoint
-
Deprecated.
- callStack - Variable in class imop.lib.cfg.info.CFGInfo.NodeWithStack
-
- CallStack - Class in imop.lib.cg
-
- CallStack() - Constructor for class imop.lib.cg.CallStack
-
- CallStack(CallStack) - Constructor for class imop.lib.cg.CallStack
-
- callStack - Variable in class imop.lib.cg.CallStack
-
- CallStatement - Class in imop.ast.node.internal
-
This class represents either a FunctionCall or a MessageSend.
- CallStatement(NodeToken, PreCallNode, PostCallNode) - Constructor for class imop.ast.node.internal.CallStatement
-
- CallStatementCFGInfo - Class in imop.lib.cfg.info
-
- CallStatementCFGInfo(Node) - Constructor for class imop.lib.cfg.info.CallStatementCFGInfo
-
- CallStatementGetter - Class in imop.lib.getter
-
- CallStatementGetter() - Constructor for class imop.lib.getter.CallStatementGetter
-
- CallStatementGetter.InternalGetter - Class in imop.lib.getter
-
Returns a
CallStatement, if the visited expression is a
represents one.
- CallStatementInfo - Class in imop.ast.info.cfgNodeInfo
-
- CallStatementInfo(Node) - Constructor for class imop.ast.info.cfgNodeInfo.CallStatementInfo
-
- callStatements - Variable in class imop.ast.info.NodeInfo
-
- canT1holdT2(IntegerType, IntegerType) - Static method in class imop.lib.analysis.typeSystem.Conversion
-
- CAPTURE - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- CASE - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- caseExpression - Variable in class imop.ast.metadata.CaseLabel
-
- CaseLabel - Class in imop.ast.metadata
-
- CaseLabel(Node, ConstantExpression, SwitchStatement) - Constructor for class imop.ast.metadata.CaseLabel
-
- caseLabel - Variable in class imop.ast.metadata.IncompleteEdge
-
- CaseLabeledStatement - Class in imop.ast.node.external
-
Grammar production:
f0 ::=
f1 ::= ConstantExpression()
f2 ::= ":"
f3 ::= Statement()
- CaseLabeledStatement(NodeToken, ConstantExpression, NodeToken, Statement) - Constructor for class imop.ast.node.external.CaseLabeledStatement
-
- CaseLabeledStatement(ConstantExpression, Statement) - Constructor for class imop.ast.node.external.CaseLabeledStatement
-
- CaseLabeledStatement() - Method in class imop.parser.FrontEnd.CParser
-
- cases - Variable in class imop.lib.getter.Deprecated_CaseStatementsGetter
-
Deprecated.
- CastExpression - Class in imop.ast.node.external
-
Grammar production:
f0 ::= CastExpressionTyped()
| UnaryExpression()
- CastExpression(NodeChoice) - Constructor for class imop.ast.node.external.CastExpression
-
- CastExpression() - Method in class imop.parser.FrontEnd.CParser
-
- CastExpressionTyped - Class in imop.ast.node.external
-
Grammar production:
f0 ::= "("
f1 ::= TypeName()
f2 ::= ")"
f3 ::= CastExpression()
- CastExpressionTyped(NodeToken, TypeName, NodeToken, CastExpression) - Constructor for class imop.ast.node.external.CastExpressionTyped
-
- CastExpressionTyped(TypeName, CastExpression) - Constructor for class imop.ast.node.external.CastExpressionTyped
-
- CastExpressionTyped() - Method in class imop.parser.FrontEnd.CParser
-
- CATOMIC - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- CCONST - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- Cell - Class in imop.lib.analysis.dataflow
-
Represents an abstraction of a memory cell.
- Cell() - Constructor for class imop.lib.analysis.dataflow.Cell
-
- cell - Variable in class imop.lib.analysis.dataflow.Definition
-
- cell - Variable in class imop.lib.analysis.dataflow.Usage
-
- CellAccessGetter - Class in imop.lib.getter
-
This class is used to obtain the set of l-values (symbols/locations/cells)
that may have been read/written within a node, lexically.
- CellAccessGetter() - Constructor for class imop.lib.getter.CellAccessGetter
-
- CellAccessGetter.AccessGetter - Class in imop.lib.getter
-
This visitor is used to obtain the list of symbols or free variables that
are read/written in the visited expression.
- cellReadList - Variable in class imop.lib.getter.CellAccessGetter.AccessGetter
-
- cells - Variable in class imop.lib.analysis.dataflow.generic.IDFAEdge
-
- cellWriteList - Variable in class imop.lib.getter.CellAccessGetter.AccessGetter
-
- CFGGenerator - Class in imop.lib.cfg
-
Populates getParent, getSuccBlock, getPredBlock and getNestedCFG entries.
- CFGGenerator() - Constructor for class imop.lib.cfg.CFGGenerator
-
- cfgInfo - Variable in class imop.ast.info.NodeInfo
-
- CFGInfo - Class in imop.lib.cfg.info
-
- CFGInfo(Node) - Constructor for class imop.lib.cfg.info.CFGInfo
-
- CFGInfo.NodeWithStack - Class in imop.lib.cfg.info
-
- cfgLink - Variable in class imop.lib.cfg.CFGLinkFinder.CFGLinkGetter
-
- CFGLink - Class in imop.lib.cfg.link.node
-
- CFGLink() - Constructor for class imop.lib.cfg.link.node.CFGLink
-
- CFGLinkFinder - Class in imop.lib.cfg
-
For a given childNode, when a visit is called on the parent
of the childNode, this visitor populates cfgLink
with appropriate CFGLink object.
- CFGLinkFinder() - Constructor for class imop.lib.cfg.CFGLinkFinder
-
- CFGLinkFinder.CFGLinkGetter - Class in imop.lib.cfg
-
- CFGLinkGetter(Node) - Constructor for class imop.lib.cfg.CFGLinkFinder.CFGLinkGetter
-
- CFGLinkVisitor - Class in imop.lib.cfg.link.baseVisitor
-
- CFGLinkVisitor() - Constructor for class imop.lib.cfg.link.baseVisitor.CFGLinkVisitor
-
- cfgNode - Variable in class imop.lib.getter.InternalCFGNodeGetter
-
- cfgNodeList - Variable in class imop.lib.getter.AllCFGNodeGetter
-
- CHAR - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- CHARACTER_LITERAL - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- CharType - Class in imop.lib.analysis.typeSystem
-
Represents the char type of C.
- CharType() - Constructor for class imop.lib.analysis.typeSystem.CharType
-
- checkEdge(Node, Node) - Method in class imop.lib.cfg.Deprecated_ImmediatePredecessorInserter
-
Deprecated.
This method checks whether the given edge is the edge that we need to
process,
and performs the CFG-level processing of the same.
- checkStats(TranslationUnit) - Static method in class imop.parser.FrontEnd
-
Performs various statistics collecting routines.
- childNode - Variable in class imop.lib.cfg.CFGLinkFinder.CFGLinkGetter
-
- childNode - Variable in class imop.lib.cfg.link.node.AtomicBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.AtomicEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.AtomicStatementLink
-
- childNode - Variable in class imop.lib.cfg.link.node.BreakLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CallBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CallEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CallPostLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CallPreLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CompoundBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CompoundElementLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CompoundEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ContinueLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CriticalBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CriticalBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.CriticalEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.DoBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.DoBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.DoEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.DoPredicateLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ForBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ForBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ForEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ForInitLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ForStepLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ForTermLink
-
- childNode - Variable in class imop.lib.cfg.link.node.FunctionBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.FunctionBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.FunctionEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.FunctionParameterLink
-
- childNode - Variable in class imop.lib.cfg.link.node.GotoLink
-
- childNode - Variable in class imop.lib.cfg.link.node.IfBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.IfElseBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.IfEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.IfPredicateLink
-
- childNode - Variable in class imop.lib.cfg.link.node.IfThenBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.MasterBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.MasterBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.MasterEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.OrderedBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.OrderedBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.OrderedEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParallelBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParallelBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParallelClauseLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParallelEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParForBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParForBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParForEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParForInitLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParForStepLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ParForTermLink
-
- childNode - Variable in class imop.lib.cfg.link.node.ReturnLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SectionsBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SectionsEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SectionsSectionBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SingleBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SingleBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SingleEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SwitchBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SwitchBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SwitchEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.SwitchPredicateLink
-
- childNode - Variable in class imop.lib.cfg.link.node.TaskBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.TaskBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.TaskClauseLink
-
- childNode - Variable in class imop.lib.cfg.link.node.TaskEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.WhileBeginLink
-
- childNode - Variable in class imop.lib.cfg.link.node.WhileBodyLink
-
- childNode - Variable in class imop.lib.cfg.link.node.WhileEndLink
-
- childNode - Variable in class imop.lib.cfg.link.node.WhilePredicateLink
-
- choice - Variable in class imop.ast.node.external.NodeChoice
-
- CINLINED - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- CINLINED2 - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- classSet - Variable in class imop.lib.getter.PostOrderExactCollector
-
- classSet - Variable in class imop.lib.getter.PostOrderInheritedCollector
-
- clearAllEdges() - Method in class imop.lib.cfg.info.CFGInfo
-
- clearElementList() - Method in class imop.lib.cfg.info.CompoundStatementCFGInfo
-
- clearLabelAnnotations() - Method in class imop.ast.info.StatementInfo
-
Clears all the label annotations from the owner statement.
- clearParameterDeclarationList() - Method in class imop.lib.cfg.info.FunctionDefinitionCFGInfo
-
Deprecated.
- clearPredBlocks() - Method in class imop.lib.cfg.info.CFGInfo
-
Clears the list of predecessor of the node node.
- clearSectionList() - Method in class imop.lib.cfg.info.SectionsConstructCFGInfo
-
- clearSuccBlocks() - Method in class imop.lib.cfg.info.CFGInfo
-
Clears the list of successors of the node node.
- clone() - Method in class imop.ast.info.NodeInfo
-
- COLLAPSE - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- collapseCalls(ExpressionSimplifier.SimplificationString, Type) - Method in class imop.lib.transform.simplify.ExpressionSimplifier
-
If the replacement string of ret is a function-call, this method
collapses
the call into a temporary of type t1.
- collectNodeListInGenericGraph(T, List<T>, Predicate<T>, CollectorVisitor.NeighbourListGetter<T>) - Static method in class imop.lib.getter.CollectorVisitor
-
A generic method that is used to traverse a graph until certain
conditions are met, and collect the list of nodes that lie on the
traversed path, as well as nodes where the paths terminate.
- collectNodeListInGenericGraph(List<T>, List<T>, Predicate<T>, CollectorVisitor.NeighbourListGetter<T>) - Static method in class imop.lib.getter.CollectorVisitor
-
A generic method that is used to traverse a graph until certain
conditions are met, and collect the list of nodes that lie on the
traversed path, as well as nodes where the paths terminate.
- collectNodeSetInGenericGraph(T, Set<T>, Predicate<T>, CollectorVisitor.NeighbourSetGetter<T>) - Static method in class imop.lib.getter.CollectorVisitor
-
A generic method that is used to traverse a graph until certain
conditions are met, and collect the set of nodes that lie on the
traversed path, as well as nodes where the paths terminate.
- collectNodeSetInGenericGraph(Set<T>, Set<T>, Predicate<T>, CollectorVisitor.NeighbourSetGetter<T>) - Static method in class imop.lib.getter.CollectorVisitor
-
A generic method that is used to traverse a graph until certain
conditions are met, and collect the set of nodes that lie on the
traversed path, as well as nodes where the paths terminate.
- collectNodesIntraTaskBackward(Node, Set<Node>, Predicate<Node>) - Static method in class imop.lib.getter.CollectorVisitor
-
This visitor traverses backward on all the intra-task inter-procedural
context-insensitive paths that start at startPoint and end at
those nodes where the terminationCheck succeeds.
- collectNodesIntraTaskBackward(Set<Node>, Set<Node>, Predicate<Node>) - Static method in class imop.lib.getter.CollectorVisitor
-
This visitor traverses backwards on all the intra-task inter-procedural
context-insensitive paths that start at any element in the
startPoint and end at those nodes where the
terminationCheck succeeds.
- collectNodesIntraTaskBackwardContextSensitive(CFGInfo.NodeWithStack, Set<CFGInfo.NodeWithStack>, Predicate<CFGInfo.NodeWithStack>) - Static method in class imop.lib.getter.CollectorVisitor
-
This visitor traverses backward on all the intra-task inter-procedural
context-sensitive paths that start at startPoint and end at
those nodes where the terminationCheck succeeds.
- collectNodesIntraTaskBackwardContextSensitive(Set<CFGInfo.NodeWithStack>, Set<CFGInfo.NodeWithStack>, Predicate<CFGInfo.NodeWithStack>) - Static method in class imop.lib.getter.CollectorVisitor
-
This visitor traverses backwards on all the intra-task inter-procedural
context-insensitive paths that start at any element in the
startPoint and end at those nodes where the
terminationCheck succeeds.
- collectNodesIntraTaskBackwardContextSensitiveBarrierFreePath(CFGInfo.NodeWithStack, Set<CFGInfo.NodeWithStack>) - Static method in class imop.lib.getter.CollectorVisitor
-
- collectNodesIntraTaskForward(Node, Set<Node>, Predicate<Node>) - Static method in class imop.lib.getter.CollectorVisitor
-
This visitor traverses forward on all the intra-task inter-procedural
context-insensitive paths that start at startPoint and end at
those nodes where the terminationCheck succeeds.
- collectNodesIntraTaskForward(Set<Node>, Set<Node>, Predicate<Node>) - Static method in class imop.lib.getter.CollectorVisitor
-
This visitor traverses forwards on all the intra-task inter-procedural
context-insensitive paths that start at any element in the
startPoint and end at those nodes where the
terminationCheck succeeds.
- collectNodesIntraTaskForwardBarrierFreePath(CFGInfo.NodeWithStack, Set<CFGInfo.NodeWithStack>) - Static method in class imop.lib.getter.CollectorVisitor
-
- collectNodesIntraTaskForwardContextSensitive(CFGInfo.NodeWithStack, Set<CFGInfo.NodeWithStack>, Predicate<CFGInfo.NodeWithStack>) - Static method in class imop.lib.getter.CollectorVisitor
-
This visitor traverses forward on all the intra-task inter-procedural
context-sensitive paths that start at startPoint and end at
those nodes where the terminationCheck succeeds.
- collectNodesIntraTaskForwardContextSensitive(Set<CFGInfo.NodeWithStack>, Set<CFGInfo.NodeWithStack>, Predicate<CFGInfo.NodeWithStack>) - Static method in class imop.lib.getter.CollectorVisitor
-
This visitor traverses forwards on all the intra-task inter-procedural
context-sensitive paths that start at any element in the
startPoint and end at those nodes where the
terminationCheck succeeds.
- collectNodesIntraTaskForwardOfSameParLevel(CFGInfo.NodeWithStack, Set<CFGInfo.NodeWithStack>, Predicate<CFGInfo.NodeWithStack>) - Static method in class imop.lib.getter.CollectorVisitor
-
TODO: Needs testing.
- CollectorVisitor - Class in imop.lib.getter
-
- CollectorVisitor() - Constructor for class imop.lib.getter.CollectorVisitor
-
- CollectorVisitor.NeighbourListGetter<T> - Interface in imop.lib.getter
-
- CollectorVisitor.NeighbourSetGetter<T> - Interface in imop.lib.getter
-
- COLON - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- column - Variable in class imop.parser.SimpleCharStream
-
- columnNum - Variable in class imop.ast.node.external.NodeToken
-
- columnNum - Variable in class imop.lib.getter.LineNumGetter
-
- COMMA - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- commentorList - Variable in class imop.lib.getter.StringGetter.InternalStringGetter
-
- commonNodeAdditionModule(int, Node) - Method in class imop.lib.cfg.info.CompoundStatementCFGInfo
-
Inserts an element, without caring for any normalizations.
- commonNodeRemovalModule(Node) - Method in class imop.lib.cfg.info.CompoundStatementCFGInfo
-
- complete - Variable in class imop.lib.analysis.typeSystem.ArrayType
-
- complete - Variable in class imop.lib.analysis.typeSystem.EnumType
-
- complete - Variable in class imop.lib.analysis.typeSystem.StructType
-
- complete - Variable in class imop.lib.analysis.typeSystem.UnionType
-
- COMPLEX - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- ComplexType - Class in imop.lib.analysis.typeSystem
-
Note: This type is optional.
Superclass of all the complex types, which are three in number:
FloatComplex
DoubleComplex
LongDoubleComplex
- ComplexType() - Constructor for class imop.lib.analysis.typeSystem.ComplexType
-
- CompoundBeginLink - Class in imop.lib.cfg.link.node
-
- CompoundBeginLink(CompoundStatement, BeginNode) - Constructor for class imop.lib.cfg.link.node.CompoundBeginLink
-
- CompoundElementLink - Class in imop.lib.cfg.link.node
-
- CompoundElementLink(CompoundStatement, Node, int) - Constructor for class imop.lib.cfg.link.node.CompoundElementLink
-
- CompoundEndLink - Class in imop.lib.cfg.link.node
-
- CompoundEndLink(CompoundStatement, EndNode) - Constructor for class imop.lib.cfg.link.node.CompoundEndLink
-
- CompoundStatement - Class in imop.ast.node.external
-
Grammar production:
f0 ::= "{"
f1 ::= ( CompoundStatementElement() )*
f2 ::= "}"
- CompoundStatement(NodeToken, NodeListOptional, NodeToken) - Constructor for class imop.ast.node.external.CompoundStatement
-
- CompoundStatement(NodeListOptional) - Constructor for class imop.ast.node.external.CompoundStatement
-
- CompoundStatement() - Method in class imop.parser.FrontEnd.CParser
-
- CompoundStatementCFGInfo - Class in imop.lib.cfg.info
-
- CompoundStatementCFGInfo(Node) - Constructor for class imop.lib.cfg.info.CompoundStatementCFGInfo
-
- CompoundStatementElement - Class in imop.ast.node.external
-
Grammar production:
f0 ::= Declaration()
| Statement()
- CompoundStatementElement(NodeChoice) - Constructor for class imop.ast.node.external.CompoundStatementElement
-
- CompoundStatementElement() - Method in class imop.parser.FrontEnd.CParser
-
- CompoundStatementEnforcer - Class in imop.lib.transform.simplify
-
Ensures that except as an element of a CompoundStatement (CS), or destination
of a label,
a non-CS-wrapping Statement should not be present elsewhere.
- CompoundStatementEnforcer() - Constructor for class imop.lib.transform.simplify.CompoundStatementEnforcer
-
- CompoundStatementInfo - Class in imop.ast.info.cfgNodeInfo
-
- CompoundStatementInfo(CompoundStatement) - Constructor for class imop.ast.info.cfgNodeInfo.CompoundStatementInfo
-
- CompoundStatementNormalizer - Class in imop.lib.transform.simplify
-
When this visitor is called on an AST node, it takes each CompoundStatement
contained within that node (inclusively), and normalizes it by removing extra
braces from it, without renaming any of the nested variables.
- CompoundStatementNormalizer() - Constructor for class imop.lib.transform.simplify.CompoundStatementNormalizer
-
- computeSet - Variable in class imop.lib.analysis.dataflow.generic.InterThreadBackwardIDFA
-
A set of nodes with which we need to perform this analysis.
- computeSet - Variable in class imop.lib.analysis.dataflow.generic.InterThreadForwardIDFA
-
A set of nodes with which we need to perform this analysis.
- ConditionalExpression - Class in imop.ast.node.external
-
Grammar production:
f0 ::= LogicalORExpression()
f1 ::= ( "?" Expression() ":" ConditionalExpression() )?
- ConditionalExpression(LogicalORExpression, NodeOptional) - Constructor for class imop.ast.node.external.ConditionalExpression
-
- ConditionalExpression() - Method in class imop.parser.FrontEnd.CParser
-
- connect(Node, Node) - Static method in class imop.lib.cfg.CFGGenerator
-
This method creates forward and backward links between the given pair of
nodes.
- connect(Node, Node) - Method in class imop.lib.cfg.Deprecated_ImmediatePredecessorInserter
-
Deprecated.
This method creates forward and backward links between the given pair of
nodes.
- connect(Node, Node) - Static method in class imop.lib.cfg.info.CFGInfo
-
Adds CFG edges from and to source and destination, respectively,
if not already present.
- connect(Node, Node) - Method in class imop.lib.cfg.NonNestedCFGGenerator
-
Create link between pred and succ
- connectPhases(Phase, Phase) - Static method in class imop.lib.analysis.mhp.Phase
-
Create a new edge in the phase-flow graph from source phase to
the destination phase.
- CONST - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- Constant - Class in imop.ast.node.external
-
Grammar production:
f0 ::=
|
|
| ( )+
- Constant(NodeChoice) - Constructor for class imop.ast.node.external.Constant
-
- Constant() - Method in class imop.parser.FrontEnd.CParser
-
- ConstantExpression - Class in imop.ast.node.external
-
Grammar production:
f0 ::= ConditionalExpression()
- ConstantExpression(ConditionalExpression) - Constructor for class imop.ast.node.external.ConstantExpression
-
- ConstantExpression() - Method in class imop.parser.FrontEnd.CParser
-
- contextDimension - Variable in class imop.lib.analysis.dataflow.Deprecated_InterProceduralCFGPass
-
Deprecated.
Specifies whether the traversal is supposed to be context-sensitive
or -insensitive in nature.
- contextDimension - Variable in class imop.lib.analysis.dataflow.generic.AnalysisDimension
-
Specifies whether this analysis is context-sensitive or insensitive.
Default value: context-insensitive.
- ContextDimension() - Constructor for enum imop.lib.analysis.dataflow.generic.AnalysisDimension.ContextDimension
-
- contextStack - Variable in class imop.lib.analysis.dataflow.Deprecated_InterProceduralCFGPass
-
Deprecated.
Used to handle context-sensitivity, if the analysis has been declared so.
- CONTINUE - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- ContinueLink - Class in imop.lib.cfg.link.node
-
- ContinueLink(ContinueStatement) - Constructor for class imop.lib.cfg.link.node.ContinueLink
-
- ContinueStatement - Class in imop.ast.node.external
-
Grammar production:
f0 ::=
f1 ::= ";"
- ContinueStatement(NodeToken, NodeToken) - Constructor for class imop.ast.node.external.ContinueStatement
-
- ContinueStatement() - Constructor for class imop.ast.node.external.ContinueStatement
-
- ContinueStatement() - Method in class imop.parser.FrontEnd.CParser
-
- ContinueStatementInfo - Class in imop.ast.info.cfgNodeInfo
-
- ContinueStatementInfo(Node) - Constructor for class imop.ast.info.cfgNodeInfo.ContinueStatementInfo
-
- Conversion - Class in imop.lib.analysis.typeSystem
-
- Conversion() - Constructor for class imop.lib.analysis.typeSystem.Conversion
-
- Copier - Class in imop.lib.builder
-
Performs deep-copy of the visited node.
- Copier() - Constructor for class imop.lib.builder.Copier
-
- Copier.DeepCopier - Class in imop.lib.builder
-
- copyCFGEdges - Variable in class imop.lib.builder.CopyConfiguration
-
- CopyConfiguration - Class in imop.lib.builder
-
- CopyConfiguration() - Constructor for class imop.lib.builder.CopyConfiguration
-
- copyFlowFacts - Variable in class imop.lib.builder.CopyConfiguration
-
- COPYIN - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- copyInfo(Node, Node) - Method in class imop.lib.builder.Copier.DeepCopier
-
Copy certain fields of Info from oldNode to
newNode.
(Note that this method performs only shallow copy, i.e., copy of
information
from just oldNode to newNode, and not from their fields to fields.
- copyLabels(Statement, Statement) - Method in class imop.lib.transform.updater.InsertImmediatePredecessor.ImmediatePredecessorSimpleInserter
-
Copies labels from baseNode to targetNode.
- copyPhaseInfo - Variable in class imop.lib.builder.CopyConfiguration
-
- COPYPRIVATE - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- copySourceNode - Variable in class imop.ast.info.NodeInfo
-
- counter - Static variable in class imop.lib.analysis.dataflow.HeapCell
-
- counter - Static variable in class imop.lib.analysis.mhp.Phase
-
- counterVar - Static variable in class imop.lib.builder.Builder
-
- CParser(InputStream) - Constructor for class imop.parser.FrontEnd.CParser
-
Constructor with InputStream.
- CParser(InputStream, String) - Constructor for class imop.parser.FrontEnd.CParser
-
Constructor with InputStream and supplied encoding
- CParser(Reader) - Constructor for class imop.parser.FrontEnd.CParser
-
Constructor.
- CParser(CParserTokenManager) - Constructor for class imop.parser.FrontEnd.CParser
-
Constructor with generated Token Manager.
- CParserConstants - Interface in imop.parser
-
Token literal values and constants.
- CParserTokenManager - Class in imop.parser
-
Token Manager.
- CParserTokenManager(SimpleCharStream) - Constructor for class imop.parser.CParserTokenManager
-
Constructor.
- CParserTokenManager(SimpleCharStream, int) - Constructor for class imop.parser.CParserTokenManager
-
Constructor.
- Cpp - Static variable in interface imop.parser.CParserConstants
-
Lexical state.
- create(TypeOfCFG) - Method in class imop.lib.cfg.DotGraphGenerator
-
- createDataFlowGraph() - Static method in class imop.lib.util.Misc
-
Creates the inter-task data-flow edges among DummyFlushDirective.
- createEdgeBetween(DummyFlushDirective, DummyFlushDirective) - Static method in class imop.lib.cfg.parallel.DataFlowGraph
-
- createInterTaskEdgeBetween(DummyFlushDirective, DummyFlushDirective) - Static method in class imop.lib.cfg.parallel.DataFlowGraph
-
Creates a pair of inter-task edges between n1 and n2.
- CRITICAL - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- CriticalBeginLink - Class in imop.lib.cfg.link.node
-
- CriticalBeginLink(CriticalConstruct, BeginNode) - Constructor for class imop.lib.cfg.link.node.CriticalBeginLink
-
- CriticalBodyLink - Class in imop.lib.cfg.link.node
-
- CriticalBodyLink(CriticalConstruct, Statement) - Constructor for class imop.lib.cfg.link.node.CriticalBodyLink
-
- CriticalConstruct - Class in imop.ast.node.external
-
Grammar production:
f0 ::= OmpPragma()
f1 ::=
f2 ::= ( RegionPhrase() )?
f3 ::= OmpEol()
f4 ::= Statement()
- CriticalConstruct(OmpPragma, NodeToken, NodeOptional, OmpEol, Statement) - Constructor for class imop.ast.node.external.CriticalConstruct
-
- CriticalConstruct(OmpPragma, NodeOptional, OmpEol, Statement) - Constructor for class imop.ast.node.external.CriticalConstruct
-
- CriticalConstruct() - Method in class imop.parser.FrontEnd.CParser
-
- CriticalConstructCFGInfo - Class in imop.lib.cfg.info
-
- CriticalConstructCFGInfo(Node) - Constructor for class imop.lib.cfg.info.CriticalConstructCFGInfo
-
- CriticalConstructInfo - Class in imop.ast.info.cfgNodeInfo
-
- CriticalConstructInfo(Node) - Constructor for class imop.ast.info.cfgNodeInfo.CriticalConstructInfo
-
- CriticalEndLink - Class in imop.lib.cfg.link.node
-
- CriticalEndLink(CriticalConstruct, EndNode) - Constructor for class imop.lib.cfg.link.node.CriticalEndLink
-
- CriticalLock - Class in imop.lib.analysis.mhp.lock
-
- CriticalLock(String) - Constructor for class imop.lib.analysis.mhp.lock.CriticalLock
-
- CROSSBAR - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- crudeAddLabelAnnotation(Label) - Method in class imop.ast.info.StatementInfo
-
Adds a labeled annotation to the owner statement.
- crudeAddLabelAnnotation(int, Label) - Method in class imop.ast.info.StatementInfo
-
Adds a labeled annotation to the owner statement at the specified index.
- crudeAddNode(Node) - Method in class imop.lib.analysis.mhp.Phase
-
Deprecated.
- crudeDuplicateASTNode(Node) - Static method in class imop.lib.builder.Builder
-
- crudeGetPhaseSet() - Method in class imop.ast.info.NodePhaseInfo
-
Deprecated.
- crudeInsertNewAfterBase(Node, Node) - Static method in class imop.lib.transform.BasicTransform
-
- crudeInsertNewBeforeBase(Node, Node) - Static method in class imop.lib.transform.BasicTransform
-
- CrudeNodeReplacer(T, T) - Constructor for class imop.lib.transform.CrudeReplaceNode.CrudeNodeReplacer
-
- crudeRemoveNode(Node) - Method in class imop.lib.analysis.mhp.Phase
-
Deprecated.
- crudeReplaceBaseWithNew(Node, Node) - Static method in class imop.lib.transform.BasicTransform
-
- CrudeReplaceNode - Class in imop.lib.transform
-
- CrudeReplaceNode() - Constructor for class imop.lib.transform.CrudeReplaceNode
-
- CrudeReplaceNode.CrudeNodeReplacer - Class in imop.lib.transform
-
- crudeReplaceOldWithNew(T, T) - Static method in class imop.lib.transform.BasicTransform
-
Replaces a node in the AST with some other node, without changing
anything else.
- crudeSetPhaseSet(HashSet<Phase>) - Method in class imop.ast.info.NodePhaseInfo
-
- crudeSwapBaseWithNew(Node, Node) - Static method in class imop.lib.transform.BasicTransform
-
Assuming m occurs before (not necessarily immediately)
n in list, this method swaps the nodes
m
and n.
- CSIGNED - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- CSIGNED2 - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- curChar - Variable in class imop.parser.CParserTokenManager
-
- curLexState - Variable in class imop.parser.CParserTokenManager
-
- currentToken - Variable in exception imop.parser.ParseException
-
This is the last token that has been consumed successfully.