View Javadoc

1   // HighLevelInterpreter.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   /***
7    * HighLevelInterpreter
8    * 
9    * @author jwhaley
10   * @version $Id: HighLevelInterpreter.java 328 2004-10-16 02:45:30Z joewhaley $
11   */
12  public interface HighLevelInterpreter extends HighLevelOperationVisitor {
13  }