dextool v2.0.0-rc.1 (2020-01-03T16:03:52Z)
Dub
Repo
LineAttr
dextool
plugin
mutate
backend
database
type
Metadata attributes that may be attached to a line.
@
safe
alias
LineAttr
=
SumType
!(
NoMetadata
,
NoMut
)
Meta
Source
See Implementation
dextool
plugin
mutate
backend
database
type
aliases
FileId
LineAttr
MarkedMutant
MutantAttr
MutantTimeoutCtx
MutationId
MutationStatusId
TestCaseId
enums
Pkeys
structs
LineMetadata
MetadataNoMutEntry
MutantInfo
MutantMetaData
MutationEntry
MutationPointEntry
MutationPointEntry2
MutationReportEntry
MutationStatus
MutationStatusTime
NextMutationEntry
NoMetadata
NoMut
Pkey
Rationale
TestCaseInfo
TestCaseInfo2
Metadata attributes that may be attached to a line.