Uses of Class
cetus.hir.Statement

Packages that use Statement

Package	Description
cetus.analysis
cetus.application
cetus.base.grammars
cetus.hir

Uses of Statement in cetus.analysis

Methods in cetus.analysis that return Statement

Modifier and Type	Method and Description
Statement	IPPointsToAnalysis.AbstractLocation.getAllocSite() Returns the associated statement for the abstract location.
Statement	CallGraph.Caller.getCallSite()
Statement	DDArrayAccessInfo.getParentStatement() Returns the statement that contains the array access
Statement	DDGraph.Arc.getSinkStatement()
Statement	DDGraph.Arc.getSourceStatement()
Statement	CallSite.getStatement() Returns the statement containing the function call.

Methods in cetus.analysis that return types with arguments of type Statement

Modifier and Type	Method and Description
java.util.Map<Statement,RangeDomain>	RangeAnalysis.getRangeMap(Procedure proc) Performs range analysis for the procedure and returns the result.
static java.util.Map<Statement,RangeDomain>	RangeAnalysis.getRanges(SymbolTable symtab) Returns a range map created for the symbol table object.
static java.util.Map<Statement,RangeDomain>	RangeAnalysis.getRanges(SymbolTable symtab, int temporal_option) Enforces use of the specified option for computing the ranges

Methods in cetus.analysis with parameters of type Statement

Modifier and Type	Method and Description
void	CallGraph.Node.addCaller(Statement stmt)
java.util.Map<java.lang.String,java.util.Set<Expression>>	Reduction.analyzeStatement(Statement istmt)
java.util.Map<java.lang.String,java.util.Set<Expression>>	Reduction.analyzeStatement2(Statement istmt) Reduction recognition on OpenMP critical sections including ForLoop, CompoundStatement, and a Statement.
java.util.Set	AliasAnalysis.get_alias_set(Statement cur_stmt, Symbol symbol) Returns the alias set for the given input symbol, which includes the input symbol itself.
java.util.ArrayList<DDGraph.Arc>	DDGraph.getDependences(Statement stmt1, Statement stmt2) Obtain all possible dependence information between a pair of statements in a given loop
static IPPointsToAnalysis.AbstractLocation	IPPointsToAnalysis.AbstractLocation.getLocation(Expression e, Statement s) Returns an abstract locations represented by the given expression e and the statement s.
static java.lang.String	LoopTools.getLoopName(Statement loop) Returns the loop name inserted by Cetus.
static Domain	IPPointsToAnalysis.getPointsToRelations(Statement stmt) Returns points-to relations for the given statement.
static RangeDomain	RangeAnalysis.getRangeDomain(Statement stmt) Returns a range domain for the given statement.
boolean	AliasAnalysis.isAliased(Statement stmt, Symbol a, java.util.Set<Symbol> bset) Returns true if the given Symbol, a, is aliased to any symbol in the set of Symbols, bset.
boolean	AliasAnalysis.isAliased(Statement stmt, Symbol a, Symbol b) Returns true if Symbol a is aliased to Symbol b at the given statement.
static RangeDomain	RangeAnalysis.query(Statement stmt) Returns a range domain associated with the specified statement.

Method parameters in cetus.analysis with type arguments of type Statement

Modifier and Type	Method and Description
static java.lang.String	RangeAnalysis.toPrettyRanges(Traversable t, java.util.Map<Statement,RangeDomain> ranges, java.lang.Integer indent) Returns the range map in a pretty format.

Constructors in cetus.analysis with parameters of type Statement

Constructor and Description
CallGraph.Caller(Statement l_stmt)
DDArrayAccessInfo(ArrayAccess expr, int type, Loop loop, Statement stmt) Constructs a new array access information for the specified array access, access type, enclosing loop, and enclosing statement.
SubscriptPair(Expression s1, Expression s2, Statement st1, Statement st2, java.util.LinkedList<Loop> nest, java.util.HashMap<Loop,LoopInfo> loopinfo) Constructs a new subscript pair with the given pairs of expressions, statements, and the loop nest information.

Uses of Statement in cetus.application

Methods in cetus.application with parameters of type Statement

Modifier and Type	Method and Description
static void	ChainTools.setKillBitForAlias(DFANode cfgNode, AnalysisTarget[] defMapEntry, Expression currentEx, Statement currentStmt, Procedure proc)

Uses of Statement in cetus.base.grammars

Methods in cetus.base.grammars that return Statement

Modifier and Type	Method and Description
Statement	NewCParser.statement()

Uses of Statement in cetus.hir

Subclasses of Statement in cetus.hir

Modifier and Type	Class and Description
class	AnnotationStatement AnnotationStatement is used for stand-alone annotations in executable code section, e.g., in a CompoundStatement.
class	BreakStatement Represents a break statement: break ';'
class	Case Represents a case for use with switch.
class	CompoundStatement CompoundStatement represents a group of statements that are treated as a single statement.
class	ContinueStatement Represents a continue statement: continue ';'
class	DeclarationStatement Represents a statement that contains a declaration as the only child, and appears within a compound statement.
class	Default Represents a default for use with switch.
class	DoLoop DoLoop represents a C-style do-while loop.
class	ExceptionHandler Represents an exception handling block (try-catch-finally block) in a C++ or Java program.
class	ExpressionStatement A statement with the purpose of evaluating an expression for a side effect.
class	ForLoop ForLoop represents a C-style for loop, typically having an initial statement, a condition expression, and a step expression.
class	GotoStatement Represents a goto statement having a target label.
class	IfStatement Represents a if statement in C programs.
class	Label Represents a label for use with goto statements.
class	NullStatement Represents an empty statement.
class	ReturnStatement Represents a return statement within a procedure.
class	SwitchStatement Represents a switch statement in C programs.
class	WhileLoop WhileLoop represents a while loop having a condition expression and a loop body.

Methods in cetus.hir with type parameters of type Statement

Modifier and Type	Method and Description
static <T extends Statement> java.util.List<T>	Tools.getStatementsOfType(Traversable t, java.lang.Class<T> type) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static <T extends Statement> java.util.List<T>	IRTools.getStatementsOfType(Traversable t, java.lang.Class<T> type) Returns a list of statements having the specified type in the given traversable object.

Methods in cetus.hir that return Statement

Modifier and Type	Method and Description
Statement	Statement.clone() Returns a clone of the statement
Statement	WhileLoop.getBody()
Statement	Loop.getBody() Returns the statement that is the body of the loop.
Statement	ForLoop.getBody()
Statement	DoLoop.getBody()
Statement	IfStatement.getElseStatement() Returns the false clause of the if statement.
static Statement	Tools.getFirstNonDeclarationStatement(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Statement	IRTools.getFirstNonDeclarationStatement(Traversable t) Returns the first non-DeclarationStatement of the given traverable object.
Statement	ForLoop.getInitialStatement() Returns the initial statement of the for loop allowing null.
Statement	Expression.getStatement() Get the parent Statement containing this Expression.
Statement	IfStatement.getThenStatement() Returns the then clause of the if statement.

Methods in cetus.hir that return types with arguments of type Statement

Modifier and Type	Method and Description
static java.util.List<Statement>	Tools.getLastStatements(Procedure proc) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.List<Statement>	IRTools.getLastStatements(Procedure proc) Returns a list of the last Statements to be evaluated in the Procedure.

Methods in cetus.hir with parameters of type Statement

Modifier and Type	Method and Description
void	CompoundStatement.addStatement(Statement stmt) Adds a statement to the end of this compound statement.
void	CompoundStatement.addStatementAfter(Statement ref_stmt, Statement new_stmt) Add a new statement after the reference statement.
void	CompoundStatement.addStatementBefore(Statement ref_stmt, Statement new_stmt) Add a new statement before the reference statement.
void	CompoundStatement.removeStatement(Statement stmt) Remove the given statement if it exists.
void	WhileLoop.setBody(Statement body) Sets the body statement with the given statement body.
void	ForLoop.setBody(Statement body) Sets the body statement of the loop with the given statement body.
void	DoLoop.setBody(Statement body) Sets the body statement with the given statement.
void	IfStatement.setElseStatement(Statement stmt) Sets the else clause with the specified new statement.
void	ForLoop.setInitialStatement(Statement stmt) Sets the initial statement with the given statement stmt.
void	IfStatement.setThenStatement(Statement stmt) Sets the then clause with the specified new statement.
void	Statement.swapWith(Statement stmt) Swaps two statements on the IR tree.

Constructors in cetus.hir with parameters of type Statement

Constructor and Description
DoLoop(Statement body, Expression condition) Constructs a new do loop with the given body statement and the condition expression.
ForLoop(Statement init, Expression condition, Expression step, Statement body) Constructs a new for loop with the given initial expression init, the condition expression condition, the step expression step, and the body statement body.
IfStatement(Expression condition, Statement true_clause) Create an if statement that has no else clause.
IfStatement(Expression condition, Statement true_clause, Statement false_clause) Create an if statement that has an else clause.
WhileLoop(Expression condition, Statement body) Constructs a new while loop with the given condition expression condition and the loop body body.