if (sourceModule.getTypes().length != 1) {
return;
}
ModuleDeclaration module = SourceParserUtil.getModuleDeclaration(sourceModule);
ImplementationValidator validator = new ImplementationValidator(sourceModule);
String code = "";
try {
module.traverse(validator);
} catch (Exception e) {
e.getClass();
e.printStackTrace();
}
char indentChar = FormatterUtils
.getFormatterCommonPrferences().getIndentationChar(document);
String indent = String.valueOf(indentChar);
for (MissingMethodImplementation miss : validator.getMissing()) {
for (IMethod method : miss.getMisses()) {
code += MethodStub.getMethodStub(method.getParent().getElementName(), method, method, indent, TextUtilities.getDefaultLineDelimiter(document), true);
}