ReportHtml

Undocumented in source.

Constructors

this this(const(Mutation.Kind)[] kinds, ConfigReport conf, FilesysIO fio, Diff diff): Undocumented in source.

endEvent void endEvent(Database ): Undocumented in source. Be warned that the author may not have intended to support it.
endFileEvent void endFileEvent(Database db): Undocumented in source. Be warned that the author may not have intended to support it.
fileMutantEvent void fileMutantEvent(FileMutantRow fr): Undocumented in source. Be warned that the author may not have intended to support it.
getFileReportEvent FileReport getFileReportEvent(Database db, FileRow fr): Undocumented in source. Be warned that the author may not have intended to support it.
mutationKindEvent void mutationKindEvent(MutationKind[] k): Undocumented in source. Be warned that the author may not have intended to support it.
postProcessEvent void postProcessEvent(Database db): Undocumented in source. Be warned that the author may not have intended to support it.

conf ConfigReport conf;: Undocumented in source.
ctx FileCtx ctx;: Undocumented in source.
diff Diff diff;: Undocumented in source.
files Appender!(FileIndex[]) files;: Undocumented in source.
fio FilesysIO fio;: Undocumented in source.
humanReadableKinds MutationKind[] humanReadableKinds;: What the user configured.
kinds Mutation.Kind[] kinds;: Undocumented in source.
logDir AbsolutePath logDir;: The base directory of logdirs
logFilesDir AbsolutePath logFilesDir;: Reports for each file
sections Set!ReportSection sections;: Undocumented in source.

fileMutantEvent void fileMutantEvent(FileMutantRow ): A mutant in that file.
endFileEvent void endFileEvent(Database db): The file has finished being processed.

mutationKindEvent void mutationKindEvent(MutationKind[] ): The users input of what mutants to report.
getFileReportEvent FileReport getFileReportEvent(Database db, FileRow ): Get the reporter that should be used to report all mutants in a file.
postProcessEvent void postProcessEvent(Database db): All files have been reported.
endEvent void endEvent(Database db): The last event to be called. Sync any IO if needed before destruction.