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
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
<2do> we should extend this to allow alternatives
Fields inherited from class gov.nasa.jpf.util.FeatureSpec