Handbook
Glossary
remove-coverage ( object -- )
Coverage tool
Prev:
add-coverage ( object -- )
Next:
reset-coverage ( object -- )
Vocabulary
tools
.
coverage
Inputs
object
an
object
Outputs
None
Word description
Recompiles a vocabulary without the coverage annotation.
Definition
IN:
tools.coverage
GENERIC:
remove-coverage
( object -- )
Methods
USING:
strings
tools.coverage
;
M:
string
remove-coverage
[
remove-coverage
]
each-word
;
USING:
kernel
tools.annotations
tools.coverage
words
;
M:
word
remove-coverage
[
reset
]
[
"coverage"
remove-word-prop
]
bi
;