gov.nasa.jpf.util

Class FieldSpecMatcher

java.lang.Object

gov.nasa.jpf.util.FieldSpecMatcher

public class FieldSpecMatcher
extends java.lang.Object

a matcher for a collection of FieldSpecs

Field Summary

Fields

Modifier and Type	Field and Description
protected FieldSpec[]	fieldSpecs

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static FieldSpecMatcher	create(java.lang.String[] specs)
boolean	matches(FieldInfo fi)

Methods inherited from class java.lang.Object

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

Field Detail

fieldSpecs

protected FieldSpec[] fieldSpecs

Constructor Detail

FieldSpecMatcher

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

Method Detail

create

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

matches

public boolean matches(FieldInfo fi)