gov.nasa.jpf.util

Class MethodSpec

java.lang.Object

gov.nasa.jpf.util.FeatureSpec

gov.nasa.jpf.util.MethodSpec

public class MethodSpec
extends FeatureSpec

utility class that can match methods/args against specs. argument signatures can be given in dot notation (like javap), arguments can be marked with a preceeding '^' if the class or name part are omitted, "*" is assumed a preceeding '!' means the match is inverted spec examples "x.y.Foo.*" "java.util.HashMap.add(java.lang.Object,^java.lang.Object)" "*.*(x.y.MyClass)" Note: with a single '*' we can't tell if this is for the typename or the method, so something like "java.*" is probably not doing what you expect - it uses the wildcard for the method and 'java' for the type <2do> we should extend this to allow alternatives

Field Summary

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static MethodSpec	createMethodSpec(java.lang.String s) factory method that includes the parser
java.util.BitSet	getMarkedArgs()
boolean	isMarkedArg(int idx)
boolean	matches(MethodInfo mi)
boolean	matches(java.lang.Object feature)
boolean	matches(java.lang.String clsName, java.lang.String mthName)
boolean	matchesClass(java.lang.String clsName)
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

MethodSpec

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

Method Detail

createMethodSpec

public static MethodSpec createMethodSpec(java.lang.String s)

factory method that includes the parser

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getMarkedArgs

public java.util.BitSet getMarkedArgs()

isMarkedArg

public boolean isMarkedArg(int idx)

matches

public boolean matches(java.lang.Object feature)

Specified by:

matches in class FeatureSpec

matches

public boolean matches(MethodInfo mi)

matches

public boolean matches(java.lang.String clsName,
                       java.lang.String mthName)

matchesClass

public boolean matchesClass(java.lang.String clsName)