if (importSection != null) {
prefix.append(importSection.getText());
}
String classnamestr = DEFCLASS;
JFlexElement classname = file.getClassname();
if (classname != null) {
classnamestr = classname.getText();
}
String returntypestr = DEFTYPE;
JFlexElement returntype = file.getReturnType();
if (returntype != null) {
returntypestr = returntype.getText();
}
StringBuilder implementedstr = new StringBuilder();
JFlexElement[] implemented = file.getImplementedInterfaces();
//what a lousy piece of code.
if (implemented.length > 0) {
implementedstr.append(" implements ");
for (int i = 0; i < implemented.length; i++) {
JFlexElement jFlexElement = implemented[i];
implementedstr.append(jFlexElement.getText());
if (i < implemented.length - 1) {
implementedstr.append(",");
}
}
}