1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
/*******************************************************************************
* Copyright (c) 2009, 2011 Mountainminds GmbH & Co. KG and Contributors
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Marc R. Hoffmann - initial API and implementation
*
*******************************************************************************/
package org.jacoco.report.internal.html.page;
import static java.lang.String.format;
import java.io.IOException;
import java.io.Reader;
import org.jacoco.core.analysis.ISourceFileCoverage;
import org.jacoco.report.internal.ReportOutputFolder;
import org.jacoco.report.internal.html.HTMLElement;
import org.jacoco.report.internal.html.IHTMLReportContext;
import org.jacoco.report.internal.html.resources.Resources;
/**
* Page showing the content of a source file with numbered and highlighted
* source lines.
*/
public class SourceFilePage extends NodePage<ISourceFileCoverage> {
private final Reader sourceReader;
/**
* Creates a new page with given information.
*
* @param sourceFileNode
* @param sourceReader
* @param parent
* @param folder
* @param context
*/
public SourceFilePage(final ISourceFileCoverage sourceFileNode,
final Reader sourceReader, final ReportPage parent,
final ReportOutputFolder folder, final IHTMLReportContext context) {
super(sourceFileNode, parent, folder, context);
this.sourceReader = sourceReader;
}
@Override
protected void content(final HTMLElement body) throws IOException {
final SourceHighlighter hl = new SourceHighlighter(context.getLocale());
hl.render(body, getNode(), sourceReader);
sourceReader.close();
}
@Override
protected void headExtra(final HTMLElement head) throws IOException {
super.headExtra(head);
head.link(
"stylesheet",
context.getResources().getLink(folder,
Resources.PRETTIFY_STYLESHEET), "text/css");
head.script(
"text/javascript",
context.getResources().getLink(folder,
Resources.PRETTIFY_SCRIPT));
}
@Override
protected String getOnload() {
return format("window['PR_TAB_WIDTH']=%d;prettyPrint()",
Integer.valueOf(context.getTabWidth()));
}
@Override
protected String getFileName() {
return getNode().getName() + ".html";
}
}
|
