public class SourceFilePage extends NodePage<ISourceNode>
context, folder| Constructor and Description |
|---|
SourceFilePage(ISourceNode sourceFileNode,
Reader sourceReader,
int tabWidth,
ReportPage parent,
ReportOutputFolder folder,
IHTMLReportContext context)
Creates a new page with given information.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
content(HTMLElement body)
Creates the actual content of the page.
|
protected String |
getFileName()
Specifies the local file name of this page.
|
protected String |
getOnload()
Returns the onload handler for this page.
|
protected void |
head(HTMLElement head)
Creates the elements within the head element.
|
getLinkLabel, getLinkStyle, getNodegetLink, infoLinks, isRootPage, renderpublic SourceFilePage(ISourceNode sourceFileNode, Reader sourceReader, int tabWidth, ReportPage parent, ReportOutputFolder folder, IHTMLReportContext context)
sourceFileNode - coverage data for this source filesourceReader - reader for the source codetabWidth - number of character per tabparent - optional hierarchical parentfolder - base folder for this pagecontext - settings contextprotected void content(HTMLElement body) throws IOException
ReportPagecontent in class ReportPagebody - body tag of the pageIOException - in case of IO problems with the report writerprotected void head(HTMLElement head) throws IOException
ReportPagehead in class ReportPagehead - head tag of the pageIOException - in case of IO problems with the report writerprotected String getOnload()
ReportPagegetOnload in class ReportPagenullprotected String getFileName()
ReportPagegetFileName in class ReportPageCopyright © 2024. All rights reserved.