gov.nasa.jpf.util

Class MethodSpecMatcher

java.lang.Object

gov.nasa.jpf.util.MethodSpecMatcher

public class MethodSpecMatcher
extends java.lang.Object

a matcher for a collection of MethodSpecs

Field Summary

Fields

Modifier and Type	Field and Description
protected MethodSpec[]	methodSpecs

Constructor Summary

Constructors

Constructor and Description
MethodSpecMatcher(java.lang.String[] specs)

Method Summary

Modifier and Type	Method and Description
static MethodSpecMatcher	create(java.lang.String[] specs)
boolean	matches(MethodInfo mi)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

methodSpecs

protected MethodSpec[] methodSpecs

Constructor Detail

MethodSpecMatcher

public MethodSpecMatcher(java.lang.String[] specs)

Method Detail

create

public static MethodSpecMatcher create(java.lang.String[] specs)

matches

public boolean matches(MethodInfo mi)