edu.neu.ccs.jpf
Class JPFBase.MemberSignature

java.lang.Object
  extended byedu.neu.ccs.jpf.JPFBase.MemberSignature
Direct Known Subclasses:
JPFBase.ParametrizedSignature
Enclosing class:
JPFBase

private abstract static class JPFBase.MemberSignature
extends Object

Encapsulates signature attributes for a class member.


Field Summary
protected  int modifiers
          Modifers for this member.
protected  String name
          Name of this member.
 
Constructor Summary
private JPFBase.MemberSignature()
           
 
Method Summary
protected  void addModifier(String token)
          Adds the modifier represented by the given keyword to the list of modifiers for this method.
protected  String className(Class c)
          Returns the unqualified name of the given class.
protected abstract  void fromString(String s)
          Parses the given text signature and sets member data for this object accordingly.
protected  boolean isModifier(String token)
          Returns true if the given String equals a method modifier keyword, or false otherwise.
protected  String modifierString()
          Returns a String representation of the modifiers for this member.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

modifiers

protected int modifiers
Modifers for this member.


name

protected String name
Name of this member.

Constructor Detail

JPFBase.MemberSignature

private JPFBase.MemberSignature()
Method Detail

fromString

protected abstract void fromString(String s)
                            throws JPTError
Parses the given text signature and sets member data for this object accordingly.

Parameters:
s - text signature to parse
Throws:
JPTError - if the text signature is malformed

addModifier

protected void addModifier(String token)
Adds the modifier represented by the given keyword to the list of modifiers for this method. If the given text is not a modifier, no changes are made to the modifier list.

Parameters:
token - possible keyword for modifier to be added

isModifier

protected boolean isModifier(String token)
Returns true if the given String equals a method modifier keyword, or false otherwise.

Parameters:
token - possible method modifier keyword

className

protected String className(Class c)
Returns the unqualified name of the given class.

Parameters:
c - class from which to extract name

modifierString

protected String modifierString()
Returns a String representation of the modifiers for this member.