ditto

type BatchLaboratory ¶ added in v0.3.0

type BatchLaboratory interface {
	TestAll(repository Repository, files []*gomutatedfile.GoMutatedFile) []future.Future[result.Result[string]]
}

BatchLaboratory is handed every mutant of one file together.

One compilation can only serve several mutants if the compiler is given all of them at once, and the gated path needs exactly that. It is a separate interface rather than a change to Laboratory so that every laboratory that exists today goes on being asked one mutant at a time, unchanged.

The batch cannot be assembled lower down. Test returns a future, and a laboratory could in principle buffer and resolve later — but testingtlaboratory awaits inside each subtest, immediately, so a laboratory waiting for mutants that have not been submitted yet would wait forever.

type Diagnostic ¶

type Diagnostic struct {
	// contains filtered or unexported fields
}

func NewDiagnostic(res future.Future[result.Result[string]], file *gomutatedfile.GoMutatedFile) *Diagnostic

func (d *Diagnostic) Address() string

func (d *Diagnostic) Change() string

func (d *Diagnostic) Diff(differ gomutatedfile.Differ) string

func (d *Diagnostic) IsOk() bool

func (d *Diagnostic) Label() string

type Ditto ¶

type Ditto struct {
	// contains filtered or unexported fields
}

func New(repository Repository, laboratory Laboratory, reporter Reporter) *Ditto

func (o *Ditto) Release(viri ...viruses.Virus)

type Laboratory ¶

type Laboratory interface {
	Test(repository Repository, file *gomutatedfile.GoMutatedFile) future.Future[result.Result[string]]
}

type Logger ¶

type Logger interface {
	Logf(message string, args ...any)
}

type RefusalError ¶ added in v0.4.0

type RefusalError struct {
	// contains filtered or unexported fields
}

RefusalError is the one thing a release says by stopping.

A laboratory that finds the suite already red cannot return that finding: Test hands back a future of a result, and every value in it means something about a mutant. There is no mutant here — the run has not started, and scoring anything would be scoring a suite that tested nothing. So it panics, and the panic is the verdict rather than a defect.

It is a type rather than a string because the two entry points need different things from it. Release lets it through, so a test fails with the message printed as the panic value. Run has to turn it into an error, and recognising it by matching text would tie the entry point to a sentence somebody will reword.

func NewRefusalError(message string) RefusalError

func (r RefusalError) Error() string

type Reporter ¶

type Reporter interface {
	AddDiagnostic(diagnostic *Diagnostic)
	Summarize() result.Result[any]
}

type Repository ¶

type Repository interface {
	ListGoSourceFiles() []*gosourcefile.GoSourceFile
	LinkAllToTemporaryRepository(temporaryPath string) TemporaryRepository
}

type ScoreCalculator ¶

type ScoreCalculator func(total, killed int) float32

type TemporaryRepository ¶

type TemporaryRepository interface {
	Root() string
	Overwrite(filePath string, data []byte)
	Remove()
}