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

CodeConstraint Interface Reference

List of all members.

Public Methods

boolean checkCode (InstructionHandle[] match)
boolean checkCode (InstructionHandle[] match)

Detailed Description

Code patterns found with the FindPattern class may receive an additional CodeConstraint argument that checks the found piece of code for user-defined constraints. I.e. FindPattern.search() returns the matching code if and only if CodeConstraint.checkCode() returns true.

Version:
Id:
CodeConstraint.java,v 1.1.1.1 2002/01/24 03:44:04 pserver Exp
Author:
M. Dahm
See also:
FindPattern

Definition at line 13 of file lib/jpf/de/fub/bytecode/generic/CodeConstraint.java.


Member Function Documentation

boolean CodeConstraint::checkCode InstructionHandle   match[]
 

Parameters:
match   array of instructions matching the requested pattern

boolean CodeConstraint::checkCode InstructionHandle   match[]
 

Parameters:
match   array of instructions matching the requested pattern

Referenced by FindPattern::search().


The documentation for this interface was generated from the following files:
Generated at Thu Feb 7 07:06:51 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001