- warnDueToLackOfFeature(String, Node) - Static method in class imop.lib.util.Misc
-
Throws a warning message that a certain feature has not been implemented,
- WHILE - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- WhileBeginLink - Class in imop.lib.cfg.link.node
-
- WhileBeginLink(WhileStatement, BeginNode) - Constructor for class imop.lib.cfg.link.node.WhileBeginLink
-
- WhileBodyLink - Class in imop.lib.cfg.link.node
-
- WhileBodyLink(WhileStatement, Statement) - Constructor for class imop.lib.cfg.link.node.WhileBodyLink
-
- WhileEndLink - Class in imop.lib.cfg.link.node
-
- WhileEndLink(WhileStatement, EndNode) - Constructor for class imop.lib.cfg.link.node.WhileEndLink
-
- WhilePredicateLink - Class in imop.lib.cfg.link.node
-
- WhilePredicateLink(WhileStatement, Expression) - Constructor for class imop.lib.cfg.link.node.WhilePredicateLink
-
- WhileStatement - Class in imop.ast.node.external
-
Grammar production:
f0 ::=
f1 ::= "("
f2 ::= Expression()
f3 ::= ")"
f4 ::= Statement()
- WhileStatement(NodeToken, NodeToken, Expression, NodeToken, Statement) - Constructor for class imop.ast.node.external.WhileStatement
-
- WhileStatement(Expression, Statement) - Constructor for class imop.ast.node.external.WhileStatement
-
- WhileStatement() - Method in class imop.parser.FrontEnd.CParser
-
- WhileStatementCFGInfo - Class in imop.lib.cfg.info
-
- WhileStatementCFGInfo(Node) - Constructor for class imop.lib.cfg.info.WhileStatementCFGInfo
-
- WhileStatementInfo - Class in imop.ast.info.cfgNodeInfo
-
- WhileStatementInfo(Node) - Constructor for class imop.ast.info.cfgNodeInfo.WhileStatementInfo
-
- WRITE - Static variable in interface imop.parser.CParserConstants
-
RegularExpression Id.
- writeList - Variable in class imop.ast.info.NodeInfo
-
Set of all the Cells that may be written in the execution of this node
(and the called methods, if any).
- writeToParameter(ParameterDeclaration, SimplePrimaryExpression, F) - Method in class imop.lib.analysis.dataflow.generic.InterThreadBackwardIDFA
-
Given a parameter-declaration parameter, and a
simple-primary-expression argument that represents the argument
for this parameter from some call-site, this method should model the
flow-function of the write to the parameter that happens implicitly.
- writeToParameter(ParameterDeclaration, SimplePrimaryExpression, F) - Method in class imop.lib.analysis.dataflow.generic.InterThreadForwardIDFA
-
Given a parameter-declaration parameter, and a
simple-primary-expression argument that represents the argument
for this parameter from some call-site, this method should model the
flow-function of the write to the parameter that happens implicitly.
- writeToParameter(ParameterDeclaration, SimplePrimaryExpression, DataDependenceBackward.DataDependenceBackwardFF) - Method in class imop.lib.analysis.dataflow.interprocedural.DataDependenceBackward
-
- writeToParameter(ParameterDeclaration, SimplePrimaryExpression, DataDependenceForward.DataDependenceForwardFF) - Method in class imop.lib.analysis.dataflow.interprocedural.DataDependenceForward
-
- writeToParameter(ParameterDeclaration, SimplePrimaryExpression, LivenessAnalysis.LivenessFlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.LivenessAnalysis
-
- writeToParameter(ParameterDeclaration, SimplePrimaryExpression, LockSetAnalysis.LockFlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.LockSetAnalysis
-
- writeToParameter(ParameterDeclaration, SimplePrimaryExpression, ReachingDefinitionAnalysis.ReachingDefinitionFlowFact) - Method in class imop.lib.analysis.dataflow.interprocedural.ReachingDefinitionAnalysis
-
- writtenCells - Variable in class imop.ast.node.internal.DummyFlushDirective
-