gov.nasa.jpf.util

Class TypeSpec

java.lang.Object

gov.nasa.jpf.util.FeatureSpec

gov.nasa.jpf.util.TypeSpec

public class TypeSpec
extends FeatureSpec

wildcard supporting type specification to be used for JPF configuration. This supports supertype spec ('+') and inversion ('-') Examples: "x.y.Foo" : class x.y.Foo "+x.y.Foo" : everything that is an instance of x.y.Foo "x.y.*" : every class that starts with "x.y." "!x.y.*" : everything that does not start with "x.y."

Field Summary

Fields inherited from class gov.nasa.jpf.util.FeatureSpec

clsSpec, INVERTED, matchInverted, matchSuperTypes, nameSpec, src, SUB

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TypeSpec(String rawSpec, String cls, boolean inverted)

Method Summary

Methods

Modifier and Type	Method and Description
static TypeSpec	createTypeSpec(String s)
boolean	matches(ClassInfo ci)
boolean	matches(Object o)

Methods inherited from class gov.nasa.jpf.util.FeatureSpec

getClassSpec, getNameSpec, getSource, isMatchingType, matchSuperTypes, parseInversion, parseType, parseTypeAndName

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeSpec

protected TypeSpec(String rawSpec,
        String cls,
        boolean inverted)

Method Detail

createTypeSpec

public static TypeSpec createTypeSpec(String s)

matches

public boolean matches(Object o)

Specified by:

matches in class FeatureSpec

matches

public boolean matches(ClassInfo ci)