dextool.plugin.mutate.backend.database.type

Members

Aliases

FileId alias FileId = Pkey!(Pkeys.fileId): Primary key in the files table
LineAttr alias LineAttr = SumType!(NoMetadata, NoMut): Metadata attributes that may be attached to a line.
MutantAttr alias MutantAttr = SumType!(NoMetadata, NoMut): Metadata attributes that may be attached to a mutant.
MutationId alias MutationId = Pkey!(Pkeys.mutationId): Primary key in the mutation table
MutationStatusId alias MutationStatusId = Pkey!(Pkeys.mutationStatusId): Primary key for mutation status
TestCaseId alias TestCaseId = Pkey!(Pkeys.testCaseId): Primary key in the test_case table

Enums

Pkeys enum Pkeys: Undocumented in source.

Structs

LineMetadata struct LineMetadata: Metadata about a line in a file.
MetadataNoMutEntry struct MetadataNoMutEntry: Mutants that are tagged with nomut of a specific kind(s).
MutantInfo struct MutantInfo: Undocumented in source.
MutantMetaData struct MutantMetaData: Metadata about a mutant.
MutationEntry struct MutationEntry: Undocumented in source.
MutationPointEntry struct MutationPointEntry: Undocumented in source.
MutationPointEntry2 struct MutationPointEntry2: The source code mutations for a mutation point.
MutationReportEntry struct MutationReportEntry: Report about mutants of a specific kind(s).
MutationStatus struct MutationStatus: Undocumented in source.
MutationStatusTime struct MutationStatusTime: Undocumented in source.
NextMutationEntry struct NextMutationEntry: Undocumented in source.
NoMetadata struct NoMetadata: Undocumented in source.
NoMut struct NoMut: A mutation suppression with optional tag and comment.
Pkey struct Pkey(Pkeys T): Primary key in the database
TestCaseInfo struct TestCaseInfo: Undocumented in source.

Meta

Source

See Source File

License

MPL-2

Copyright

Copyright (c) 2018, Joakim Brännström. All rights reserved.

Authors

Joakim Brännström (joakim.brannstrom@gmx.com)

This Source Code Form is subject to the terms of the Mozilla Public License, v.2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.

dextool plugin mutate backend database modules

structs