/*******************************************************************************
 * Copyright (c) 2016 Inria and others.
 * 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:
 *     Inria - initial API and implementation
 *******************************************************************************/
package fr.inria.diverse.tracemm.semdiff.eval.internal.reporting;

public class TraceReport extends Report {

	private static final String TRACE_REPORT_FOLDER = "/trace/";
	private static final String GENERIC_TRACE_REPORT_FOLDER = TRACE_REPORT_FOLDER
			+ "/trace_generic/";
	private static final String DOMAINSPECIFIC_TRACE_REPORT_FOLDER = TRACE_REPORT_FOLDER
			+ "/trace_domainspecific/";

	private boolean domainSpecificMatching = false;

	public void setDomainSpecific() {
		this.domainSpecificMatching = true;
	}

	@Override
	protected String getReportFolder() {
		return REPORT_FOLDER
				+ (domainSpecificMatching ? DOMAINSPECIFIC_TRACE_REPORT_FOLDER
						: GENERIC_TRACE_REPORT_FOLDER);
	}

	@Override
	protected String printHeader() {
		return "trace" + ENTRY_SEPARATOR + "#states";
	}

}
