gov.nasa.jpf.util

Class FieldSpec

java.lang.Object

gov.nasa.jpf.util.FeatureSpec

gov.nasa.jpf.util.FieldSpec

public class FieldSpec
extends FeatureSpec

utility class that can match FieldInfos against specs. if the class or name part are omitted, "*" is assumed a preceeding '!' means the match is inverted spec examples "x.y.Foo.bar : field 'bar' in class 'x.y.Foo' "x.y.Foo+.bar : all 'bar' fields in 'x.y.Foo' and all its supertypes "x.y.Foo.*" : all fields of x.y.Foo "*.myData" : all fields names 'myData' "!x.y.*" : all fields of types outside types in package x.y

Field Summary

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

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

Constructor Summary

Constructors

Constructor and Description
FieldSpec(java.lang.String rawSpec, java.lang.String cls, java.lang.String name, boolean inverted)

Method Summary

Modifier and Type	Method and Description
static FieldSpec	createFieldSpec(java.lang.String s) factory method that includes the parser
boolean	matches(FieldInfo fi)
boolean	matches(java.lang.Object feature)
java.lang.String	toString()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FieldSpec

public FieldSpec(java.lang.String rawSpec,
                 java.lang.String cls,
                 java.lang.String name,
                 boolean inverted)

Method Detail

createFieldSpec

public static FieldSpec createFieldSpec(java.lang.String s)

factory method that includes the parser

matches

public boolean matches(java.lang.Object feature)

Specified by:

matches in class FeatureSpec

matches

public boolean matches(FieldInfo fi)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object