#include "HTMLDiagnostics.h"
#include "clang/Basic/SourceManager.h"
+#include "clang/Basic/FileManager.h"
#include "clang/AST/ASTContext.h"
#include "clang/Analysis/PathDiagnostic.h"
#include "clang/Rewrite/Rewriter.h"
}
// Add line numbers, header, footer, etc.
+
unsigned FileID = R.getSourceMgr().getMainFileID();
html::EscapeText(R, FileID);
html::AddLineNumbers(R, FileID);
- // FIXME: Add the number of the file here.
+ // Add the name of the file.
+
+ {
+ std::ostringstream os;
+ const FileEntry* Entry = SMgr.getFileEntryForID(FileID);
+
+ os << "<h1>" << Entry->getName() << "</h1>\n";
+
+ R.InsertStrBefore(SourceLocation::getFileLoc(FileID, 0), os.str());
+ }
// Add CSS, header, and footer.
os << "<html>\n<head>\n"
<< "<style type=\"text/css\">\n"
<< " body { color:#000000; background-color:#ffffff }\n"
+ << " body { font-family:Helvetica, sans-serif }\n"
<< " .code { border-spacing:0px; width:100%; }\n"
<< " .code { font-family: \"Andale Mono\", fixed; font-size:10pt }\n"
<< " .code { line-height: 1.2em }\n"