gov.nasa.jpf.util

Class TypeSpecMatcher

java.lang.Object

gov.nasa.jpf.util.TypeSpecMatcher

public class TypeSpecMatcher
extends java.lang.Object

a matcher for collections of TypeSpecs

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeSpec[]	mypeSpecs

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static TypeSpecMatcher	create(java.lang.String[] specs)
boolean	matches(java.lang.Class<?> cls)
boolean	matches(ClassInfo ci)

Methods inherited from class java.lang.Object

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

Field Detail

mypeSpecs

protected TypeSpec[] mypeSpecs

Constructor Detail

TypeSpecMatcher

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

Method Detail

create

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

matches

public boolean matches(java.lang.Class<?> cls)

matches

public boolean matches(ClassInfo ci)