gov.nasa.jpf.util

Class FeatureSpec

java.lang.Object

gov.nasa.jpf.util.FeatureSpec

Direct Known Subclasses:

FieldSpec, MethodSpec, TypeSpec

public abstract class FeatureSpec
extends java.lang.Object

common base class for MethodSpec and FieldSpec

Field Summary

Fields

Modifier and Type	Field and Description
protected StringMatcher	clsSpec
protected static char	INVERTED
protected boolean	matchInverted
protected boolean	matchSuperTypes
protected StringMatcher	nameSpec
protected java.lang.String	src
protected static char	SUB

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FeatureSpec(java.lang.String rawSpec, java.lang.String cls, java.lang.String name, boolean inverted)

Method Summary

Modifier and Type	Method and Description
StringMatcher	getClassSpec()
StringMatcher	getNameSpec()
java.lang.String	getSource()
boolean	isMatchingType(java.lang.Class cls)
boolean	isMatchingType(ClassInfo ci)
abstract boolean	matches(java.lang.Object feature)
boolean	matchSuperTypes()
protected static java.lang.String	parseInversion(java.lang.String s, gov.nasa.jpf.util.FeatureSpec.ParseData d)
protected static java.lang.String	parseType(java.lang.String s, gov.nasa.jpf.util.FeatureSpec.ParseData d)
protected static java.lang.String	parseTypeAndName(java.lang.String s, gov.nasa.jpf.util.FeatureSpec.ParseData d)

Methods inherited from class java.lang.Object

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

Field Detail

SUB

protected static final char SUB

See Also:

Constant Field Values

INVERTED

protected static final char INVERTED

See Also:

Constant Field Values

src

protected java.lang.String src

clsSpec

protected StringMatcher clsSpec

nameSpec

protected StringMatcher nameSpec

matchInverted

protected boolean matchInverted

matchSuperTypes

protected boolean matchSuperTypes

Constructor Detail

FeatureSpec

protected FeatureSpec(java.lang.String rawSpec,
                      java.lang.String cls,
                      java.lang.String name,
                      boolean inverted)

Method Detail

parseInversion

protected static java.lang.String parseInversion(java.lang.String s,
                                                 gov.nasa.jpf.util.FeatureSpec.ParseData d)

parseType

protected static java.lang.String parseType(java.lang.String s,
                                            gov.nasa.jpf.util.FeatureSpec.ParseData d)

parseTypeAndName

protected static java.lang.String parseTypeAndName(java.lang.String s,
                                                   gov.nasa.jpf.util.FeatureSpec.ParseData d)

getSource

public java.lang.String getSource()

getClassSpec

public StringMatcher getClassSpec()

getNameSpec

public StringMatcher getNameSpec()

matchSuperTypes

public boolean matchSuperTypes()

isMatchingType

public boolean isMatchingType(java.lang.Class cls)

isMatchingType

public boolean isMatchingType(ClassInfo ci)

matches

public abstract boolean matches(java.lang.Object feature)