public class CoveragePipe extends Object implements CoverageReceiver
Constructor and Description |
---|
CoveragePipe(OutputStream dos) |
Modifier and Type | Method and Description |
---|---|
void |
end(ExitCode exitCode) |
void |
recordTestOutcome(Description description,
boolean wasGreen,
int executionTime) |
void |
registerClass(int id,
String className) |
void |
registerProbes(int classId,
String methodName,
String methodDesc,
int firstProbe,
int lastProbe,
Iterable<Block> blocks) |
public CoveragePipe(OutputStream dos)
public void recordTestOutcome(Description description, boolean wasGreen, int executionTime)
recordTestOutcome
in interface CoverageReceiver
public void end(ExitCode exitCode)
public void registerClass(int id, String className)
registerClass
in interface InvokeReceiver
public void registerProbes(int classId, String methodName, String methodDesc, int firstProbe, int lastProbe, Iterable<Block> blocks)
registerProbes
in interface InvokeReceiver
Copyright © 2021 org.pitest. All rights reserved.