public class FaultLocalizationHTMLReport extends AbstractHTMLReport
| Constructor and Description |
|---|
FaultLocalizationHTMLReport(List<HTMLViews> views) |
| Modifier and Type | Method and Description |
|---|---|
void |
generateFaultLocalizationReport(File outputDirectory,
ISpectrum spectrum,
List<IFormula> formulas) |
readFile, toJSONpublic void generateFaultLocalizationReport(File outputDirectory, ISpectrum spectrum, List<IFormula> formulas) throws IOException
IOExceptionCopyright © 2010–2019 GZoltar. All rights reserved.