edu.neu.ccs.jpf
Class JPFExtras.ParametrizedSignature

java.lang.Object
  extended byedu.neu.ccs.jpf.JPFExtras.MemberSignature
      extended byedu.neu.ccs.jpf.JPFExtras.ParametrizedSignature
Direct Known Subclasses:
JPFExtras.ConstructorSignature, JPFExtras.MethodSignature
Enclosing class:
JPFExtras

public abstract static class JPFExtras.ParametrizedSignature
extends JPFExtras.MemberSignature

Encapsulates a parametrized member signature where the parameters are specified with both a type and an optional parameter name.


Field Summary
protected static ArrayList parameterNames
          Names of parameters.
protected static ArrayList parameterTypes
          Names of the types of parameters.
 
Fields inherited from class edu.neu.ccs.jpf.JPFExtras.MemberSignature
isvalid, memberName, modifiers, originalData
 
Constructor Summary
JPFExtras.ParametrizedSignature()
           
 
Method Summary
 void addParameter(String pair)
          Adds a parameter to this object with the pair consisting of a type and optional name.
 void addParameter(String type, String name)
          Adds a parameter to this object with the given type and name.
 String[] getParameterNames()
          Returns an array containing the names of the parameters.
 String[] getParameterTypes()
          Returns an array containing the types of the parameters.
 String parameterString()
          Returns a String representation of the parameters for this object.
 
Methods inherited from class edu.neu.ccs.jpf.JPFExtras.MemberSignature
addModifier, fromString, getMemberName, getModifiers, getOriginalData, isValid, modifierString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

parameterTypes

protected static ArrayList parameterTypes
Names of the types of parameters.


parameterNames

protected static ArrayList parameterNames
Names of parameters.

Constructor Detail

JPFExtras.ParametrizedSignature

public JPFExtras.ParametrizedSignature()
Method Detail

addParameter

public void addParameter(String type,
                         String name)

Adds a parameter to this object with the given type and name. For flexibility, we permit the parameter name to be empty or even null. On the other hand, the type parameter must be non-trivial after being trimmed. If these conditions are not met, the internal member data isvalid will be set to false.

Parameters:
type - name of the type of the parameter
name - name of the parameter

addParameter

public void addParameter(String pair)

Adds a parameter to this object with the pair consisting of a type and optional name.

Parameters:
pair - the type and optional name

getParameterTypes

public String[] getParameterTypes()
Returns an array containing the types of the parameters.


getParameterNames

public String[] getParameterNames()
Returns an array containing the names of the parameters.


parameterString

public String parameterString()

Returns a String representation of the parameters for this object.

If the member data isvalid is false, then returns the empty string.