public String getSourceFile() {
SourceFileAttribute sfa =
(SourceFileAttribute) attributes.getAttributeByType(SourceFileAttribute.typeString);
if (sfa != null) {
return sfa.getSourceFile();
}
String internalName = getInternalClassName(getCurrentClassIndex());
int lastSlash = internalName.lastIndexOf('/');
if (lastSlash != -1) internalName = internalName.substring(lastSlash + 1);
int firstPeriod = internalName.indexOf('$');
if (firstPeriod != -1) internalName = internalName.substring(0, firstPeriod);
return internalName + ".java";
}
public boolean isDeprecated() {
return attributes.getAttributeByType(DeprecatedAttribute.typeString) != null;
}
