ReportJson

Expects locations to be grouped by file.

TODO this is ugly. Use a JSON serializer instead.

Constructors

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

Members

Functions

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 r)
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[] kinds)
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.

Variables

current_file
FileRow current_file;
Undocumented in source.
current_file_mutants
JSONValue[] current_file_mutants;
Undocumented in source.
diff
Diff diff;
Undocumented in source.
fio
FilesysIO fio;
Undocumented in source.
kinds
Mutation.Kind[] kinds;
Undocumented in source.
logDir
AbsolutePath logDir;
Undocumented in source.
report
JSONValue report;
Undocumented in source.
sections
Set!ReportSection sections;
Undocumented in source.

Inherited Members

From FileReport

fileMutantEvent
void fileMutantEvent(FileMutantRow )

A mutant in that file.

endFileEvent
void endFileEvent(Database db)

The file has finished being processed.

From FilesReporter

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.

Meta