Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

CodeConstraint.java

00001 package de.fub.bytecode.generic;
00002 
00003 /**
00004  * Code patterns found with the FindPattern class may receive an additional
00005  * CodeConstraint argument that checks the found piece of code for user-defined
00006  * constraints. I.e. FindPattern.search() returns the matching code if and
00007  * only if CodeConstraint.checkCode() returns true.
00008  *
00009  * @version $Id: CodeConstraint.java,v 1.1.1.1 2002/01/24 03:41:38 pserver Exp $
00010  * @author  <A HREF="http://www.inf.fu-berlin.de/~dahm">M. Dahm</A>
00011  * @see FindPattern
00012  */
00013 public interface CodeConstraint {
00014   /**
00015    * @param match array of instructions matching the requested pattern
00016    */
00017   public boolean checkCode(InstructionHandle[] match);  
00018 }

Generated at Thu Feb 7 06:42:36 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001