net.sf.bddbddb.order
Class FilterTranslator

java.lang.Object
  extended by net.sf.bddbddb.order.FilterTranslator
All Implemented Interfaces:
OrderTranslator

public class FilterTranslator
extends java.lang.Object
implements OrderTranslator

FilterTranslator

Version:
$Id: FilterTranslator.java 446 2005-02-24 01:03:29Z cs343 $
Author:
jwhaley

Nested Class Summary
 
Nested classes/interfaces inherited from interface net.sf.bddbddb.order.OrderTranslator
OrderTranslator.Compose
 
Constructor Summary
FilterTranslator(java.util.Collection c)
           
 
Method Summary
 java.lang.String toString()
           
 Order translate(Order o)
          Translate the given order.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FilterTranslator

public FilterTranslator(java.util.Collection c)
Method Detail

translate

public Order translate(Order o)
Description copied from interface: OrderTranslator
Translate the given order. Always generates a new Order object, even if the order does not change.

Specified by:
translate in interface OrderTranslator
Parameters:
o - order
Returns:
translated order

toString

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


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