edu.neu.ccs.jpf
Class JPFExtras.ConstructorSignature

java.lang.Object
  extended byedu.neu.ccs.jpf.JPFExtras.MemberSignature
      extended byedu.neu.ccs.jpf.JPFExtras.ParametrizedSignature
          extended byedu.neu.ccs.jpf.JPFExtras.ConstructorSignature
Enclosing class:
JPFExtras

public static class JPFExtras.ConstructorSignature
extends JPFExtras.ParametrizedSignature

Encapsulates constructor signature attributes.


Field Summary
 
Fields inherited from class edu.neu.ccs.jpf.JPFExtras.ParametrizedSignature
parameterNames, parameterTypes
 
Fields inherited from class edu.neu.ccs.jpf.JPFExtras.MemberSignature
isvalid, memberName, modifiers, originalData
 
Constructor Summary
JPFExtras.ConstructorSignature(String s)
          Constructs a new signature object representing the given text constructor signature.
 
Method Summary
 void fromString(String s)
          Parses the given text constructor signature and sets member data for this object accordingly.
 boolean isMatchFor(Constructor c)
          Returns true if this constructor signature is equivalent to that of the given method.
 String toString()
          Returns the text constructor signature represented by this object after parsing.
 
Methods inherited from class edu.neu.ccs.jpf.JPFExtras.ParametrizedSignature
addParameter, addParameter, getParameterNames, getParameterTypes, parameterString
 
Methods inherited from class edu.neu.ccs.jpf.JPFExtras.MemberSignature
addModifier, getMemberName, getModifiers, getOriginalData, isValid, modifierString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

JPFExtras.ConstructorSignature

public JPFExtras.ConstructorSignature(String s)

Constructs a new signature object representing the given text constructor signature.

Sets the internal member data isvalid to false if the text signature is malformed. In that case the internal data cannot be trusted and the signature cannot match anything.

Parameters:
s - text signature for this constructor
Method Detail

fromString

public void fromString(String s)

Parses the given text constructor signature and sets member data for this object accordingly.

Sets the internal member data isvalid to false if the text signature is malformed. In that case the internal data cannot be trusted and the signature cannot match anything.

Specified by:
fromString in class JPFExtras.MemberSignature
Parameters:
s - text constructor signature to parse

toString

public String toString()

Returns the text constructor signature represented by this object after parsing.

If the member data isvalid is false, the return value will be invalid.


isMatchFor

public boolean isMatchFor(Constructor c)

Returns true if this constructor signature is equivalent to that of the given method.

Automatically returns false if the constructor data isvalid is false.

Parameters:
c - constructor with which to compare