cetus.hir

Class InfExpression

java.lang.Object

cetus.hir.Expression

cetus.hir.InfExpression

All Implemented Interfaces:

Printable, Traversable, java.lang.Cloneable, java.lang.Comparable<Expression>

public class InfExpression
extends Expression

InfExpression represents a literal expression having a value greater than or less than any possible numbers. This class was introduced to express value range of an integer-typed variables.

Constructor Summary

Constructors

Constructor and Description
InfExpression(int sign) Constructs an inf expression with the specified sign.

Method Summary

Methods

Modifier and Type	Method and Description
InfExpression	clone() Returns a clone of the inf expression.
int	compareTo(Expression e)
static void	defaultPrint(InfExpression e, java.io.PrintWriter o) Prints the expression to the specified target.
boolean	equals(java.lang.Object o) Compares the expression with the specified object.
int	sign() Returns the sign of the infinity expression.
java.lang.String	toString() Returns a string representation of the expression

Methods inherited from class cetus.hir.Expression

findExpression, getChildren, getParent, getStatement, hashCode, needsParens, print, printSelf, removeChild, setChild, setParens, setParent, setPrintMethod, swapWith, verify

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

InfExpression

public InfExpression(int sign)

Constructs an inf expression with the specified sign.

Parameters:

sign - the sign of the infinity expression

Method Detail

clone

public InfExpression clone()

Returns a clone of the inf expression.

Overrides:

clone in class Expression

Returns:

a deep copy of this expression.

defaultPrint

public static void defaultPrint(InfExpression e,
                java.io.PrintWriter o)

Prints the expression to the specified target.

Parameters:

e - the expression to print.

o - the writer on which to print the expression.

toString

public java.lang.String toString()

Description copied from class: Expression

Returns a string representation of the expression

Overrides:

toString in class Expression

equals

public boolean equals(java.lang.Object o)

Compares the expression with the specified object.

Overrides:

equals in class Expression

Parameters:

o - the object to be compared with.

Returns:

true if o!=null, this.getClass()==o.getClass(), and this.children.equals(o.children) || this.children==o.children==null

compareTo

public int compareTo(Expression e)

Specified by:

compareTo in interface java.lang.Comparable<Expression>

Overrides:

compareTo in class Expression

sign

public int sign()

Returns the sign of the infinity expression.