View Javadoc

1   // OperationVisitor.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.DynamicOperationVisitor;
7   import net.sf.bddbddb.ir.highlevel.HighLevelOperationVisitor;
8   import net.sf.bddbddb.ir.lowlevel.LowLevelOperationVisitor;
9   
10  /***
11   * OperationVisitor
12   * 
13   * @author John Whaley
14   * @version $Id: OperationVisitor.java 328 2004-10-16 02:45:30Z joewhaley $
15   */
16  public interface OperationVisitor extends HighLevelOperationVisitor, LowLevelOperationVisitor, DynamicOperationVisitor {
17  }