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 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 String	src
protected static char	SUB

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
StringMatcher	getClassSpec()
StringMatcher	getNameSpec()
String	getSource()
boolean	isMatchingType(ClassInfo ci)
abstract boolean	matches(Object feature)
boolean	matchSuperTypes()
protected static String	parseInversion(String s, gov.nasa.jpf.util.FeatureSpec.ParseData d)
protected static String	parseType(String s, gov.nasa.jpf.util.FeatureSpec.ParseData d)
protected static String	parseTypeAndName(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 String src

clsSpec

protected StringMatcher clsSpec

nameSpec

protected StringMatcher nameSpec

matchInverted

protected boolean matchInverted

matchSuperTypes

protected boolean matchSuperTypes

Constructor Detail

FeatureSpec

protected FeatureSpec(String rawSpec,
           String cls,
           String name,
           boolean inverted)

Method Detail

parseInversion

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

parseType

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

parseTypeAndName

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

getSource

public String getSource()

getClassSpec

public StringMatcher getClassSpec()

getNameSpec

public StringMatcher getNameSpec()

matchSuperTypes

public boolean matchSuperTypes()

isMatchingType

public boolean isMatchingType(ClassInfo ci)

matches

public abstract boolean matches(Object feature)