View Javadoc

1   // OperationInterpreter.java, created Jul 3, 2004 11:50:51 PM by joewhaley
2   // Copyright (C) 2004 John Whaley <jwhaley@alum.mit.edu>
3   // Licensed under the terms of the GNU LGPL; see COPYING for details.
4   package net.sf.bddbddb.ir;
5   
6   import net.sf.bddbddb.ir.dynamic.DynamicInterpreter;
7   import net.sf.bddbddb.ir.highlevel.HighLevelInterpreter;
8   import net.sf.bddbddb.ir.lowlevel.LowLevelInterpreter;
9   
10  /***
11   * OperationInterpreter
12   * 
13   * @author John Whaley
14   * @version $Id: OperationInterpreter.java 328 2004-10-16 02:45:30Z joewhaley $
15   */
16  public interface OperationInterpreter extends OperationVisitor, HighLevelInterpreter, LowLevelInterpreter, DynamicInterpreter {
17  }