eu.stamp_project.mutationtest.descartes.reporting.models

Class MethodRecord

java.lang.Object

eu.stamp_project.mutationtest.descartes.reporting.models.MethodRecord

public class MethodRecord
extends Object

Constructor Summary

Constructors

Constructor and Description
MethodRecord(Collection<org.pitest.mutationtest.MutationResult> mutations)
MethodRecord(org.pitest.mutationtest.MutationResult... mutations)
MethodRecord(org.pitest.mutationtest.MutationResult mutation)
MethodRecord(Stream<org.pitest.mutationtest.MutationResult> mutations)

Method Summary

Modifier and Type	Method and Description
void	add(org.pitest.mutationtest.MutationResult mutation)
String	className()
String	declaration()
String	desc()
MethodClassification	getClassification()
Collection<org.pitest.mutationtest.MutationResult>	getDetectedMutations()
String	getFileName()
int	getLineNumber()
org.pitest.mutationtest.engine.Location	getLocation()
Collection<org.pitest.mutationtest.MutationResult>	getMutations()
static Stream<MethodRecord>	getRecords(org.pitest.mutationtest.ClassMutationResults results)
Collection<org.pitest.coverage.TestInfo>	getTests()
Collection<org.pitest.mutationtest.MutationResult>	getUndetectedMutations()
boolean	hasIssues()
boolean	isVoid()
static String	methodKey(org.pitest.mutationtest.MutationResult mutation)
String	name()
String	packageName()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MethodRecord

public MethodRecord(org.pitest.mutationtest.MutationResult mutation)

MethodRecord

public MethodRecord(org.pitest.mutationtest.MutationResult... mutations)

MethodRecord

public MethodRecord(Collection<org.pitest.mutationtest.MutationResult> mutations)

MethodRecord

public MethodRecord(Stream<org.pitest.mutationtest.MutationResult> mutations)

Method Detail

add

public void add(org.pitest.mutationtest.MutationResult mutation)

getClassification

public MethodClassification getClassification()

getTests

public Collection<org.pitest.coverage.TestInfo> getTests()

getMutations

public Collection<org.pitest.mutationtest.MutationResult> getMutations()

getDetectedMutations

public Collection<org.pitest.mutationtest.MutationResult> getDetectedMutations()

getUndetectedMutations

public Collection<org.pitest.mutationtest.MutationResult> getUndetectedMutations()

getLocation

public org.pitest.mutationtest.engine.Location getLocation()

name

public String name()

desc

public String desc()

className

public String className()

packageName

public String packageName()

getFileName

public String getFileName()

getLineNumber

public int getLineNumber()

declaration

public String declaration()

hasIssues

public boolean hasIssues()

isVoid

public boolean isVoid()

methodKey

public static String methodKey(org.pitest.mutationtest.MutationResult mutation)

getRecords

public static Stream<MethodRecord> getRecords(org.pitest.mutationtest.ClassMutationResults results)