net.sf.bddbddb.ir
Class Operation

java.lang.Object
  extended by net.sf.bddbddb.ir.Operation
All Implemented Interfaces:
IterationElement
Direct Known Subclasses:
BooleanAssign, DynamicOperation, GenConstant, HighLevelOperation, If, LowLevelOperation, PartialRedundancy.Phi

public abstract class Operation
extends java.lang.Object
implements IterationElement

Operation

Version:
$Id: Operation.java 522 2005-04-29 02:34:44Z joewhaley $
Author:
jwhaley

Field Summary
 int id
          Unique ID number for this operation.
static boolean TRACE_VERBOSE
          Boolean for verbose tracing of operations
 
Constructor Summary
Operation()
           
 
Method Summary
abstract  Operation copy()
           
abstract  java.lang.String getExpressionString()
           
static int getNumberOfOperations()
           
abstract  Relation getRelationDest()
           
static java.lang.String getRenames(BDDRelation r1, BDDRelation r2)
           
abstract  java.util.List getSrcs()
           
abstract  void replaceSrc(Relation r_old, Relation r_new)
           
abstract  void setRelationDest(Relation r0)
           
abstract  java.lang.String toString()
           
abstract  java.lang.Object visit(OperationVisitor i)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

TRACE_VERBOSE

public static boolean TRACE_VERBOSE
Boolean for verbose tracing of operations


id

public final int id
Unique ID number for this operation.

Constructor Detail

Operation

public Operation()
Method Detail

getNumberOfOperations

public static int getNumberOfOperations()
Returns:
the number of operations generated so far

visit

public abstract java.lang.Object visit(OperationVisitor i)
Parameters:
i -
Returns:
the result of the visit

toString

public abstract java.lang.String toString()
Overrides:
toString in class java.lang.Object

getRelationDest

public abstract Relation getRelationDest()
Returns:
the destination relation of this operation, or null

setRelationDest

public abstract void setRelationDest(Relation r0)
Parameters:
r0 -

getSrcs

public abstract java.util.List getSrcs()
Returns:
the source relation of this operation

replaceSrc

public abstract void replaceSrc(Relation r_old,
                                Relation r_new)
Parameters:
r_old -
r_new -

getExpressionString

public abstract java.lang.String getExpressionString()
Returns:
the expression in string form

copy

public abstract Operation copy()

getRenames

public static java.lang.String getRenames(BDDRelation r1,
                                          BDDRelation r2)


Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.