/**
* If debugging was enabled during compilation, this method returns the name of the given
* parameter to this method. Otherwise, <code>null</code> is returned.
*
* @param index The index of the parameter.
* @return The name of the parameter, or <code>null</code>.
*/
public String getParameterName(int index) {
if (index >= 0 && index < getParameterCount()) {
if (codeAttr != null) {
return codeAttr.getParameterName(index);
}
}
return null;
}
