| /******************************************************************************* |
| * Copyright (c) 2009, 2018 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.ISourceNode; |
| 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<ISourceNode> { |
| |
| private final Reader sourceReader; |
| |
| private final int tabWidth; |
| |
| /** |
| * Creates a new page with given information. |
| * |
| * @param sourceFileNode |
| * coverage data for this source file |
| * @param sourceReader |
| * reader for the source code |
| * @param tabWidth |
| * number of character per tab |
| * @param parent |
| * optional hierarchical parent |
| * @param folder |
| * base folder for this page |
| * @param context |
| * settings context |
| */ |
| public SourceFilePage(final ISourceNode sourceFileNode, |
| final Reader sourceReader, final int tabWidth, |
| final ReportPage parent, final ReportOutputFolder folder, |
| final IHTMLReportContext context) { |
| super(sourceFileNode, parent, folder, context); |
| this.sourceReader = sourceReader; |
| this.tabWidth = tabWidth; |
| } |
| |
| @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 head(final HTMLElement head) throws IOException { |
| super.head(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(tabWidth)); |
| } |
| |
| @Override |
| protected String getFileName() { |
| return getNode().getName() + ".html"; |
| } |
| |
| } |