cetus.hir

Class IfStatement

java.lang.Object

cetus.hir.Statement

cetus.hir.IfStatement

All Implemented Interfaces:

Annotatable, Printable, Traversable, java.lang.Cloneable

public class IfStatement
extends Statement

Represents a if statement in C programs.

Constructor Summary

Constructors

Constructor and Description
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.

Method Summary

Methods

Modifier and Type	Method and Description
IfStatement	clone() Returns a clone of the if statement.
static void	defaultPrint(IfStatement s, java.io.PrintWriter o) Prints an if statement to a stream.
Expression	getControlExpression() Returns the expression used as a branch condition.
Statement	getElseStatement() Returns the false clause of the if statement.
Statement	getThenStatement() Returns the then clause of the if statement.
static void	setClassPrintMethod(java.lang.reflect.Method m) Overrides the class print method, so that all subsequently created objects will use the supplied method.
void	setControlExpression(Expression cond) Sets the condition expression with the specified new condition.
void	setElseStatement(Statement stmt) Sets the else clause with the specified new statement.
void	setThenStatement(Statement stmt) Sets the then clause with the specified new statement.

Methods inherited from class cetus.hir.Statement

annotate, annotateAfter, annotateBefore, containsAnnotation, detach, equals, getAnnotation, getAnnotations, getAnnotations, getAnnotations, getChildren, getParent, getProcedure, hashCode, print, removeAnnotations, removeAnnotations, removeChild, setChild, setLineNumber, setParent, setPrintMethod, swapWith, toString, verify, where

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IfStatement

public IfStatement(Expression condition,
           Statement true_clause)

Create an if statement that has no else clause. Any true_clause that is not a compound statement is normalized to a compound statement.

Parameters:

condition - The condition tested by the statement.

true_clause - The code to execute if the condition is true.

Throws:

java.lang.IllegalArgumentException - if condition or true_clause is null.

NotAnOrphanException - if condition or true_clause has a parent.

IfStatement

public IfStatement(Expression condition,
           Statement true_clause,
           Statement false_clause)

Create an if statement that has an else clause. true_clause and false_clause are normalized to compound statements.

Parameters:

condition - The condition tested by the statement.

true_clause - The code to execute if the condition is true.

false_clause - The code to execute if the condition is false.

Throws:

java.lang.IllegalArgumentException - if condition, true_clause, or false_clause is null.

NotAnOrphanException - if condition, true_clause, or false_clause has a parent.

Method Detail

defaultPrint

public static void defaultPrint(IfStatement s,
                java.io.PrintWriter o)

Prints an if statement to a stream.

Parameters:

s - The statement to print.

o - The wirter on which to print the statement.

getControlExpression

public Expression getControlExpression()

Returns the expression used as a branch condition.

setControlExpression

public void setControlExpression(Expression cond)

Sets the condition expression with the specified new condition.

Parameters:

cond - the new condition expression.

Throws:

java.lang.IllegalArgumentException - if cond is null.

NotAnOrphanException - if cond has a parent.

getThenStatement

public Statement getThenStatement()

Returns the then clause of the if statement.

setThenStatement

public void setThenStatement(Statement stmt)

Sets the then clause with the specified new statement. stmt is normalized to a compound statement.

Parameters:

stmt - the new statement for the then clause.

Throws:

java.lang.IllegalArgumentException - if stmt is null.

NotAnOrphanException - if stmt has a parent.

getElseStatement

public Statement getElseStatement()

Returns the false clause of the if statement.

Returns:

the false clause or null (if it does not exist).

setElseStatement

public void setElseStatement(Statement stmt)

Sets the else clause with the specified new statement. stmt is normalized to a compound statement.

Parameters:

stmt - the new statement for the else clause.

Throws:

java.lang.IllegalArgumentException - if stmt is null.

NotAnOrphanException - if stmt has a parent.

setClassPrintMethod

public static void setClassPrintMethod(java.lang.reflect.Method m)

Overrides the class print method, so that all subsequently created objects will use the supplied method.

Parameters:

m - The new print method.

clone

public IfStatement clone()

Returns a clone of the if statement.

Overrides:

clone in class Statement