net.sf.bddbddb.ir.dynamic
Class If

java.lang.Object
  net.sf.bddbddb.ir.Operation
      net.sf.bddbddb.ir.dynamic.If

All Implemented Interfaces:

IterationElement

public class If
extends Operation

If

Version:

$Id: If.java 328 2004-10-16 02:45:30Z joewhaley $

Author:

John Whaley

Field Summary

Fields inherited from class net.sf.bddbddb.ir.Operation

id, TRACE_VERBOSE

Constructor Summary

If(IRBoolean bool, IterationList block)

Method Summary

Operation	copy()
IterationList	getBlock()
IRBoolean	getBoolSrc()
java.lang.String	getExpressionString()
Relation	getRelationDest()
java.util.List	getSrcs()
void	replaceSrc(Relation r_old, Relation r_new)
void	setRelationDest(Relation r0)
java.lang.String	toString()
java.lang.Object	visit(DynamicOperationVisitor i)
java.lang.Object	visit(OperationVisitor i)

Methods inherited from class net.sf.bddbddb.ir.Operation

getNumberOfOperations, getRenames

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

If

public If(IRBoolean bool,
          IterationList block)

Method Detail

visit

public java.lang.Object visit(DynamicOperationVisitor i)

visit

public java.lang.Object visit(OperationVisitor i)

Specified by:

visit in class Operation

Returns:

the result of the visit

toString

public java.lang.String toString()

Specified by:

toString in class Operation

getRelationDest

public Relation getRelationDest()

Specified by:

getRelationDest in class Operation

Returns:

the destination relation of this operation, or null

getSrcs

public java.util.List getSrcs()

Specified by:

getSrcs in class Operation

Returns:

the source relation of this operation

getBoolSrc

public IRBoolean getBoolSrc()

getExpressionString

public java.lang.String getExpressionString()

Specified by:

getExpressionString in class Operation

Returns:

the expression in string form

getBlock

public IterationList getBlock()

Returns:

the target block

copy

public Operation copy()

Specified by:

copy in class Operation

replaceSrc

public void replaceSrc(Relation r_old,
                       Relation r_new)

Specified by:

replaceSrc in class Operation

setRelationDest

public void setRelationDest(Relation r0)

Specified by:

setRelationDest in class Operation