View Javadoc

1   // HighLevelOperation.java, created Jun 29, 2004 12:50:19 PM 2004 by jwhaley
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.highlevel;
5   
6   import net.sf.bddbddb.ir.Operation;
7   import net.sf.bddbddb.ir.OperationVisitor;
8   
9   /***
10   * HighLevelOperation
11   * 
12   * @author John Whaley
13   * @version $Id: HighLevelOperation.java 328 2004-10-16 02:45:30Z joewhaley $
14   */
15  public abstract class HighLevelOperation extends Operation {
16      /***
17       * @param i  the visitor
18       * @return  the result from the visitor
19       */
20      public Object visit(OperationVisitor i) {
21          return visit((HighLevelOperationVisitor) i);
22      }
23  
24      /***
25       * @param i  the visitor
26       * @return  the result from the visitor
27       */
28      public abstract Object visit(HighLevelOperationVisitor i);
29  }