View Javadoc

1   // DynamicOperationVisitor.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.dynamic;
5   
6   /***
7    * DynamicOperationVisitor
8    * 
9    * @author John Whaley
10   * @version $Id: DynamicOperationVisitor.java 328 2004-10-16 02:45:30Z joewhaley $
11   */
12  public interface DynamicOperationVisitor {
13      /***
14       * @param op
15       * @return  the result
16       */
17      public abstract Object visit(If op);
18  
19      /***
20       * @param op
21       * @return  the result
22       */
23      public abstract Object visit(Nop op);
24  }